Juergen Dingel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Modular verification for shared-variable concurrent programs CONCUR '96: Concurrency Theory	2023-06-28	Paper
Parallelism in single-pushout graph rewriting Graph Transformations in Computer Science	2022-08-16	Paper
A controller synthesis framework for automated service composition Discrete Event Dynamic Systems	2020-05-06	Paper
Controller synthesis for dynamic hierarchical real-time plants using timed automata Discrete Event Dynamic Systems	2018-01-31	Paper
A model for industrial real-time systems Lecture Notes in Computer Science	2015-02-04	Paper
Specification and verification of graph-based model transformation properties Graph Transformation	2014-09-26	Paper
A survey of timed automata for the development of real-time systems Computer Science Review	2014-01-28	Paper
Using source transformation to test and model check implicit-invocation systems Science of Computer Programming	2006-10-05	Paper
Compositional analysis of C/C++ programs with veriSoft Acta Informatica	2006-09-12	Paper
scientific article; zbMATH DE number 2079817 (Why is no real title available?)	2004-07-30	Paper
A refinement calculus for shared-variable parallel and distributed programming Formal Aspects of Computing	2003-08-27	Paper

Research outcomes over time

This page was built for person: Juergen Dingel