|
Search the dblp DataBase
Andreas Prinz:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Andreas Prinz, Bernhard Thalheim
Operational Semantics of Transactions. [Citation Graph (0, 0)][DBLP] ADC, 2003, pp:169-179 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Abstract State Machines, 2000, pp:242-265 [Conf]
- Andreas Prinz, Bernhard Thalheim
ASM Specification of Database Systems. [Citation Graph (0, 0)][DBLP] Abstract State Machines, 2003, pp:418- [Conf]
- Jan Pettersen Nytun, Andreas Prinz, Merete Skjelten Tveit
Automatic Generation of Modelling Tools. [Citation Graph (0, 0)][DBLP] ECMDA-FA, 2006, pp:268-283 [Conf]
- Klaus Ahrens, Joachim Fischer, Andreas Prinz, Dorota Witaszek
Eine Entwicklungsumgebung für SDL'92. [Citation Graph (0, 0)][DBLP] FBT, 1992, pp:49-65 [Conf]
- Joachim Fischer, Andreas Prinz, Andreas Vogel
Different FDT's Confronted with Different ODP-Viewpoints of the Trader. [Citation Graph (0, 0)][DBLP] FME, 1993, pp:332-350 [Conf]
- Andreas Prinz, Martin von Löwis
Engineering the SDL Formal Language Definition. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:47-63 [Conf]
- Terje Gjøsæter, Jan Pettersen Nytun, Andreas Prinz, Mikael Snaprud, Merete Skjelten Tveit
Modelling Accessibility Constraints. [Citation Graph (0, 0)][DBLP] ICCHP, 2006, pp:40-47 [Conf]
- Joachim Fischer, Eckhardt Holz, Martin von Löwis, Andreas Prinz
SDL-2000: A Language with a Formal Semantics. [Citation Graph (0, 0)][DBLP] Rigorous Object-Oriented Methods, 2000, pp:- [Conf]
- Andreas Prinz
SDL Time Extensions from a Semantic Point of View. [Citation Graph (0, 0)][DBLP] SAM, 2002, pp:53-60 [Conf]
- Andreas Prinz, Robert Eschbach, Reinhard Gotzhein
A Executable Formal Semantics for SDL-2000. [Citation Graph (0, 0)][DBLP] SAM, 2000, pp:249-261 [Conf]
- Andreas Prinz, Mario Schwarz
Object-Oriented Specification of Protocols for Reusability. [Citation Graph (0, 0)][DBLP] SAM, 2002, pp:90-102 [Conf]
- Fritjof Boger Engelhardtsen, Andreas Prinz
Application of Stuck-Free Conformance to Service-Role Composition. [Citation Graph (0, 0)][DBLP] SAM, 2006, pp:115-132 [Conf]
- Joachim Fischer, Andreas Prinz, Markus Scheidgen, Merete Skjelten Tveit
Implementing the eODL Graphical Representation. [Citation Graph (0, 0)][DBLP] SAM, 2006, pp:19-33 [Conf]
- Andreas Prinz, Martin von Löwis
Generating a Compiler for SDL from the Formal Language Definition. [Citation Graph (0, 0)][DBLP] SDL Forum, 2003, pp:150-165 [Conf]
- Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
Towards a new formal SDL semantics - outline of an abstract state machines. [Citation Graph (0, 0)][DBLP] SDL Forum, 1999, pp:171-192 [Conf]
- Uwe Glässer, Andreas Prinz
ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP] SDL Forum, 2005, pp:162-173 [Conf]
- Joachim Fischer, Eckhardt Holz, Andreas Prinz, Markus Scheidgen
Tool-based language development. [Citation Graph (0, 0)][DBLP] Computer Networks, 2005, v:49, n:5, pp:676-688 [Journal]
- Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
The formal semantics of SDL-2000: Status and perspectives. [Citation Graph (0, 0)][DBLP] Computer Networks, 2003, v:42, n:3, pp:343-358 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] J. UCS, 2001, v:7, n:11, pp:1024-1049 [Journal]
- Susanne Graf, Andreas Prinz
Time in State Machines. [Citation Graph (0, 0)][DBLP] Abstract State Machines, 2005, pp:217-232 [Conf]
- Andreas Prinz, Markus Scheidgen, Merete Skjelten Tveit
A Model-Based Standard for SDL. [Citation Graph (0, 0)][DBLP] SDL Forum, 2007, pp:1-18 [Conf]
- Susanne Graf, Andreas Prinz
Time in State Machines. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2007, v:77, n:1-2, pp:143-174 [Journal]
Model-Driven Development Approach for Providing Smart Home Services. [Citation Graph (, )][DBLP]
Specification of modelling languages in a flexible meta-model architecture. [Citation Graph (, )][DBLP]
Sudoku - A Language Description Case Study. [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.006secs
|