Image
Dr. Joaquin Aguado
Distinguished Lecturer of Computer Science
School of Computer Science & Engineering
Constructor University Bremen gGmbH
Campus Ring 1 | 28759 Bremen | Germany
Campus Ring 1 | 28759 Bremen | Germany
Phone number
+49 421 200 - 3168
Fax number
+49 421 200 - 3103
Email Address
jaguado@constructor.university
Office
Res. I, 169
Selected Publications
Synchronised Shared Memory and Model Checking
Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach
Compositional timing-aware semantics for synchronous programming
Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency
SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications
Grounding Synchronous Deterministic Concurrency in Sequential Programming
A Game Semantics for Instantaneous Esterel Reactions
Constructive semantics for instantaneous reactions.
Unifying Synchronous Data and Control Flow in the Lazy Lambda Calculus
Towards Strategies for Dataflow Programming
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines).
Foundations of the X-machine Theory for Testing
Design Models and the Complexity of the Testing Problem for Distributed Systems
Systems of Communicating X-machines for Specifying Distributed Systems
University of Conformance Testing of Distributed Systems: an X-machine based Approach