Concepedia

Joaquín Aguado

JA

6

Publications

184

Citations

6

H-Index

2002

Active since

Affiliations

University of Bamberg(Current)

National Instruments (United States)

Christian-Albrechts-Universität zu Kiel

Joaquín Aguado is an author at University of Bamberg specializing in parallel programming, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationParallel ProgrammingProgram AnalysisSoftware AnalysisAutomated ReasoningSystem SoftwareParallel Computing

Publications per year

2002–2014

6

Publications

6

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

Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado et al. · ACM Transactions on Embedded Computing Systems · 2014 · 53 citations

Engineering, Synchronous Model, Concurrent System +21

SCCharts: sequentially constructive statecharts for safety-critical applications

Reinhard von Hanxleden, Björn Duderstadt, Christian Motika et al. · 2014 · 47 citations

Safety Case, Engineering, Safety Science +24

SCCharts: sequentially constructive statecharts for safety-critical applications

Reinhard von Hanxleden, Björn Duderstadt, Christian Motika et al. · ACM SIGPLAN Notices · 2014 · 41 citations

Safety Case, Engineering, Safety Science +24

P Systems with replicated rewriting and stream X-machines (Eilenberg machines)

Joaquín Aguado, Tudor Bălănescu, Tony Cowling et al. · 2002 · 19 citations

Engineering, Computational Model Theory, P System +18

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

Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado et al. · Design, Automation, and Test in Europe · 2013 · 12 citations

Rows per page

1–5 of 6