Manfred Broy, Martin Feilkas, Markus Herrmannsdoerfer, Stefano Merenda, Daniel Ratiu
Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments
Proceedings of the IEEE, pp. 526 - 545, volume 98, number 4, IEEE, 2010
[bib] [pdf]

Jewgenij Botaschanjan and Alexander Harhurin
Property-Driven Scenario Integration
In 7th IEEE International Conference on Software Engineering and Formal Methods, IEEE Computer Society, 2009.
[bib] [pdf]

Jewgenij Botaschanjan and Alexander Harhurin
Integrating Functional and Architectural Views of Reactive Systems
In 12th International Symposium on Component Based Software Engineering (CBSE 2009), LNCS, volume 5582, Springer Verlag, 2009.
[bib] [pdf]

Alexander Harhurin, Judith Hartmann and Daniel Ratiu
Motivation and Formal Foundations of a Comprehensive Modeling Theory for Embedded Systems
Technical Report, TUM-I0924, Technische Universität München, 2009.
[bib] [pdf]

J. Botaschanjan and B. Hummel
Specifying the Worst Case - Orthogonal Modelling of Hardware Errors.
In Proc. of ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA'09).
[pdf]

J. Botaschanjan, B. Hummel, T. Hensel, A. Lindworsky
Integrated Behavior Models for Factory Automation Systems.
In Proc. of IEEE International Conference on Emerging Technology and Factory Automation (ETFA'09).
[pdf]

Judith Thyssen, Benjamin Hummel
Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables
In Proc. of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM'09), IEEE Computing Society, 2009.

Benjamin Hummel:
A Semantic Model for Computer-Based Spatio-Temporal Systems
In Proc. of 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'09), pp. 156-165, IEEE, 2009.

C. Leuxner, W. Sitou, B. Spanfelner, A. Schneider
Towards Context-Aware Surgery Assistance for Laparoscopic Cholecystectomy
In RBC 2009: Proceedings of the 5th Russian-Bavarian Conference on Bio-Medical Engineering. 2009 Munich, Germany.

B. Spanfelner, C. Leuxner, and W. Sitou
Formal Formal Specification of System Functions
In MISE 2009: Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering. 2009 Vancouver, Canada.

M. Broy, C. Leuxner, W. Sitou, B. Spanfelner and S. Winter
Formalizing the notion of adaptive system behavior
In SAC'09: Proceedings of the 2009 ACM symposium on Applied Computing March 9 - 12, 2009 Honolulu, Hawaii.

Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
Considerations and Rationale for a UML System Model
In Kevin Lano, editor, UML 2 Semantics and Applications. John Wiley & Sons, Hoboken, 2009
[bib] [pdf]

Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
Definition of the System Model
In Kevin Lano, editor, UML 2 Semantics and Applications, pages 61-93. John Wiley & Sons, Hoboken, 2009
[bib] [pdf]

María Victoria Cengarle, Alexander Knapp, Heribert Mühlberger
Interactions
In Kevin Lano, editor, UML 2 Semantics and Applications, pages 205-248. John Wiley & Sons, Hoboken, 2009
[bib] [pdf]

María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
Variability within Modeling Language Definitions
In Andy Schürr and Bran Selic, editors, Model Driven Engineering Languages and Systems (MODELS 2009, Proceedings), volume 5795 of Lecture Notes in Computer Science, pages 670-684. Springer, 2009
[bib] [pdf]

Leonid Kof
From Textual Scenarios to Message Sequence Charts
In: Farid Meziane and Sunil Vadera (Eds.), Artificial Intelligence Applications for Improved Software Engineering Development: New Prospects, IGI Global, 2009
[bib]

Leonid Kof
Translation of Textual Specifications to Automata by Means of Discourse Context Modeling
Translation of Textual Specifications to Automata by Means of Discourse Context Modeling In Requirements Engineering: Foundation for Software Quality, 15th International Working Conference, Martin Glinz and Patrick Heymans (Eds.), pp. 197-211, LNCS, volume 5512, Springer, 2009
[bib] [pdf]

Alexander Harhurin and Judith Hartmann
Service-oriented Commonality Analysis Across Existing Systems
In 12th International Software Product Line Conference (SPLC), IEEE Computer Society, 2008.
[bib] [pdf]

Alexander Harhurin and Judith Hartmann
Towards Consistent Specifications of Product Families
In FM'08: 15th International Symposium on Formal Methods, LNCS, volume 5014, Springer Verlag, 2008.
[bib] [pdf]

Manfred Broy, Martin Feilkas, Johannes Grünbauer, Alexander Gruler, Alexander Harhurin, Judith Hartmann, Birgit Penzenstadler, Bernhard Schätz and Doris Wild
Umfassendes Architekturmodell fur das Engineering eingebetteter Software-intensiver Systeme
Technical Report, TUM-I0816, Technische Universität München, 2008.
[bib] [pdf]

Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang Paul and Maria Spichkova
On the correctness of upper layers of automotive systems
In Formal Aspects of Computing, pp. 637-662, volume 20, number 6, 2008.

María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing
A Heterogeneous Approach to UML Semantics
In Pierpaolo Degano, Rocco De Nicola, and José Meseguer, editors, Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, volume 5065 of Lecture Notes in Computer Science, pages 383-402. Springer, Berlin, 2008
[bib] [pdf]

Daniel Calegari García, María Victoria Cengarle, Nora Szasz
UML 2.0 interactions with OCL/RT constraints
In Forum on Specification, Verification and Design Languages (FDL'08, Proceedings), pages 167-172. IEEE, 2008
[bib] [pdf]

María Victoria Cengarle
Approaches to an All-encompassing Formal Semantics for the UML
In Ulrich Ultes-Nitsche, Daniel Moldt, and Juan Carlos Augusto, editors, Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'08, Proceedings), pages 3-4. INSTICC PRESS, 2008. (Invited talk.)
[bib]

Matthias Rungger, Olaf Stursberg, Bernd Spanfelner, Christian Leuxner and Wassiou Sitou
Efficient Planning of Autonomous Systems using Hierarchical Decomposition
In CINCO 2008: 5th International Conference on Informatics in Control, Automation and Robotics, 2008 May 2008, Funchal, Madeira - Portugal.

Alexander Gruler, Alexander Harhurin and Judith Hartmann
Development and Configuration of Service-based Product Lines
In 11th International Software Product Line Conference (SPLC), pp. 107-116, IEEE Computer Society, 2007.
[bib] [pdf]

Alexander Gruler, Alexander Harhurin and Judith Hartmann
Modeling the Functionality of Multi-Functional Software Systems
In 14th Annual IEEE International Conference on the Engineering of Computer Based Systems (ECBS), pp. 349 - 358, IEEE Computer Society, 2007.
[bib] [pdf]

Leonid Kof
Scenarios: Identifying Missing Objects and Actions by Means of Computational Linguistics
In 15th IEEE International Requirements Engineering Conference, pp. 121 - 130, IEEE Computer Society Conference Publishing Services, 2007
[bib] [pdf]

Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova and David Trachtenherz
Towards Modularized Verification of Distributed Time-Triggered Systems
In FM 2006: Formal Methods, pp. 163-178, Springer Verlag, 2006.
[bib] [pdf]