Carlos Gregorio-Rodríguez

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 6

Top Topics

Abstract Argumentation

Model Based Testing

Fuzzy Logic Controller

Top Venues

J. Log. Algebraic Methods Program.

Interact. Learn. Environ.

Publications

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