| 2008 |
|---|
| 27 | EE | Terje Gjøsæter,
Ingelin F. Isfeldt,
Andreas Prinz:
Sudoku - A Language Description Case Study.
SLE 2008: 305-321 |
| 26 | | Egon Börger,
Andreas Prinz:
Quo Vadis Abstract State Machines?
J. UCS 14(12): 1921-1928 (2008) |
| 2007 |
|---|
| 25 | EE | Andreas Prinz,
Markus Scheidgen,
Merete Skjelten Tveit:
A Model-Based Standard for SDL.
SDL Forum 2007: 1-18 |
| 24 | EE | Susanne Graf,
Andreas Prinz:
Time in State Machines.
Fundam. Inform. 77(1-2): 143-174 (2007) |
| 2006 |
|---|
| 23 | EE | Jan Pettersen Nytun,
Andreas Prinz,
Merete Skjelten Tveit:
Automatic Generation of Modelling Tools.
ECMDA-FA 2006: 268-283 |
| 22 | EE | Terje Gjøsæter,
Jan Pettersen Nytun,
Andreas Prinz,
Mikael Snaprud,
Merete Skjelten Tveit:
Modelling Accessibility Constraints.
ICCHP 2006: 40-47 |
| 21 | EE | Fritjof Boger Engelhardtsen,
Andreas Prinz:
Application of Stuck-Free Conformance to Service-Role Composition.
SAM 2006: 115-132 |
| 20 | EE | Joachim Fischer,
Andreas Prinz,
Markus Scheidgen,
Merete Skjelten Tveit:
Implementing the eODL Graphical Representation.
SAM 2006: 19-33 |
| 19 | | Andreas Prinz,
Merete Skjelten Tveit:
Guest Editor's Foreword.
Nord. J. Comput. 13(3): 147-148 (2006) |
| 2005 |
|---|
| 18 | | Andreas Prinz,
Rick Reed,
Jeanne Reed:
SDL 2005: Model Driven, 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings
Springer 2005 |
| 17 | EE | Susanne Graf,
Andreas Prinz:
Time in State Machines.
Abstract State Machines 2005: 217-232 |
| 16 | EE | Uwe Glässer,
Andreas Prinz:
ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks.
SDL Forum 2005: 162-173 |
| 15 | EE | Joachim Fischer,
Eckhardt Holz,
Andreas Prinz,
Markus Scheidgen:
Tool-based language development.
Computer Networks 49(5): 676-688 (2005) |
| 2003 |
|---|
| 14 | EE | Andreas Prinz,
Bernhard Thalheim:
Operational Semantics of Transactions.
ADC 2003: 169-179 |
| 13 | EE | Andreas Prinz,
Bernhard Thalheim:
ASM Specification of Database Systems.
Abstract State Machines 2003: 418 |
| 12 | EE | Andreas Prinz,
Martin von Löwis:
Engineering the SDL Formal Language Definition.
FMOODS 2003: 47-63 |
| 11 | EE | Andreas Prinz,
Martin von Löwis:
Generating a Compiler for SDL from the Formal Language Definition.
SDL Forum 2003: 150-165 |
| 10 | EE | Uwe Glässer,
Reinhard Gotzhein,
Andreas Prinz:
The formal semantics of SDL-2000: Status and perspectives.
Computer Networks 42(3): 343-358 (2003) |
| 2002 |
|---|
| 9 | EE | Andreas Prinz:
SDL Time Extensions from a Semantic Point of View.
SAM 2002: 53-60 |
| 8 | EE | Andreas Prinz,
Mario Schwarz:
Object-Oriented Specification of Protocols for Reusability.
SAM 2002: 90-102 |
| 2001 |
|---|
| 7 | EE | Robert Eschbach,
Uwe Glässer,
Reinhard Gotzhein,
Martin von Löwis,
Andreas Prinz:
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models.
J. UCS 7(11): 1024-1049 (2001) |
| 2000 |
|---|
| 6 | EE | Robert Eschbach,
Uwe Glässer,
Reinhard Gotzhein,
Andreas Prinz:
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine.
Abstract State Machines 2000: 242-265 |
| 5 | EE | Joachim Fischer,
Eckhardt Holz,
Martin von Löwis,
Andreas Prinz:
SDL-2000: A Language with a Formal Semantics.
Rigorous Object-Oriented Methods 2000 |
| 4 | | Andreas Prinz,
Robert Eschbach,
Reinhard Gotzhein:
A Executable Formal Semantics for SDL-2000.
SAM 2000: 249-261 |
| 1999 |
|---|
| 3 | | Uwe Glässer,
Reinhard Gotzhein,
Andreas Prinz:
Towards a new formal SDL semantics - outline of an abstract state machines.
SDL Forum 1999: 171-192 |
| 1993 |
|---|
| 2 | | Joachim Fischer,
Andreas Prinz,
Andreas Vogel:
Different FDT's Confronted with Different ODP-Viewpoints of the Trader.
FME 1993: 332-350 |
| 1992 |
|---|
| 1 | | Klaus Ahrens,
Joachim Fischer,
Andreas Prinz,
Dorota Witaszek:
Eine Entwicklungsumgebung für SDL'92.
FBT 1992: 49-65 |
