Fernando Cuartero - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 55 from 55

2020

An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri NetsGregorio Díaz, Hermenegilda Macià, Valentín Valero, Juan Boubeta-Puig, Fernando Cuartero. nca, 32(2):405-426, 2020. [doi]

2017

Intelligent Transportation System to Control Air Pollution in Cities Using Complex Event Processing and Colored Petri NetsGregorio Díaz, Hermenegilda Macià, Valentín Valero, Fernando Cuartero. iwann 2017: 415-426 [doi]

2012

CALPE and INDICA. Two tools for calculating the dynamic pantograph/catenary interactionNuria Cuartero, Enrique Arias, Fernando Cuartero, Tomás Rojo. clei 2012: 1-7 [doi]

Twitter as a Tool for Predicting Elections ResultsJuan M. Soler, Fernando Cuartero, Manuel Roblizo. asunam 2012: 1194-1200 [doi]

2011

Looking for a Cheaper ROSAFernando L. Pelayo, Fernando Cuartero, Diego Cazorla. iwann 2011: 380-387 [doi]

2010

Discrete Dynamical Systems for encoding Concurrent Computing SystemsFernando López Pelayo, Jose C. Valverde, Maria L. Pelayo, Fernando Cuartero. IEEEicci 2010: 252-256 [doi]

2009

A mathematical model of the static pantograph/catenary interactionEnrique Arias, Angelines Alberto, Jesús Montesinos, Tomás Rojo, Fernando Cuartero, Jesús Benet. ijcm, 86(2):333-340, 2009. [doi]

Nuevos MÃ©todos de EnseÃ±anza en AstronomÃaFernando Cuartero, JesÃºs RuÃz Bueno, Juan JosÃ© Pardo. ieee-rita, 4(4):259-268, 2009. [doi]

Towards the Evolutionary Process AlgebraFernando L. Pelayo, Luis de la Ossa, Fernando Cuartero, Maria L. Pelayo, Juan L. G. Guirao. IEEEicci 2009: 69-76 [doi]

Improving performance in flexible manufacturing systemsM. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda MaciÃ . jlp, 78(4):260-273, 2009. [doi]

Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPKM. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio DÃaz, MarÃa-Emilia Cambronero. telsys, 40(3-4):91-99, 2009. [doi]

2008

A high performance tool for the simulation of the dynamic pantograph-catenary interactionAngelines Alberto, Jesús Benet, Enrique Arias, David Cebrián, Tomás Rojo, Fernando Cuartero. mcs, 79(3):652-667, 2008. [doi]

A congruence relation for sPBCHermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig. fmsd, 32(2):85-128, 2008. [doi]

sPBC: A Markovian Extension of Petri Box Calculus with Immediate MultiactionsHermenegilda Macià, Valentin Valero, Fernando Cuartero, M. Carmen Ruiz. FUIN, 87(3-4):367-406, 2008. [doi]

Formal Verification of the Secure Sockets Layer ProtocolM. Llanos Tobarra, Diego Cazorla, Juan José Pardo, Fernando Cuartero. ICEIS 2007: 246-252

Modelling secure wireless sensor networks routing protocols with timed automataM. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo. mswim 2008: 51-58 [doi]

2007

Automation of Avionic Systems TestingDavid Cebrián, Valentín Valero Ruiz, Fernando Cuartero. pts 2007: 28-40 [doi]

Testing Time Goal-Driven Requirements with Model Checking TechniquesGregorio Díaz, Elena Navarro, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero. ECBS 2007: 503-514 [doi]

Model Checking Techniques applied to the design of Web ServicesGregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentin Valero, Fernando Cuartero. cleiej, 10(2), 2007. [doi]

Does ROSA provide a good view of the Memorizing Process?Maria L. Pelayo, Fernando L. Pelayo, Fernando Cuartero, Valentin Valero, Gregorio Díaz, Elena Nieto. IEEEicci 2007: 273-283 [doi]

Analysis of Web Services Secure Conversation with Formal MethodsM. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz. aict 2007: 27 [doi]

Formal Analysis of Sensor Network Encryption Protocol (SNEP)M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero. mass 2007: 1-6 [doi]

Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAPM. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero. ifip6-8 2007: 95-106 [doi]

2006

Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking TechniquesGregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentin Valero, Fernando Cuartero. aict 2006: 186 [doi]

Analysis and Verification of Time Requirements Applied to the Web Services CompositionGregorio Díaz, María-Emilia Cambronero, M. Llanos Tobarra, Valentin Valero, Fernando Cuartero. wsfm 2006: 178-192 [doi]

Verification of Web Services with Timed AutomataGregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero. ENTCS, 157(2):19-34, 2006. [doi]

Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process AlgebraM. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo. cimca 2006: 46 [doi]

Analysis of the SET e-commerce protocol using a true concurrency process algebraM. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo. SAC 2006: 879-886 [doi]

Process Algebra Specification of Flexible Manufacturing SystemsM. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo. synasc 2006: 181-186 [doi]

2005

A translation of TPAL::p:: into a class of timed-probabilistic Petri netsAntonio Bueno, Valentín Valero Ruiz, Fernando Cuartero. TCS, 338(1-3):350-392, 2005. [doi]

Automatic Translation of WS-CDL Choreographies to Timed AutomataGregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero. epew 2005: 230-242 [doi]

Verification of Web Services with Timed AutomataGregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero. wwv 2005: 177-191

An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocolGregorio Díaz, Kim Guldstrand Larsen, Juan José Pardo, Fernando Cuartero, Valentin Valero. SAC 2005: 815-820 [doi]

Obtaining Probabilistic Dynamic State Graphs for TPPAL ProcessesJuan José Pardo, Valentín Valero Ruiz, M. Carmen Ruiz, Fernando Cuartero, Gregorio Díaz. ASWEC 2005: 118-127 [doi]

How does the memory work? By timed-arc Petri netsFernando L. Pelayo, Fernando Cuartero, Valentin Valero, Maria L. Pelayo, Mercedes G. Merayo. IEEEicci 2005: 128-135 [doi]

A Formal Specification and Performance Evaluation of the Purchase Phase in the SET ProtocolM. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo. synasc 2005: 239-244 [doi]

Application of Formal Methods to the Analysis of Web Services SecurityM. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz. epew 2005: 215-229 [doi]

2004

2003

2002

Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri NetsValentín Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla. ENTCS, 66(2):120-131, 2002. [doi]

Translating TPAL Specifications into Timed-Arc Petri NetsValentín Valero Ruiz, Juan José Pardo, Fernando Cuartero. apn 2002: 414-433 [doi]

2001

A process algebra for probabilistic and nondeterministic processesDiego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo. ipl, 80(1):15-23, 2001. [doi]

Automatic Translation of a Timed Process Algebra into Dynamic State GraphsJuan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla. apsec 2001: 63-70 [doi]

2000

A Denotational Model for Probabilistic and Nondeterministic ProcessesDiego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo. icdcsw 2000:

An example of performance evaluation by using the stochastic process algebra: ROSAFernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla. rtcsa 2000: 271-278 [doi]

1997

TPAL: A Timed-Probabilistic Model for Concurrent ProcessesAntonio Bueno, Valentín Valero Ruiz, Fernando Cuartero. apsec 1997: 475-484 [doi]

A Sound and Complete Proof System for Probabilistic ProcessesFernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz. arts 1997: 340-352

1995

Timed Processes of Timed Petri NetsValentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero. apn 1995: 490-509

A simulation tool of parallel architectures for digital image processing applications based on DLX processorsValentín Valero Ruiz, Fernando Cuartero, Antonio Jose Garrido del Solo, Francisco J. Quiles. icip 1995: 448-451 [doi]

1991

Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related ProblemsValentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero. pnpm 1991: 154-163

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Fernando Cuartero'

Viewing Publication 1 - 55 from 55

2020

2017

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1997

1995

1991

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Fernando Cuartero'

Viewing Publication 1 - 55 from 55

2020

2017

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1997

1995

1991

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1