Volume 21:
Multi-Paradigm Modeling 2009
Articles
- Luiza Gheorghe Iugan, Gabriela Nicolescu, Ian O'Connor:
Modeling and Formal Verification of a Passive Optical Network on Chip Behavior.
- Akshay Rajhans, Shang-Wen Cheng, Bradley R. Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave:
An Architectural Approach to the Design and Analysis of Cyber-Physical Systems.
- Andreas Schuster, Jonathan Sprinkle:
Synthesizing Executable Simulations from Structural Models of Component-Based Systems.
- Juanjuan Jiang, Tarja Systä:
A Pattern-Based Approach to Manage Model References.
- Andrés Yie, Rubby Casallas, Dirk Deridder, Dennis Wagelaar:
A practical approach to multi-modeling views composition.
- Bruno Barroca, Levi Lucio, Didier Buchs, Vasco Amaral, Luis Pedro:
DSL Composition for model-based test generation.
- Thomas Kühne, Gergely Mezei, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer:
Systematic Transformation Development.
- Márk Asztalos, László Lengyel, Tihamer Levendovszky:
Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models.
- Ramon R. H. Schiffelers, Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda:
Model-Based Engineering of Supervisory Controllers using CIF.
- Tamás Mészáros, Tihamer Levendovszky, Gergely Mezei:
Code Generation with the Model Transformation of Visual Behavior Models.
- Marcel A. Groothuis, Raymond Frijns, Jeroen Voeten, Jan F. Broenink:
Concurrent Design of Embedded Control Software.
Last update Tue May 21 13:14:45 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
