Items where Author is "Sánchez, César"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Baumeister, Jan and Coenen, Norine and Bonakdarpour, Borzoo and Finkbeiner, Bernd and Sánchez, César
(2021) A Temporal Logic for Asynchronous Hyperproperties.
In: CAV 2021, July 20–23, 2021, Virtual Event.
Conference: CAV Computer Aided Verification

Finkbeiner, Bernd and Sánchez, César
(2016) Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit.
Acta Inf., 53 (4). 325–326.

Clarkson, Michael R. and Finkbeiner, Bernd and Koleini, Masoud and Micinski, Kristopher K. and Rabe, Markus N. and Sánchez, César
(2014) Temporal Logics for Hyperproperties.
CoRR, abs/14.

Finkbeiner, Bernd and Rabe, Markus N. and Sánchez, César
(2013) A Temporal Logic for Hyperproperties.
CoRR, abs/13.

This list was generated on Sat Dec 21 16:54:49 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.