Juergen Dingel

Available identifiers

Publication	Date of Publication	Type
Modular verification for shared-variable concurrent programs	2023-06-28	Paper
Parallelism in single-pushout graph rewriting	2022-08-16	Paper
A controller synthesis framework for automated service composition	2020-05-06	Paper
Controller synthesis for dynamic hierarchical real-time plants using timed automata	2018-01-31	Paper
A model for industrial real-time systems	2015-02-04	Paper
Specification and verification of graph-based model transformation properties	2014-09-26	Paper
A survey of timed automata for the development of real-time systems	2014-01-28	Paper
Using source transformation to test and model check implicit-invocation systems	2006-10-05	Paper
Compositional analysis of C/C++ programs with veriSoft	2006-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q4471919	2004-07-30	Paper
A refinement calculus for shared-variable parallel and distributed programming	2003-08-27	Paper

This page was built for person: Juergen Dingel