| 2008 |
| 18 | EE | Pieter J. Mosterman,
Don Orofino,
Janos Sztipanovits,
Ahmed Amine Jerraya,
Wido Kruijtzer,
Víctor Reyes,
Christos G. Cassandras,
Grant Martin:
Automatically Realising Embedded Systems from High-Level Functional Models.
DATE 2008 |
| 2007 |
| 17 | EE | Juan de Lara,
Tihamer Levendovszky,
Pieter J. Mosterman,
Hans Vangheluwe:
Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools.
MoDELS Workshops 2007: 237-246 |
| 16 | EE | Paul Kinnucan,
Pieter J. Mosterman:
A graphical variant approach to object-oriented modeling of dynamic systems.
SCSC 2007: 513-521 |
| 2006 |
| 15 | EE | Grégory Batt,
Jeremy T. Bradley,
Roland Ewald,
François Fages,
Holger Hermanns,
Jane Hillston,
Peter Kemper,
Alke Martens,
Pieter J. Mosterman,
Flemming Nielson,
Oleg Sokolsky,
Adelinde M. Uhrmacher:
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
Simulation and Verification of Dynamic Systems 2006 |
| 2005 |
| 14 | | Pieter J. Mosterman,
Sameer Prabhu,
Andrew Dowd,
John Glass,
Tom Erkkinen,
John Kluza,
Rohit Shenoy:
Embedded Real-Time Control via MATLAB, Simulink, and xPC Target.
Handbook of Networked and Embedded Control Systems 2005: 419-446 |
| 2003 |
| 13 | EE | Pieter J. Mosterman:
Hybrid dynamic systems: mode transition behavior in hybrid dynamic systems.
Winter Simulation Conference 2003: 623-631 |
| 2002 |
| 12 | EE | Pieter J. Mosterman,
Hans Vangheluwe:
Guest editorial: Special issue on computer automated multi-paradigm modeling.
ACM Trans. Model. Comput. Simul. 12(4): 249-255 (2002) |
| 2001 |
| 11 | EE | Pieter J. Mosterman:
Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality.
HSCC 2001: 447-458 |
| 2000 |
| 10 | EE | Pieter J. Mosterman,
Gautam Biswas:
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems.
HSCC 2000: 324-337 |
| 9 | EE | Pieter J. Mosterman,
Gautam Biswas:
A comprehensive methodology for building hybrid models of physical systems.
Artif. Intell. 121(1-2): 171-209 (2000) |
| 1999 |
| 8 | EE | Pieter J. Mosterman:
An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages.
HSCC 1999: 165-177 |
| 7 | EE | Pieter J. Mosterman,
Gautam Biswas:
Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions.
HSCC 1999: 178-192 |
| 6 | | Pieter J. Mosterman,
Gautam Biswas:
Diagnosis of continuous valued systems in transient operating regions.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 29(6): 554-565 (1999) |
| 1998 |
| 5 | | Pieter J. Mosterman,
Feng Zhao,
Gautam Biswas:
An Ontology for Transitions in Physical Dynamic Systems.
AAAI/IAAI 1998: 219-224 |
| 1997 |
| 4 | | Pieter J. Mosterman,
Gautam Biswas:
Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems.
AAAI/IAAI 1997: 100-105 |
| 3 | EE | Pieter J. Mosterman,
Feng Zhao,
Gautam Biswas:
Sliding Mode Model Semantics and Simulation for Hybrid Systems.
Hybrid Systems 1997: 218-237 |
| 2 | | Pieter J. Mosterman,
Gautam Biswas:
Formal Specifications for Hybrid Dynamical Systems.
IJCAI (1) 1997: 568-577 |
| 1996 |
| 1 | | Pieter J. Mosterman,
Gautam Biswas:
A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models.
AAAI/IAAI, Vol. 2 1996: 985-990 |