Image
photo of Joaquin Aguado

Dr. Joaquin Aguado

Distinguished Lecturer of Computer Science
School of Computer Science & Engineering
Constructor University Bremen gGmbH
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

 

A Multi-objective Hospital Operating Room Planning and Scheduling Problem Using Compromise Programming

 

Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency

 

Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation

 

SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications

 

Grounding Synchronous Deterministic Concurrency in Sequential Programming

 

A Game Semantics for Instantaneous Esterel Reactions

 

Computing with streams

 

Constructive semantics for instantaneous reactions.

 

Unifying Synchronous Data and Control Flow in the Lazy Lambda Calculus

 

Towards Strategies for Dataflow Programming

 

Preface.

 

Proceedings of the International Workshop on Model- driven High-level Programming of Embedded Systems (SLA++P 2007), Braga, Portugal, 31 March 2007

 

A-maze-ing Esterel.

 

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
 

Publications on Scopus