dblp.uni-trier.dewww.uni-trier.de

Alexander Gruler Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
8EEAlarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma: Don't Know for Multi-valued Systems. ATVA 2009: 289-305
2008
7EEAlexander Gruler, Martin Leucker, Kathrin D. Scheidemann: Modeling and Model Checking Software Product Lines. FMOODS 2008: 113-131
6EEAlexander Gruler, Martin Leucker, Kathrin D. Scheidemann: Calculating and Modeling Common Parts of Software Product Lines. SPLC 2008: 203-212
5EEJewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova: On the correctness of upper layers of automotive systems. Formal Asp. Comput. 20(6): 637-662 (2008)
2007
4EEAlexander Gruler, Alexander Harhurin, Judith Hartmann: Modeling the Functionality of Multi-Functional Software Systems. ECBS 2007: 349-358
3EEAlexander Gruler, Alexander Harhurin, Judith Hartmann: Development and Configuration of Service-based Product Lines. SPLC 2007: 107-116
2006
2EEJewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz: Towards Modularized Verification of Distributed Time-Triggered Systems. FM 2006: 163-178
2005
1 Alexander Gruler, Christian Heinlein: Exception Handling with Resumption: Design and Implementation in Java. PLC 2005: 165-171

Coauthor Index

1Jewgenij Botaschanjan [2] [5]
2Manfred Broy [5]
3Alarico Campetelli [8]
4Alexander Harhurin [2] [3] [4] [5]
5Judith Hartmann [3] [4]
6Christian Heinlein [1]
7Steffen Knapp [5]
8Leonid Kof [2] [5]
9Martin Leucker [6] [7] [8]
10Wolfgang J. Paul [5]
11Kathrin D. Scheidemann [6] [7]
12Maria Spichkova [2] [5]
13Daniel Thoma [8]
14David Trachtenherz [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)