Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Jürgen Dingel

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Ernesto Posse

> Home > Persons > Jürgen Dingel

Publications

2018
[c78]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/BagherzadehBDFG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BagherzadehBDFG18
Mojtaba Bagherzadeh, Francis Bordeleau, Juergen Dingel, Michalis Famelis, Antonio García-Domínguez, Raquel Araújo de Oliveira, Ernesto Posse, Ed Seidewitz, Bran Selic:
Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018). MoDELS (Workshops) 2018: 303-304
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/models/AhmadiPD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AhmadiPD18
Reza Ahmadi, Ernesto Posse, Juergen Dingel:
Slicing UML-based Models of Real-time Embedded Systems. MoDELS 2018: 346-356
2016
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/PosseD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/PosseD16
Ernesto Posse, Juergen Dingel:
An executable formal semantics for UML-RT. Softw. Syst. Model. 15(1): 179-217 (2016)
2014
[c53]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/PosseD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PosseD14
Ernesto Posse, Jürgen Dingel:
Contract-Based Specification and Analysis of AADL Models. ACVI@MoDELS 2014
2011
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/SaifanDBP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/SaifanDBP11
Ahmad A. Saifan, Jürgen Dingel, Jeremy S. Bradbury, Ernesto Posse:
Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems. ICST 2011: 269-278
2010
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/bmfa/DingelPPRZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bmfa/DingelPPRZ10
Jürgen Dingel, Eyrak Paen, Ernesto Posse, Rezoanoor (Ruben) Rahman, Karolina Zurowska:
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus. BM-FA 2010: 1
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/dsrt/PosseD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsrt/PosseD10
Ernesto Posse, Jürgen Dingel:
Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation. DS-RT 2010: 87-96
[c35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/PosseD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/PosseD10
Ernesto Posse, Jürgen Dingel:
Theory and Implementation of a Real-Time Extension to the pi-Calculus. FMOODS/FORTE 2010: 125-139
2009
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/SaifanPD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/SaifanPD09
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel:
Run-time conformance checking of mobile and distributed systems using executable models. PADTAD 2009
2008
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/models/LiangDDP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LiangDDP08
Hongzhi Liang, Zinovy Diskin, Jürgen Dingel, Ernesto Posse:
A General Approach for Scenario Integration. MoDELS 2008: 204-218

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.