|
Publications
2009
|
Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma
Don't know for Multi-Valued Systems
Accepted for 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), LNCS, Springer, 2009.
Conference article to appear.
|
|
Alexander Gruler, Michael Meisinger
Fundamental Concepts for the Structuring of Functionality into Modular Parts
In 3rd International Conference on Fundamentals of Software Engineering (FSEN'09), LNCS, Springer, 2009.
Conference article to appear.
|
2008
|
Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang Paul, Maria Spichkova
On the correctness of upper layers of automotive systems
Formal Aspects of Computing, Volume 20(6), pp. 637-662, December 2008, DOI 10.1007/s00165-008-0097-0, ISSN 0934-5043 (Print) 1433-299X (Online).
Journal article BibTeX | Link
|
|
Alexander Gruler, Martin Leucker, Kathrin Scheidemann
Calculating and Modeling Common Parts of Software Product Lines
In 12th International Software Product Line Conference (SPLC), IEEE Computer Society, pp. 203-212, 2008.
Conference article BibTeX | Link
|
|
Manfred Broy, Martin Feilkas, Johannes Grünbauer, Alexander Gruler, Alexander Harhurin, Judith Hartmann, Birgit Penzenstadler, Bernhard Schätz, Doris Wild
Umfassendes Architekturmodell für das Engineering eingebetteter Software-intensiver Systeme
In TUM-I0816 , Technische Universität München, June, 2008
Technical Report BibTeX | Link
|
|
Alexander Gruler, Martin Leucker, Kathrin Scheidemann
Modeling and Model Checking Software Product Lines
In: Barth, G. and de Boer, F. (eds), Proceedings of the 10th IFIP International Conference on Formal Methods
for Open Object-based Distributed Systems (FMOODS), LNCS 5051, pp. 113-131, Springer, 2008
Conference article BibTeX | Link
|
|
Alexander Gruler, Martin Leucker, Kathrin Scheidemann
Modeling and Model Checking Software Product Lines
In TUM-I0806 , Technische Universität München, March, 2008
Technical Report BibTeX | Link
|
2007
|
Alexander Gruler, Alexander Harhurin, 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
Conference article BibTeX | Link
|
|
Alexander Gruler, Alexander Harhurin, 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
Conference article BibTeX | Link
|
2006
|
Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz
Towards Modularized Verification of Distributed Time-Triggered Systems
In FM 2006: Formal Methods, pp. 163-178, Springer, 2006
Conference article BibTeX | Link
|
2005
|
Alexander Gruler, Christian Heinlein
Exception Handling with Resumption: Design and Implementation in Java
In Proceedings Int. Conference on Programming Languages and Compilers (PLC'05), pp. 165-171, H. R. Arabnia (ed.), CSREA Press, June 2005
Conference article BibTeX
|
|
