Carlos Gregorio-Rodríguez

32 papers B 6C 3Misc 1Journal 11Unranked 10
YearRankTypeTitle / Venue / Authors
2024 J jnl
Logical characterisations, rule formats and compositionality for input-output conformance simulation.
CoRR
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
2019 J jnl
Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study.
Interact. Learn. Environ.
Jose Luis Brita-Paja, Carlos Gregorio-Rodríguez, Luis Llana, Cristóbal Pareja, Adrián Riesco
2019 J jnl
Logical characterisations, rule formats and compositionality for input-output conformance simulation.
J. Log. Algebraic Methods Program.
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
2018 J jnl
An axiomatic semantics for iocos_ conformance relation.
J. Log. Algebraic Methods Program.
Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres
2017 B conf
Logical Characterisations and Compositionality of Input-Output Conformance Simulation.
SOFSEM
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
2015 Misc conf
Extending mCRL2 with ready simulation and iocos input-output conformance simulation.
SAC
Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres
2014 J jnl
Axiomatizing weak simulation semantics over BCCSP.
Theor. Comput. Sci.
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
2014 C conf
Effectiveness for Input Output Conformance Simulation iocos̱.
FORTE
Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres
2013 — conf
Input-Output Conformance Simulation (iocos) for Model Based Testing.
FMOODS/FORTE
Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres
2013 J jnl
Unifying the Linear Time-Branching Time Spectrum of Process Semantics
Log. Methods Comput. Sci.
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino, David Romero-Hernández
2012 B conf
The Equational Theory of Weak Complete Simulation Semantics over BCCSP.
SOFSEM
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
2011 C conf
Axiomatizing Weak Ready Simulation Semantics over BCCSP.
ICTAC
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
2011 J jnl
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet.
Inf. Process. Lett.
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
2009 J jnl
(Bi)simulations up-to characterise process semantics.
Inf. Comput.
David de Frutos-Escrig, Carlos Gregorio-Rodríguez
2009 B conf
On the Unification of Process Semantics: Equational Semantics.
MFPS
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino
2009 B conf
On the Unification of Process Semantics: Observational Semantics.
SOFSEM
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino
2009 J jnl
Ready to preorder: an algebraic and general proof.
J. Log. Algebraic Methods Program.
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino
2008 — conf
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences.
FICS
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino
2008 — conf
Universal Coinductive Characterisations of Process Semantics.
IFIP TCS
David de Frutos-Escrig, Carlos Gregorio-Rodríguez
2007 — conf
Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations.
PROLE
David de Frutos-Escrig, Carlos Gregorio-Rodríguez
2007 C conf
New Bisimulation Semantics for Distributed Systems.
FORTE
David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez
2007 — conf
Simulations Up-to and Canonical Preorders: (Extended Abstract).
SOS@LICS/ICALP
David de Frutos-Escrig, Carlos Gregorio-Rodríguez
2006 J jnl
Process Equivalences as Global Bisimulations.
J. Univers. Comput. Sci.
David de Frutos-Escrig, Carlos Gregorio-Rodríguez
2005 B conf
Bisimulations Up-to for the Linear Time Branching Time Spectrum.
CONCUR
David de Frutos-Escrig, Carlos Gregorio-Rodríguez
2004 — conf
Preserving Contexts for Soft Conformance Relation.
FATES
David de Frutos-Escrig, Carlos Gregorio-Rodríguez
2002 J jnl
A system to generate electronic books on programming exercises.
Electron. Libr.
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
2002 — conf
Ergotracer: An Internet User Behaviour Tracer.
IICS
Carlos Gregorio-Rodríguez, Pedro Palao-Gostanza
2001 — ch.
EXercita. A System for Archiving and Publishing Programming Exercises.
Computers and Education. Towards an Interconnected Society
Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, R. Martínez, Pedro Palao-Gostanza, Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide
2001 B conf
EXercita: automatic web publishing of programming exercises.
ITiCSE
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
1998 — conf
Denotational Semantics for Probabilistic Refusal Testing.
PROBMIV
Carlos Gregorio-Rodríguez, Manuel Núñez
1997 — conf
Testing Semantics for a Probabilistic-Timed Process Algebra.
ARTS
Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza
1995 — conf
La Potencia Expresiva de los Catamorfismos.
GULP-PRODE
Carlos Gregorio-Rodríguez, M. Nunez Garcia, Pedro Palao-Gostanza