P. J. L. Cuijpers

Available identifiers

Publication	Date of Publication	Type
Assume-guarantee reasoning for additive hybrid behaviour	2024-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4992501	2021-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4963900	2021-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q4963917	2021-02-24	Paper
Independent WCRT analysis for individual priority classes in Ethernet AVB	2020-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4621144	2019-02-08	Paper
Open maps in concrete categories and branching bisimulation for prefix orders	2016-12-16	Paper
Topological Aspects of Hybrid Processes	2015-07-10	Paper
A Basic Parallel Process as a Parallel Pushdown Automaton	2014-07-23	Paper
Model-based engineering of embedded systems using the hybrid process algebra Chi	2014-01-17	Paper
Topological (bi-)simulation	2013-09-09	Paper
Repairing time-determinism in the process algebra for hybrid systems	2012-08-10	Paper
Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting	2010-09-10	Paper
A Process-Theoretic Look at Automata	2010-01-28	Paper
On Bicontinuous Bisimulation and the Preservation of Stability	2009-03-11	Paper
A Context-Free Process as a Pushdown Automaton	2008-11-25	Paper
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions	2008-09-02	Paper
Towards Budgeting in Real-Time Calculus: Deferrable Servers	2008-07-03	Paper
Linearization of hybrid processes	2006-04-28	Paper
Hybrid process algebra	2005-02-22	Paper

This page was built for person: P. J. L. Cuijpers