Author of the publication

Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools.

, , , and . MoDELS (Workshops), volume 5002 of Lecture Notes in Computer Science, page 237-246. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A simevents model for hybrid traffic simulation., , , and . WSC, page 1455-1466. IEEE, (2017)An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages.. HSCC, volume 1569 of Lecture Notes in Computer Science, page 165-177. Springer, (1999)A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities., , , and . HSCC, page 83-92. ACM, (2014)An Ontology for Transitions in Physical Dynamic Systems., , and . AAAI/IAAI, page 219-224. AAAI Press / The MIT Press, (1998)A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models., and . AAAI/IAAI, Vol. 2, page 985-990. AAAI Press / The MIT Press, (1996)0-262-51091-X.A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains, , and . Model-based testing for embedded systems, CRC Press, Boca Raton, (2011)Graphical Hybrid Automata with Simulink and Stateflow., , , , and . HSCC, page 267-268. ACM, (2018)A discrete-event and hybrid traffic simulation model based on SimEvents for intelligent transportation system analysis in Mcity., , , and . Discrete Event Dynamic Systems, 29 (3): 265-295 (2019)Detecting data store access conflict in Simulink by solving Boolean satisfiability problems., and . ACC, page 5702-5707. IEEE, (2010)A Gradient-Based Approach for Coordinating Smart Vehicles and Traffic Lights at Intersections., , , , , , , , and . ACC, page 608-613. IEEE, (2021)