Travelled to:1 × Cyprus
1 × France
1 × Portugal
1 × Spain
1 × USA
2 × Austria
Collaborated with:A.Sánchez B.Finkbeiner L.Bozzelli M.Leucker M.N.Rabe H.B.Sipma Z.Manna S.Sankaranarayanan B.E.Chang K.Chatterjee L.d.Alfaro V.Raman N.Coenen L.Tentrup
Talks about:parametr (2) tempor (2) linear (2) logic (2) hyper (2) distribut (1) algorithm (1) reachabl (1) protocol (1) deadlock (1)
Person: César Sánchez
DBLP: S=aacute=nchez:C=eacute=sar
Contributed to:
20152014
2014
2012
2010
201020072019Wrote 8 papers:
- CAV-2015-FinkbeinerRS #algorithm #model checking
- Algorithms for Model Checking HyperLTL and HyperCTL ^* (BF, MNR, CS), pp. 30–48.
- CAV-2014-SanchezS #concurrent #data type #named #verification
- LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes (AS, CS), pp. 620–627.
- IJCAR-2014-BozzelliS #linear #logic
- Visibly Linear Temporal Logic (LB, CS), pp. 418–433.
- SAS-2012-SanchezSSC #generative #invariant #self #using
- Invariant Generation for Parametrized Systems Using Self-reflection — (Extended Version) (AS, SS, CS, BYEC), pp. 146–163.
- FASE-2010-ChatterjeeARS #concurrent #multi #source code #thread
- Analyzing the Impact of Change in Multi-threaded Programs (KC, LdA, VR, CS), pp. 293–307.
- VMCAI-2010-SanchezL #linear #logic
- Regular Linear Temporal Logic with Past (CS, ML), pp. 295–311.
- FASE-2007-SanchezSM #concurrent #distributed #product line #protocol
- A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces (CS, HBS, ZM), pp. 155–169.
- CAV-2019-CoenenFST #verification
- Verifying Hyperliveness (NC, BF, CS, LT), pp. 121–139.