Carlos Gregorio-Rodríguez

According to our database, Carlos Gregorio-Rodríguez authored at least 31 papers between 1995 and 2019.

Collaborative distances:

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

2019

Logical characterisations, rule formats and compositionality for input-output conformance simulation.

Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir

J. Log. Algebraic Methods Program., 2019

Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study.

Jose Luis Brita-Paja, Carlos Gregorio-Rodríguez, Luis Llana, Cristóbal Pareja, Adrián Riesco

Interact. Learn. Environ., 2019

2018

An axiomatic semantics for iocos_ conformance relation.

Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres

J. Log. Algebraic Methods Program., 2018

2017

Logical Characterisations and Compositionality of Input-Output Conformance Simulation.

Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

2015

Extending mCRL2 with ready simulation and iocos input-output conformance simulation.

Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Axiomatizing weak simulation semantics over BCCSP.

Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir

Theor. Comput. Sci., 2014

Effectiveness for Input Output Conformance Simulation iocos̱.

Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2013

Unifying the Linear Time-Branching Time Spectrum of Process Semantics

David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino, David Romero-Hernández

Log. Methods Comput. Sci., 2013

Input-Output Conformance Simulation (iocos) for Model Based Testing.

Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres

Proceedings of the Formal Techniques for Distributed Systems, 2013

2012

The Equational Theory of Weak Complete Simulation Semantics over BCCSP.

Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

2011

Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet.

Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir

Inf. Process. Lett., 2011

Axiomatizing Weak Ready Simulation Semantics over BCCSP.

Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

2009

Ready to preorder: an algebraic and general proof.

David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino

J. Log. Algebraic Methods Program., 2009

(Bi)simulations up-to characterise process semantics.

David de Frutos-Escrig, Carlos Gregorio-Rodríguez

Inf. Comput., 2009

On the Unification of Process Semantics: Equational Semantics.

David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

On the Unification of Process Semantics: Observational Semantics.

David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

2008

Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences.

David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino

Proceedings of the First International Conference on Foundations of Informatics, 2008

Universal Coinductive Characterisations of Process Semantics.

David de Frutos-Escrig, Carlos Gregorio-Rodríguez

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

2007

Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations.

David de Frutos-Escrig, Carlos Gregorio-Rodríguez

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

Simulations Up-to and Canonical Preorders: (Extended Abstract).

David de Frutos-Escrig, Carlos Gregorio-Rodríguez

Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007

New Bisimulation Semantics for Distributed Systems.

David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Process Equivalences as Global Bisimulations.

David de Frutos-Escrig, Carlos Gregorio-Rodríguez

J. Univers. Comput. Sci., 2006

2005

Bisimulations Up-to for the Linear Time Branching Time Spectrum.

David de Frutos-Escrig, Carlos Gregorio-Rodríguez

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Preserving Contexts for Soft Conformance Relation.

David de Frutos-Escrig, Carlos Gregorio-Rodríguez

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2002

A system to generate electronic books on programming exercises.

Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Cristóbal Pareja-Flores, Raquel Martínez-Unanue, J. Ángel Velázquez-Iturbide, Pedro Palao-Gostanza

Electron. Libr., 2002

Ergotracer: An Internet User Behaviour Tracer.

Carlos Gregorio-Rodríguez, Pedro Palao-Gostanza

Proceedings of the Innovative Internet Computing Systems, Second International Workshop, 2002

2001

EXercita: automatic web publishing of programming exercises.

Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Pedro Palao-Gostanza, Cristóbal Pareja-Flores, Raquel Martínez-Unanue, J. Ángel Velázquez-Iturbide

Proceedings of the 6th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2001

EXercita. A System for Archiving and Publishing Programming Exercises.

Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, R. Martínez, Pedro Palao-Gostanza, Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide

Proceedings of the Computers and Education. Towards an Interconnected Society, 2001

1998

Denotational Semantics for Probabilistic Refusal Testing.

Carlos Gregorio-Rodríguez, Manuel Núñez

Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998

1997

Testing Semantics for a Probabilistic-Timed Process Algebra.

Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1995

La Potencia Expresiva de los Catamorfismos.

Carlos Gregorio-Rodríguez, M. Nunez Garcia, Pedro Palao-Gostanza

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995