Andreas Prinz
Andreas Prinz
Professor of Systems Engineering, University of Agder
Verified email at
Cited by
Cited by
The formal semantics of SDL-2000: status and perspectives
U Glässer, R Gotzhein, A Prinz
Computer Networks 42 (3), 343-358, 2003
Digital interventions on healthy lifestyle management: systematic review
A Chatterjee, A Prinz, M Gerdes, S Martinez
Journal of medical Internet research 23 (11), e26931, 2021
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
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
J. Univers. Comput. Sci. 7 (11), 1024-1049, 2001
An automatic ontology-based approach to support logical representation of observable and measurable data for healthy lifestyle management: Proof-of-concept study
A Chatterjee, A Prinz, M Gerdes, S Martinez
Journal of Medical Internet Research 23 (4), e24656, 2021
The role of manikins in nursing students' learning: A systematic review and thematic metasynthesis
JA Handeland, A Prinz, EMR Ekra, M Fossum
Nurse Education Today 98, 104661, 2021
Human coaching methodologies for automatic electronic coaching (eCoaching) as behavioral interventions with information and communication technology: systematic review
A Chatterjee, M Gerdes, A Prinz, S Martinez
Journal of medical Internet research 23 (3), e23533, 2021
Automatic generation of modelling tools
JP Nytun, A Prinz, MS Tveit
Model Driven Architecture–Foundations and Applications: Second European …, 2006
Identifying first responders information needs: Supporting search and rescue operations for fire emergency response
V Nunavath, A Prinz, T Comes
International Journal of Information Systems for Crisis Response and …, 2016
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
Verifying Group Authentication Protocols by Scyther.
H Yang, VA Oleshchuk, A Prinz
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 7 (2), 3-19, 2016
Different FDT's confronted with different ODP-viewpoints of the trader
J Fischer, A Prinz, A Vogel
FME'93: Industrial-Strength Formal Methods: First International Symposium of …, 1993
Applying spring security framework with KeyCloak-based OAuth2 to protect microservice architecture APIs: a case study
A Chatterjee, A Prinz
Sensors 22 (5), 1703, 2022
A model-based standard for SDL
A Prinz, M Scheidgen, MS Tveit
SDL 2007: Design for Dependable Systems: 13th International SDL Forum Paris …, 2007
Learning groups for MOOCs lessons for online learning in higher education
G Mayende, A Prinz, GMN Isabwe, PB Muyinda
Interactive Collaborative Learning: Proceedings of the 19th ICL Conference …, 2017
An integrated wireless communication architecture for maritime sector
L Mu, R Kumar, A Prinz
Multiple Access Communications: 4th International Workshop, MACOM 2011 …, 2011
Supporting fine-grained generative model-driven evolution
TD Meijler, JP Nytun, A Prinz, H Wortmann
Software & Systems Modeling 9, 403-424, 2010
HL7 FHIR with SNOMED-CT to achieve semantic and structural interoperability in personal health data: a proof-of-concept study
A Chatterjee, N Pahari, A Prinz
Sensors 22 (10), 3756, 2022
Towards a new formal SDL semantics based on Abstract State Machines
U Glässer, R Gotzhein, A Prinz
SDL'99, 171-190, 1999
ProHealth eCoach: user-centered design and development of an eCoach app to promote healthy lifestyle with personalized activity recommendations
A Chatterjee, A Prinz, M Gerdes, S Martinez, N Pahari, YK Meena
BMC Health Services Research 22 (1), 1120, 2022
The system can't perform the operation now. Try again later.
Articles 1–20