BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: S=aacute=nchez:C=eacute=sar

Contributed to:

CAV 20152015
CAV 20142014
IJCAR 20142014
SAS 20122012
FASE 20102010
VMCAI 20102010
FASE 20072007
CAV (1) 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.