Joaquín Aguado

According to our database, Joaquín Aguado authored at least 17 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Synchronised Shared Memory and Model Checking.

Joaquín Aguado, Alejandra Duenas

ACM Trans. Embed. Comput. Syst., September, 2024

2021

Synchronised Shared Memory and Model Checking: A Proof of Concept.

Joaquín Aguado, Alejandra Duenas

Proceedings of the 24th Forum on specification & Design Languages, 2021

2018

Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach.

Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden

Proceedings of the Programming Languages and Systems, 2018

Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading.

Michael Mendler, Joaquín Aguado, Bruno Bodin, Partha S. Roop, Reinhard von Hanxleden

Proceedings of the Models, Mindsets, 2018

2017

Compositional timing-aware semantics for synchronous programming.

Joaquín Aguado, Michael Mendler, Jia Jie Wang, Bruno Bodin, Partha S. Roop

Proceedings of the 2017 Forum on Specification and Design Languages, 2017

2016

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

Alejandra Duenas, Christine Di Martinelly, G. Yazgi Tütüncü, Joaquín Aguado

Proceedings of the Advances in Computational Intelligence, 2016

2015

Denotational fixed-point semantics for constructive scheduling of synchronous concurrency.

Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann

Acta Informatica, 2015

Sequential Constructiveness, SCCharts for Safety-Critical Applications.

Reinhard von Hanxleden, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Loftus-Mercer, Owen O'Brien

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

2014

Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation.

Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien, Partha S. Roop

ACM Trans. Embed. Comput. Syst., 2014

SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts.

Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Mercer, Owen O'Brien

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Grounding Synchronous Deterministic Concurrency in Sequential Programming.

Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann

Proceedings of the Programming Languages and Systems, 2014

2013

Sequentially constructive concurrency: a conservative extension of the synchronous model of computation.

Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien

Proceedings of the Design, Automation and Test in Europe, 2013

2011

Constructive semantics for instantaneous reactions.

Joaquín Aguado, Michael Mendler

Theor. Comput. Sci., 2011

Computing with streams.

Joaquín Aguado, Michael Mendler

Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, 2011

2007

Preface.

Joaquín Aguado, Michael Mendler

Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007

2003

A-maze-ing Esterel.

Joaquín Aguado, Michael Mendler, Gerald Lüttgen

Proceedings of the Synchronous Languages, Applications and Programming, 2003

2002

P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines).

Joaquín Aguado, Tudor Balanescu, Anthony J. Cowling, Marian Gheorghe, Mike Holcombe, Florentin Ipate

Fundam. Informaticae, 2002