César Sánchez
发表
L. Bozzelli,
César Sánchez,
2014
.
César Sánchez,
Eduardo Romero,
Edwin Triana,
2008,
EATIS.
C. Gill,
V. Subramonian,
César Sánchez,
2019
.
Z. Manna,
H. B. Sipma,
César Sánchez,
2022
.
César Sánchez,
Julián Samborski-Forlese,
2012
.
L. Bozzelli,
César Sánchez,
A. Peron,
2022,
CONCUR.
M. Leucker,
César Sánchez,
Hannes Kallwies,
2022,
ATVA.
Z. Manna,
C. Gill,
H. B. Sipma,
2007
.
G. Schneider,
Borzoo Bonakdarpour,
Sandro Stucki,
2022
.
César Sánchez,
Felipe Gorostiaga,
2022,
NFM.
Proceedings of the 20 th International Symposium on Temporal Representation and Reasoning, TIME 2013
César Sánchez,
Esteban Zimányi,
Kristen Brent Venable,
2013
.
Yliès Falcone,
César Sánchez,
2018,
Formal Methods in System Design.
César Sánchez,
Gordon J. Pace,
Gerardo Schneider,
2020,
Leveraging Applications of Formal Methods.
César Sánchez,
Felipe Gorostiaga,
Luis Miguel Danielsson,
2020,
Runtime Verification.
César Sánchez,
Felipe Gorostiaga,
César Sánchez,
2021,
International Conference on Tools and Algorithms for Construction and Analysis of Systems.
César Sánchez,
Felipe Gorostiaga,
César Sánchez,
2021,
Runtime Verification.
Dejan Nickovic,
César Sánchez,
Gordon J. Pace,
2018,
Formal Methods in System Design.
Krishnendu Chatterjee,
César Sánchez,
Luca de Alfaro,
2010,
FASE.
César Sánchez,
Martin Leucker,
Gerardo Schneider,
2018,
ISoLA.
César Sánchez,
Alejandro Sánchez,
César Sánchez,
2017,
Annals of Mathematics and Artificial Intelligence.
César Sánchez,
Alejandro Sánchez,
César Sánchez,
2013,
Acta Informatica.
Ana R. Cavalli,
Fatiha Zaïdi,
Antonio M. Ortiz,
2018,
ICWS.
César Sánchez,
Sriram Sankaranarayanan,
Bor-Yuh Evan Chang,
2012,
SAS.
Bernd Finkbeiner,
César Sánchez,
Markus N. Rabe,
2015,
CAV.
César Sánchez,
Julián Samborski-Forlese,
César Sánchez,
2012,
ICTAC.
César Sánchez,
Henny B. Sipma,
Zohar Manna,
2005,
FORTE.
César Sánchez,
Henny B. Sipma,
Zohar Manna,
2008,
Pillars of Computer Science.
Bernd Finkbeiner,
César Sánchez,
Michael R. Clarkson,
2013,
POST.
Borzoo Bonakdarpour,
B. Finkbeiner,
César Sánchez,
2021,
CAV.
Bernd Finkbeiner,
César Sánchez,
Leander Tentrup,
2020,
CAV.
César Sánchez,
Henny B. Sipma,
Zohar Manna,
2005,
CALCO.
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1
pdf
Florian Lorber,
César Sánchez,
Cyrille Artho,
2019,
ArXiv.
Martín Ceresa,
César Sánchez,
Margarita Capretto,
2022,
RV.
Adriano Peron,
Laura Bozzelli,
Cesar Sanchez,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers
pdf
César Sánchez,
Pablo Chico de Guzmán,
Felipe Gorostiaga,
2018,
ArXiv.
César Sánchez,
Borzoo Bonakdarpour,
Gerardo Schneider,
2018,
ISoLA.
Bernd Finkbeiner,
César Sánchez,
Markus N. Rabe,
2013,
ArXiv.
César Sánchez,
Felipe Gorostiaga,
César Sánchez,
2021,
International Journal on Software Tools for Technology Transfer.
César Sánchez,
Torben Scheffel,
Malte Schmitz,
2020,
Software Quality Journal.
Luis Miguel Danielsson,
César Sánchez,
César Sánchez,
2019,
RV.
César Sánchez,
Felipe Gorostiaga,
César Sánchez,
2018,
RV.
César Sánchez,
Adrian Francalanza,
Jorge A. Pérez,
2018,
Lectures on Runtime Verification.
César Sánchez,
Adrian Francalanza,
Jorge A. Pérez,
2017
.
Borzoo Bonakdarpour,
César Sánchez,
T. Hsu,
2020,
TACAS.
César Sánchez,
Borzoo Bonakdarpour,
Pavithra Prabhakar,
2020,
NFM.
Bernd Finkbeiner,
César Sánchez,
Henny B. Sipma,
2005,
12th International Symposium on Temporal Representation and Reasoning (TIME'05).
César Sánchez,
Henny B. Sipma,
Zohar Manna,
2007,
2007 IEEE International Parallel and Distributed Processing Symposium.
César Sánchez,
Henny B. Sipma,
Zohar Manna,
2007,
FASE.
César Sánchez,
Henny B. Sipma,
Christopher D. Gill,
2006,
EMSOFT '06.
César Sánchez,
Henny B. Sipma,
Christopher D. Gill,
2006,
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
H. B. Sipma,
César Sánchez,
2022
.
Z. Manna,
H. B. Sipma,
César Sánchez,
2022
.
Mike Papadakis,
Maxime Cordy,
César Sánchez,
2021,
GECCO.
César Sánchez,
Pablo Chico de Guzmán,
Felipe Gorostiaga,
2018,
WISE.
César Sánchez,
Alejandro Sánchez,
César Sánchez,
2011,
NASA Formal Methods.
César Sánchez,
Alejandro Sánchez,
César Sánchez,
2014,
2014 21st International Symposium on Temporal Representation and Reasoning.
César Sánchez,
Alejandro Sánchez,
César Sánchez,
2014,
ATVA.
César Sánchez,
Alejandro Sánchez,
César Sánchez,
2013,
ArXiv.
César Sánchez,
Gerardo Schneider,
Raúl Pardo,
2018,
FM.
César Sánchez,
Martin Leucker,
M. Leucker,
2007,
ICTAC.
M. Marinescu,
César Sánchez,
2013,
ACM Trans. Embed. Comput. Syst..
César Sánchez,
Henny B. Sipma,
Christopher D. Gill,
2006,
EMSOFT '06.