Andreas Prinz

According to our database1, Andreas Prinz authored at least 72 papers between 1989 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





Concurrent Computing with Shared Replicated Memory.
CoRR, 2019

Generating Executable Code from High-Level Social or Socio-Ecological Model Descriptions.
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0, 2019

Eventual Consistency Formalized.
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0, 2019

How to Bootstrap a Language Workbench.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Simulation of eHealth Scenarios with Role-Play Supported by an Interactive Smartphone Application.
Proceedings of the Improving Usability, Safety and Patient Outcomes with Health Information Technology, 2019

Model-based specification and validation of the dual-mode adaptive MAC protocol.
IJCCBS, 2018

Distributed Computing on Distributed Memory.
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018

Learning Groups in MOOCs: Lessons for Online Learning in Higher Education.
iJEP, 2017

Consistent Projectional Text Editors.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Towards Technology for Supporting Effective Online Learning Groups.
Proceedings of the Interactive Mobile Communication Technologies and Learning - Proceedings of the 11th IMCL Conference, 30 November, 2017

Data Sources Handling for Emergency Management: Supporting Information Availability and Accessibility for Emergency Responders.
Proceedings of the Human Interface and the Management of Information: Supporting Learning, Decision-Making and Collaboration, 2017

LifeRescue Software Prototype for Supporting Emergency Responders During Fire Emergency Response: A Usability and User Requirements Evaluation.
Proceedings of the Human-Computer Interaction. Interaction Contexts, 2017

Improving Communication in Online Learning Systems.
Proceedings of the CSEDU 2017, 2017

Verifying Group Authentication Protocols by Scyther.
JoWUA, 2016

Identifying First Responders Information Needs: Supporting Search and Rescue Operations for Fire Emergency Response.

The Use of Game World Tasks Concepts in Higher Education.
Proceedings of the Serious Games - Second Joint International Conference, 2016

Object-Oriented Operational Semantics.
Proceedings of the System Analysis and Modeling. Technology-Specific Aspects of Models, 2016

Formal Analysis and Model Checking of a Group Authentication Protocol by Scyther.
Proceedings of the 24th Euromicro International Conference on Parallel, 2016

MOF-VM: Instantiation Revisited.
Proceedings of the MODELSWARD 2016, 2016

Modelling of Systems for Real.
Proceedings of the MODELSWARD 2016, 2016

Multi-level Language Descriptions.
Proceedings of the 3rd International Workshop on Multi-Level Modelling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016

Modelling and Testing of Real Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

LifeRescue: A web based application for emergency responders during fire emergency response.
Proceedings of the 3rd International Conference on Information and Communication Technologies for Disaster Management, 2016

Taking the Advantage of Smartphone Apps for Understanding Information Needs of Emergency Response Teams' for Situational Awareness: Evidence from an Indoor Fire Game.
Proceedings of the Human-Computer Interaction. Novel User Experiences, 2016

Development of a Task-driven Mobile Teaching Tool for Enhancing Teachers' Motivation.
Proceedings of the CSEDU 2016, 2016

Teaching Students to Learn.
Proceedings of the CSEDU 2016, 2016

Model-Based Verification of the DMAMAC Protocol for Real-time Process Control.
Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

The Impacts of ICT Support on Information Distribution, Task Assignment for Gaining Teams' Situational Awareness in Search and Rescue Operations.
Proceedings of the Advances in Signal Processing and Intelligent Recognition Systems, 2015

LanguageLab - A Meta-modelling Environment.
Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

Visualization of Information Flows and Exchanged Information: Evidence from an indoor fire game.
Proceedings of the 12th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2015

Supporting Learning Groups in Online Learning Environment.
Proceedings of the CSEDU 2015, 2015

Big Data Metadata Management in Smart Grids.
Proceedings of the Big Data and Internet of Things: A Roadmap for Smart Environments, 2014

Offshore wind metadata management.
IJMSO, 2014

A Semantic-Enhanced Quality-based Approach to Handling Data Sources in Enterprise Service Bus.
IJCSA, 2014

Distributed ASM - Pitfalls and Solutions.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

Towards integrated operations for ships.
Proceedings of the 2013 9th International Wireless Communications and Mobile Computing Conference, 2013

Smart grid for offshore wind farms: Towards an information model based on the IEC 61400-25 standard.
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2012

PMG-Pro: A Model-Driven Development Method of Service-Based Applications.
Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

An Integrated Wireless Communication Architecture for Maritime Sector.
Proceedings of the Multiple Access Communications - 4th International Workshop, 2011

Supporting fine-grained generative model-driven evolution.
Software and Systems Modeling, 2010

Teaching Model Driven Language Handling.

Model-driven Approaches for Service-based Applications Development.
Proceedings of the ICSOFT 2010, 2010

Specification of modelling languages in a flexible meta-model architecture.
Proceedings of the Software Architecture, 4th European Conference, 2010

Model-Driven Development Approach for Providing Smart Home Services.
Proceedings of the Ambient Assistive Health and Wellness Management in the Heart of the City, 2009

Teaching Computer Language Handling - From Compiler Theory to Meta-modelling.
Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

Quo Vadis Abstract State Machines?
J. UCS, 2008

Sudoku - A Language Description Case Study.
Proceedings of the Software Language Engineering, First International Conference, 2008

Time in State Machines.
Fundam. Inform., 2007

A Model-Based Standard for SDL.
Proceedings of the SDL 2007: Design for Dependable Systems, 2007

Guest Editor's Foreword.
Nord. J. Comput., 2006

Implementing the eODL Graphical Representation.
Proceedings of the System Analysis and Modeling: Language Profiles, 2006

Application of Stuck-Free Conformance to Service-Role Composition.
Proceedings of the System Analysis and Modeling: Language Profiles, 2006

Modelling Accessibility Constraints.
Proceedings of the Computers Helping People with Special Needs, 2006

Automatic Generation of Modelling Tools.
Proceedings of the Model Driven Architecture, 2006

Tool-based language development.
Computer Networks, 2005

ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks.
Proceedings of the SDL 2005: Model Driven, 2005

Time in State Machines.
Proceedings of the 12th International Workshop on Abstract State Machines, 2005

The formal semantics of SDL-2000: Status and perspectives.
Computer Networks, 2003

Generating a Compiler for SDL from the Formal Language Definition.
Proceedings of the SDL 2003: System Design, 2003

Engineering the SDL Formal Language Definition.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

ASM Specification of Database Systems.
Proceedings of the Abstract State Machines, 2003

Operational Semantics of Transactions.
Proceedings of the Database Technologies 2003, 2003

Object-Oriented Specification of Protocols for Reusability.
Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

SDL Time Extensions from a Semantic Point of View.
Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models.
J. UCS, 2001

A Executable Formal Semantics for SDL-2000.
Proceedings of the SAM 2000, 2000

SDL-2000: A Language with a Formal Semantics.
Proceedings of the Rigorous Object-Oriented Methods, 2000

On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine.
Proceedings of the Abstract State Machines, 2000

Towards a new formal SDL semantics - outline of an abstract state machines.
Proceedings of the SDL '99 The Next Millennium, 1999

Different FDT's Confronted with Different ODP-Viewpoints of the Trader.
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

Eine Entwicklungsumgebung für SDL'92.
Proceedings of the Formale Methoden für verteilte Systeme, 1992

Verbesserung von wissensverarbeitenden Programmen durch effektive Aufzeichnung des Schlussfolgerungsverlaufs: ein Fakten-Integritäts-Test-System.
PhD thesis, 1989