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]

Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist
Design-Space Exploration through Constraint-Based Model-Transformation
17th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2010.
[bib] [pdf]

Bernhard Schätz and Christian Pfaller
Integrating Component Tests to System Tests
Electr. Notes Theor. Comput. Sci. 260. 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.

Markus Herrmannsdörfer, Sabine Rittmann, Bernhard Schätz
Structured Formalization of Service-Oriented Specifications
16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009.
[bib] [pdf]

Peter Braun, Jan Philipps, Bernhard Schätz and Stefan Wagner
Model-Based Safety-Cases for Software-Intensive Systems
Electr. Notes Theor. Comput. Sci. 238(4), 2009.
[bib] [pdf]

Bernhard Schätz
Formalization and Rule-Based Transformation of EMF Ecore-Based Models
Software Language Engineering (SLE 2008). LNCS 5452, Springer 2009.
[bib] [pdf]

Bernhard Schätz
Modular Functional Descriptions
Electr. Notes Theor. Comput. Sci. 215, 2008.
[bib] [pdf]

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]

Manfred Broy, Mario Gleirscher, Peter Kluge, Wolfgang Krenzer, Stefano Merenda and Doris Wild
Automotive Architecture Framework: Towards a Holistic and Standardised System Architecture Description.
Technical Report, TUM-I0915, Technische Universität München, 2009.
[bib] [pdf]

Manfred Broy, Mario Gleirscher, Peter Kluge, Wolfgang Krenzer, Stefano Merenda and Doris Wild
Toward a Holistic and Standardized Automotive Architecture Description
Computer, vol. 42, no. 12, pp. 98-101, Dec. 2009.

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]

Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schatz, Peter Braun, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, and Dirk Ziegenbein
Das AutoMoDe-Projekt: Modellbasierte Entwicklung softwareintensiver Systeme im Automobil
In Computer Science - Research and Development, 22(1):45-57, 2007.
[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]