Andreas Prinz

Orcid: 0000-0002-0646-2877

Affiliations:
  • University of Agder, Norway
  • DResearch Digital Media Systems GmbH, Berlin, Germany (former)
  • Humboldt-University, Berlin, Germany (PhD 1990)


According to our database1, Andreas Prinz authored at least 93 papers between 1989 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
AI and semantic ontology for personalized activity eCoaching in healthy lifestyle recommendations: a meta-heuristic approach.
BMC Medical Informatics Decis. Mak., December, 2023

Models, systems, and descriptions.
Frontiers Comput. Sci., 2023

2022
HL7 FHIR with SNOMED-CT to Achieve Semantic and Structural Interoperability in Personal Health Data: A Proof-of-Concept Study.
Sensors, 2022

Applying Spring Security Framework with KeyCloak-Based OAuth2 to Protect Microservice Architecture APIs: A Case Study.
Sensors, 2022

SFTSDH: Applying Spring Security Framework With TSD-Based OAuth2 to Protect Microservice Architecture APIs.
IEEE Access, 2022

LSTM Step Prediction and Ontology-Based Recommendation Generation in Activity eCoaching.
Proceedings of the 18th International Conference on Wireless and Mobile Computing, 2022

On abstraction in the OMG hierarchy: systems, models, and descriptions.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Prediction Modeling in Activity eCoaching for Tailored Recommendation Generation: A Conceptualization.
Proceedings of the IEEE International Symposium on Medical Measurements and Applications, 2022

2021
The Problem with Bullying: Lessons Learned from Modelling Marginalization with Diverse Stakeholders.
Proceedings of the Advances in Social Simulation, 2021

What is the Natural Abstraction Level of an Algorithm?
Proceedings of the Logic, Computation and Rigorous Methods, 2021

Teaching Language Engineering Using MPS.
Proceedings of the Domain-Specific Languages in Practice: with JetBrains MPS, 2021

2020
User-Centered Design of a Scenario-Based Serious Game: Game-Based Teaching of Future Healthcare.
IEEE Trans. Games, 2020

Modeling Marginalization: Emergence, Social Physics, and Social Ethics of Bullying.
Proceedings of the Spring Simulation Conference, 2020

Real Models are Really on M0 - Or How to Make Programmers Use Modeling.
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

Models Versus Model Descriptions.
Proceedings of the Modelling to Program, 2020

A Statistical Study to Analyze the Impact of External Weather Change on Chronic Pulmonary Infection in South Norway with Machine Learning Algorithms.
Proceedings of the Intelligent Technologies and Applications, 2020

2019
Scenario-based Serious Game to Teach about Healthcare.
Proceedings of the 7th IEEE International Conference on Serious Games and Applications for Health, 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

The Art of Bootstrapping.
Proceedings of the Model-Driven Engineering and Software Development, 2019

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

Concurrent Computing with Shared Replicated Memory.
Proceedings of the Model and Data Engineering - 9th International Conference, 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

2018
Model-based specification and validation of the dual-mode adaptive MAC protocol.
Int. J. Crit. Comput. Based Syst., 2018

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

2017
Learning Groups in MOOCs: Lessons for Online Learning in Higher Education.
Int. J. Eng. Pedagog., 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

Improving Online Interaction Among Blended Distance Learners at Makerere University.
Proceedings of the Teaching and Learning in a Digital World - Proceedings of the 20th International Conference on Interactive Collaborative Learning, 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

2016
Verifying Group Authentication Protocols by Scyther.
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2016

Identifying First Responders Information Needs: Supporting Search and Rescue Operations for Fire Emergency Response.
Int. J. Inf. Syst. Crisis Response Manag., 2016

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

2015
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

Peer assessment based assignment to enhance interactions in online learning groups.
Proceedings of the International Conference on Interactive Collaborative Learning, 2015

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

2014
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.
Int. J. Metadata Semant. Ontologies, 2014

A Semantic-Enhanced Quality-based Approach to Handling Data Sources in Enterprise Service Bus.
Int. J. Comput. Sci. Appl., 2014

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

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

2012
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

Delay-oriented data traffic migration in maritime mobile communication environments.
Proceedings of the Fourth International Conference on Ubiquitous and Future Networks, 2012

2011
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

2010
Supporting fine-grained generative model-driven evolution.
Softw. Syst. Model., 2010

Teaching Model Driven Language Handling.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

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

2009
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

2008
Quo Vadis Abstract State Machines?
J. Univers. Comput. Sci., 2008

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

2007
Time in State Machines.
Fundam. Informaticae, 2007

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

2006
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

2005
Tool-based language development.
Comput. Networks, 2005

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

2003
The formal semantics of SDL-2000: Status and perspectives.
Comput. 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

2002
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

2001
Formal Semantics for SDL
PhD thesis, 2001

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

2000
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

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

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

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

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


  Loading...