Andreas Prinz
Andreas Prinz
Professor of Systems Engineering, University of Agder
Verified email at uia.no
TitleCited byYear
The formal semantics of SDL-2000: status and perspectives
U Glässer, R Gotzhein, A Prinz
Computer Networks 42 (3), 343-358, 2003
852003
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models
R Eschbach, U Glässer, R Gotzhein, M von Löwis, A Prinz
Journal of Universal Computer Science 7 (11), 1024-1049, 2001
522001
A framework for data integration of offshore wind farms
TH Nguyen, A Prinz, T Friisø, R Nossum, I Tyapin
Renewable energy 60, 150-161, 2013
512013
Automatic generation of modelling tools
JP Nytun, A Prinz, MS Tveit
European Conference on Model Driven Architecture-Foundations and …, 2006
332006
On the formal semantics of SDL-2000: a compilation approach based on an Abstract SDL Machine
R Eschbach, U Glässer, R Gotzhein, A Prinz
International Workshop on Abstract State Machines, 242-265, 2000
332000
Different FDT's confronted with different ODP-viewpoints of the trader
J Fischer, A Prinz, A Vogel
International Symposium of Formal Methods Europe, 332-350, 1993
301993
A model-based standard for SDL
A Prinz, M Scheidgen, MS Tveit
International SDL Forum, 1-18, 2007
242007
Towards a new formal SDL semantics based on Abstract State Machines
U Glässer, R Gotzhein, A Prinz
SDL'99, 171-190, 1999
231999
An integrated wireless communication architecture for maritime sector
L Mu, R Kumar, A Prinz
International Workshop on Multiple Access Communications, 193-205, 2011
222011
Operational semantics of transactions
A Prinz, B Thalheim
Proceedings of the 14th Australasian database conference-Volume 17, 169-179, 2003
222003
Tool-based language development
J Fischer, E Holz, A Prinz, M Scheidgen
Computer Networks 49 (5), 676-688, 2005
192005
Supporting fine-grained generative model-driven evolution
TD Meijler, JP Nytun, A Prinz, H Wortmann
Software & Systems Modeling 9 (3), 403-424, 2010
182010
Time in state machines
S Graf, A Prinz
Fundamenta Informaticae 77 (1-2), 143-174, 2007
182007
Formal Semantics for SDL: Definition and Implementation
A Prinz
Professoren des Inst. für Informatik, 2001
172001
Specification of modelling languages in a flexible meta-model architecture
L Mu, T Gjøsæter, A Prinz, MS Tveit
Proceedings of the Fourth European Conference on Software Architecture …, 2010
142010
Generating a compiler for SDL from the formal language definition
A Prinz, MV Löwis
International SDL Forum, 150-165, 2003
142003
Smart grid for offshore wind farms: Towards an information model based on the IEC 61400-25 standard
TH Nguyen, A Prinz, T Friisø, R Nossum
2012 IEEE PES Innovative Smart Grid Technologies (ISGT), 1-6, 2012
132012
Big data metadata management in smart grids
TH Nguyen, V Nunavath, A Prinz
Big data and internet of things: A Roadmap for Smart Environments, 189-214, 2014
112014
Learning Groups for MOOCs Lessons for Online Learning in Higher Education
G Mayende, A Prinz, GMN Isabwe, PB Muyinda
International Conference on Interactive Collaborative Learning, 185-198, 2016
102016
Verifying Group Authentication Protocols by Scyther.
H Yang, VA Oleshchuk, A Prinz
JoWUA 7 (2), 3-19, 2016
102016
The system can't perform the operation now. Try again later.
Articles 1–20