Lista de obras - Ekkart Kindler - Dominio Público Uruguay

Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars

article

Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications

article

Generating Protocol Software from CPN Models Annotated with Pragmatics

scholarly article by Kent Inge Fagerland Simonsen et al published 2013 in Lecture Notes in Computer Science

Integrating behaviour in software models

scholarly article published 2011

LiRA-CD: An open-source dataset for road condition modelling and research

artículo científico publicado en 2023

Live Road Condition Assessment with Internal Vehicle Sensors

artículo científico publicado en 2021

Liveness, fairness, and recurrence in Petri nets

Model-Based Software Engineering and Process-Aware Information Systems

article

Model-based software engineering

article

Modelling Local and Global Behaviour: Petri Nets and Event Coordination

On the declarative paradigm in hybrid business process representations: A conceptual framework and a systematic literature study

artículo científico publicado en 2020

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification

article by Kent Inge Fagerland Simonsen et al published 2016 in Lecture Notes in Computer Science

Process mining: a two-step approach to balance between underfitting and overfitting

article by Wil van der Aalst et al published 25 November 2008 in Software and Systems Modeling

Reconciling TGGs with QVT

Special issue: Selected papers of BPM 2012

The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse

The Petri Net Kernel An infrastructure for building Petri net tools ⬇️

scholarly article

The Third Workshop on Behaviour Modelling - Foundations and Applications

The event coordination notation

Towards a Software Architecture for Neurophysiological Experiments

artículo científico publicado en 2019

Towards a tool for visualizing pupil dilation linked with source code artifacts

artículo científico publicado en 2020

Lista de obras de Ekkart Kindler

Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars

Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications

Generating Protocol Software from CPN Models Annotated with Pragmatics

Integrating behaviour in software models

LiRA-CD: An open-source dataset for road condition modelling and research

Live Road Condition Assessment with Internal Vehicle Sensors

Liveness, fairness, and recurrence in Petri nets

Model-Based Software Engineering and Process-Aware Information Systems

Model-based software engineering

Modelling Local and Global Behaviour: Petri Nets and Event Coordination

On the declarative paradigm in hybrid business process representations: A conceptual framework and a systematic literature study

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification

Process mining: a two-step approach to balance between underfitting and overfitting

Reconciling TGGs with QVT

Special issue: Selected papers of BPM 2012

The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse

The Petri Net Kernel An infrastructure for building Petri net tools ⬇️

The Third Workshop on Behaviour Modelling - Foundations and Applications

The event coordination notation

Towards a Software Architecture for Neurophysiological Experiments

Towards a tool for visualizing pupil dilation linked with source code artifacts

ePNK Applications and Annotations: A Simulator for YAWL Nets