D. E. Nadales Agut

According to our database, D. E. Nadales Agut authored at least 6 papers between 2009 and 2013.

Collaborative distances:

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

2013

Syntax and semantics of the compositional interchange format for hybrid systems.

D. E. Nadales Agut, D. A. van Beek, Jacobus E. Rooda

J. Log. Algebraic Methods Program., 2013

2011

Linearization of CIF Through SOS

Damian Nadales Agut, Michel A. Reniers

Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

2010

Hierarchical states in the Compositional Interchange Format

Harsh Beohar, D. E. Nadales Agut, Dirk A. van Beek, Pieter J. L. Cuijpers

Proceedings of the Proceedings Seventh Workshop on Structural Operational Semantics, 2010

Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting.

Dirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, Jacobus E. Rooda

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

The Hierarchical Compositional Interchange Format.

Damian Nadales Agut, Bert van Beek, Harsh Beohar, Pieter J. L. Cuijpers, Jasper Fonteijn

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

New Concepts in the Abstract Format of the Compositional Interchange Format.

Dirk A. van Beek, Pieter Collins, D. E. Nadales Agut, Jacobus E. Rooda, Ramon R. H. Schiffelers

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009