P. J. L. Cuijpers

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
Assume-guarantee reasoning for additive hybrid behaviour	2024-02-28	Paper
scientific article; zbMATH DE number 7356842 (Why is no real title available?)	2021-06-09	Paper
scientific article; zbMATH DE number 7356842 (Why is no real title available?) (available as arXiv preprint)	2021-06-09	Paper
scientific article; zbMATH DE number 7314988 (Why is no real title available?)	2021-02-24	Paper
scientific article; zbMATH DE number 7314988 (Why is no real title available?) (available as arXiv preprint)	2021-02-24	Paper
A theory of desynchronisable closed loop system	2021-02-24	Paper
A theory of desynchronisable closed loop system (available as arXiv preprint)	2021-02-24	Paper
Independent WCRT analysis for individual priority classes in Ethernet AVB Real-Time Systems	2020-07-13	Paper
Desynchronizability of (partial) synchronous closed loop systems	2019-02-08	Paper
Open maps in concrete categories and branching bisimulation for prefix orders	2016-12-16	Paper
Topological aspects of hybrid processes: a proposed treatment using non-standard analysis Electronic Notes in Theoretical Computer Science	2015-07-10	Paper
A basic parallel process as a parallel pushdown automaton Electronic Notes in Theoretical Computer Science	2014-07-23	Paper
Model-based engineering of embedded systems using the hybrid process algebra Chi Electronic Notes in Theoretical Computer Science	2014-01-17	Paper
Topological (bi-)simulation	2013-09-09	Paper
Repairing time-determinism in the process algebra for hybrid systems Theoretical Computer Science	2012-08-10	Paper
Reconciling urgency and variable abstraction in a hybrid compositional setting Lecture Notes in Computer Science	2010-09-10	Paper
A process-theoretic look at automata Fundamentals of Software Engineering	2010-01-28	Paper
On Bicontinuous Bisimulation and the Preservation of Stability Hybrid Systems: Computation and Control	2009-03-11	Paper
A Context-Free Process as a Pushdown Automaton CONCUR 2008 - Concurrency Theory	2008-11-25	Paper
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions Hybrid Systems: Computation and Control	2008-09-02	Paper
Towards Budgeting in Real-Time Calculus: Deferrable Servers Lecture Notes in Computer Science	2008-07-03	Paper
Linearization of hybrid processes The Journal of Logic and Algebraic Programming	2006-04-28	Paper
Hybrid process algebra The Journal of Logic and Algebraic Programming	2005-02-22	Paper

Research outcomes over time

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