Joaquín Aguado

19 papers A* 1A 3C 2Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2024 J jnl
Synchronised Shared Memory and Model Checking.
ACM Trans. Embed. Comput. Syst.
Joaquín Aguado, Alejandra Duenas
2021 C conf
Synchronised Shared Memory and Model Checking: A Proof of Concept.
FDL
Joaquín Aguado, Alejandra Duenas
2018 A conf
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach.
ESOP
Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden
2018 — conf
Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading.
Models, Mindsets, Meta
Michael Mendler, Joaquín Aguado, Bruno Bodin, Partha S. Roop, Reinhard von Hanxleden
2017 C conf
Compositional timing-aware semantics for synchronous programming.
FDL
Joaquín Aguado, Michael Mendler, Jia Jie Wang, Bruno Bodin, Partha S. Roop
2016 — conf
A Multi-objective Hospital Operating Room Planning and Scheduling Problem Using Compromise Programming.
MICAI (1)
Alejandra Duenas, Christine Di Martinelly, G. Yazgi Tütüncü, Joaquín Aguado
2015 J jnl
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency.
Acta Informatica
Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann
2015 — conf
Sequential Constructiveness, SCCharts for Safety-Critical Applications.
Software Engineering & Management
Reinhard von Hanxleden, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Loftus-Mercer, Owen O'Brien
2014 A conf
Grounding Synchronous Deterministic Concurrency in Sequential Programming.
ESOP
Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann
2014 A* conf
SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts.
PLDI
Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Mercer, Owen O'Brien
2014 J jnl
Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation.
ACM Trans. Embed. Comput. Syst.
Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien, Partha S. Roop
2013 A conf
Sequentially constructive concurrency: a conservative extension of the synchronous model of computation.
DATE
Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien
2011 — conf
Computing with streams.
DAMP
Joaquín Aguado, Michael Mendler
2011 J jnl
Constructive semantics for instantaneous reactions.
Theor. Comput. Sci.
Joaquín Aguado, Michael Mendler
2008 — ed.
Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal, March 31, 2007
SLA++P
Joaquín Aguado, Michael Mendler
2007 — conf
Preface.
SLA++P
Joaquín Aguado, Michael Mendler
2005 — conf
Constructive semantics for instantaneous reactions.
GALOP@ETAPS
Joaquín Aguado, Michael Mendler
2003 — conf
A-maze-ing Esterel.
SLAP
Joaquín Aguado, Michael Mendler, Gerald Lüttgen
2002 J jnl
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines).
Fundam. Informaticae
Joaquín Aguado, Tudor Balanescu, Anthony J. Cowling, Marian Gheorghe, Mike Holcombe, Florentin Ipate