default search action
César Sánchez 0001
Person information
- affiliation: IMDEA Software Institute, Madrid, Spain
- affiliation (former): Stanford University, USA
Other persons with the same name
- César Sánchez-Meléndez
(aka: César Sánchez 0002) — Castilla-La Mancha University, Cuenca, Spain
- César Sánchez 0003 — National University of Colombia, Bogotá, Colombia
- César Sánchez 0004 — Pontificia Universidad Católica de Chile, Faculty of Medicine, Santiago, Chile
- César Sánchez 0005 — DetectA, Barcelona, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j21]Davide Corsi, Guy Amir, Andoni Rodríguez, Guy Katz, César Sánchez, Roy Fox:
Verification-Guided Shielding for Deep Reinforcement Learning. RLJ 4: 1759-1780 (2024) - [j20]Margarita Capretto
Improving Blockchain Scalability with the Setchain Data-Type. Distributed Ledger Technol. Res. Pract. 3(2): 12 (2024) - [j19]Andoni Rodríguez, César Sánchez:
Realizability modulo theories. J. Log. Algebraic Methods Program. 140: 100971 (2024) - [c75]Andoni Rodríguez, César Sánchez:
Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories. AAAI 2024: 10679-10686 - [c74]Raik Hipler
General Anticipatory Runtime Verification. CAV (2) 2024: 133-155 - [c73]Margarita Capretto
Monitoring the Future of Smart Contracts. FASE 2024: 122-142 - [c72]Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta:
Unifying Asynchronous Logics for Hyperproperties. FSTTCS 2024: 14:1-14:18 - [i39]Margarita Capretto, Martín Ceresa, César Sánchez:
Monitoring the Future of Smart Contracts. CoRR abs/2401.12093 (2024) - [i38]Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta:
Unifying Asynchronous Logics for Hyperproperties. CoRR abs/2404.16778 (2024) - [i37]Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, César Sánchez:
Fast and Secure Decentralized Optimistic Rollups Using Setchain. CoRR abs/2406.02316 (2024) - [i36]Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz:
Shield Synthesis for LTL Modulo Theories. CoRR abs/2406.04184 (2024) - [i35]Davide Corsi, Guy Amir, Andoni Rodríguez, César Sánchez, Guy Katz, Roy Fox:
Verification-Guided Shielding for Deep Reinforcement Learning. CoRR abs/2406.06507 (2024) - [i34]Andoni Rodríguez, Felipe Gorostiaga, César Sánchez:
Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis. CoRR abs/2407.09348 (2024) - [i33]Kyungmin Kim, Davide Corsi, Andoni Rodríguez, JB Lanier, Benjami Parellada, Pierre Baldi, César Sánchez, Roy Fox:
Realizable Continuous-Space Shields for Safe Reinforcement Learning. CoRR abs/2410.02038 (2024) - [i32]Nicolas Waldburger, Chana Weil-Kennedy, Pierre Ganty, César Sánchez:
Temporal Hyperproperties for Population Protocols. CoRR abs/2410.11572 (2024) - 2023
- [j18]Luis Miguel Danielsson
Decentralized Stream Runtime Verification for Timed Asynchronous Networks. IEEE Access 11: 84091-84112 (2023) - [c71]Andoni Rodríguez
Boolean Abstractions for Realizability Modulo Theories. CAV (3) 2023: 305-328 - [c70]Montserrat Hermo
Tableaux for Realizability of Safety Specifications. FM 2023: 495-513 - [c69]Matías Brizzio
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. GECCO 2023: 1499-1507 - [c68]Matías Brizzio
Efficient Reactive Synthesis Using Mode Decomposition. ICTAC 2023: 256-275 - [c67]Hannes Kallwies
General Anticipatory Monitoring for Temporal Logics on Finite Traces. RV 2023: 106-125 - [c66]Paloma Pedregal
A Stream Runtime Verification Tool with Nested and Retroactive Parametrization. RV 2023: 351-362 - [c65]Tzu-Han Hsu
Bounded Model Checking for Asynchronous Hyperproperties. TACAS (1) 2023: 29-46 - [c64]Tzu-Han Hsu
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. TACAS (1) 2023: 66-84 - [i31]Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour:
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. CoRR abs/2301.06209 (2023) - [i30]Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
Bounded Model Checking for Asynchronous Hyperproperties. CoRR abs/2301.07208 (2023) - [i29]Luis Miguel Danielsson
Decentralized Stream Runtime Verification for Timed Asynchronous Networks. CoRR abs/2302.00506 (2023) - [i28]Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez:
Improving Blockchain Scalability with the Setchain Data-type. CoRR abs/2302.04744 (2023) - [i27]Paloma Pedregal, Felipe Gorostiaga, César Sánchez:
Retroactive Parametrized Monitoring. CoRR abs/2307.06763 (2023) - [i26]Andoni Rodríguez, César Sánchez:
From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach. CoRR abs/2310.07904 (2023) - [i25]Andoni Rodríguez, César Sánchez:
Boolean Abstractions for Realizability Modulo Theories (Extended version). CoRR abs/2310.17292 (2023) - [i24]Matías Brizzio, César Sánchez:
Efficient Reactive Synthesis Using Mode Decomposition. CoRR abs/2312.08717 (2023) - 2022
- [j17]Felipe Gorostiaga
Runtime verification of real-time event streams using the tool HStriver. Formal Methods Syst. Des. 61(1): 3-34 (2022) - [c63]Hannes Kallwies
Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. ATVA 2022: 117-134 - [c62]Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers. Blockchain 2022: 87-96 - [c61]Martín Ceresa, César Sánchez
Multi: A Formal Playground for Multi-Smart Contract Interaction. FMBC@CAV 2022: 5:1-5:16 - [c60]Laura Bozzelli, Adriano Peron, César Sánchez
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. CONCUR 2022: 27:1-27:16 - [c59]Felipe Gorostiaga
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. ISoLA (1) 2022: 397-414 - [c58]Felipe Gorostiaga, César Sánchez
Monitorability of Expressive Verdicts. NFM 2022: 693-712 - [c57]Margarita Capretto
Transaction Monitoring of Smart Contracts. RV 2022: 162-180 - [c56]Hannes Kallwies
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. RV 2022: 181-199 - [i23]Montserrat Hermo, Paqui Lucio, César Sánchez:
A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications. CoRR abs/2206.01492 (2022) - [i22]Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez:
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers. CoRR abs/2206.11845 (2022) - [i21]Margarita Capretto, Martín Ceresa, César Sánchez:
Transaction Monitoring of Smart Contracts. CoRR abs/2207.02517 (2022) - [i20]Laura Bozzelli, Adriano Peron, César Sánchez:
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. CoRR abs/2207.02956 (2022) - [i19]Hannes Kallwies, Martin Leucker, César Sánchez:
Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions. CoRR abs/2207.05678 (2022) - [i18]Martín Ceresa, César Sánchez:
Multi: a Formal Playground for Multi-Smart Contract Interaction. CoRR abs/2207.06681 (2022) - 2021
- [j16]Sandro Stucki
Gray-box monitoring of hyperproperties with an application to privacy. Formal Methods Syst. Des. 58(1-2): 126-159 (2021) - [j15]Felipe Gorostiaga
Stream runtime verification of real-time event streams with the Striver language. Int. J. Softw. Tools Technol. Transf. 23(2): 157-183 (2021) - [c55]Jan Baumeister
A Temporal Logic for Asynchronous Hyperproperties. CAV (1) 2021: 694-717 - [c54]Felipe Gorostiaga
HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams. FM 2021: 563-580 - [c53]Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel:
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. ICRA 2021: 6824-6830 - [c52]César Sánchez
Synchronous and asynchronous stream runtime verification. VORTEX@ISSTA 2021: 5-7 - [c51]Laura Bozzelli, Adriano Peron, César Sánchez:
Asynchronous Extensions of HyperLTL. LICS 2021: 1-13 - [c50]Felipe Gorostiaga
Nested Monitors: Monitors as Expressions to Build Monitors. RV 2021: 164-183 - [c49]Tzu-Han Hsu
Bounded Model Checking for Hyperproperties. TACAS (1) 2021: 94-112 - [c48]Felipe Gorostiaga
HLola: a Very Functional Tool for Extensible Stream Runtime Verification. TACAS (2) 2021: 349-356 - [i17]Laura Bozzelli, Adriano Peron, César Sánchez:
Asynchronous Extensions of HyperLTL. CoRR abs/2104.12886 (2021) - [i16]Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
A Temporal Logic for Asynchronous Hyperproperties. CoRR abs/2104.14025 (2021) - [i15]Tzu-Han Hsu, Borzoo Bonakdarpour, César Sánchez:
HyperQube: A QBF-Based Bounded Model Checker for Hyperproperties. CoRR abs/2109.12989 (2021) - 2020
- [j14]Martin Leucker
Runtime verification of real-time event streams under non-synchronized arrival. Softw. Qual. J. 28(2): 745-787 (2020) - [c47]Martín Ceresa
Declarative Stream Runtime Verification (hLola). APLAS 2020: 25-43 - [c46]Gordon J. Pace, César Sánchez, Gerardo Schneider:
Reliable Smart Contracts. ISoLA (3) 2020: 3-8 - [c45]Borzoo Bonakdarpour, Pavithra Prabhakar, César Sánchez:
Model Checking Timed Hyperproperties in Discrete-Time Systems. NFM 2020: 311-328 - [c44]Felipe Gorostiaga, Luis Miguel Danielsson
Unifying the Time-Event Spectrum for Stream Runtime Verification. RV 2020: 462-481 - [i14]Martín Ceresa, Felipe Gorostiaga, César Sánchez:
Declarative Stream Runtime Verification (hLola). CoRR abs/2003.00032 (2020) - [i13]Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup:
Verifying Hyperliveness. CoRR abs/2005.07425 (2020) - [i12]Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour:
Bounded Model Checking for Hyperproperties. CoRR abs/2009.08907 (2020)
2010 – 2019
- 2019
- [j13]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54(3): 279-335 (2019) - [j12]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55(1): 72 (2019) - [c43]Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup:
Verifying Hyperliveness. CAV (1) 2019: 121-139 - [c42]Sandro Stucki
Gray-Box Monitoring of Hyperproperties. FM 2019: 406-424 - [c41]Luis Miguel Danielsson, César Sánchez:
Decentralized Stream Runtime Verification. RV 2019: 185-201 - [c40]Martin Leucker
Runtime Verification for Timed Event Streams with Partial Information. RV 2019: 273-291 - [i11]Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz:
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR abs/1902.03776 (2019) - [i10]Sandro Stucki
Gray-box Monitoring of Hyperproperties (Extended Version). CoRR abs/1906.08731 (2019) - [i9]Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma:
Runtime Verification For Timed Event Streams With Partial Information. CoRR abs/1907.07761 (2019) - 2018
- [j11]Yliès Falcone
Introduction to the special issue on runtime verification. Formal Methods Syst. Des. 53(1): 1-5 (2018) - [j10]Laura Bozzelli, César Sánchez
Visibly Linear Temporal Logic. J. Autom. Reason. 60(2): 177-220 (2018) - [c39]Raúl Pardo, César Sánchez, Gerardo Schneider:
Timed Epistemic Knowledge Bases for Social Networks. FM 2018: 185-202 - [c38]Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez:
Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications. ICWS 2018: 379-382 - [c37]Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider:
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. ISoLA (2) 2018: 8-27 - [c36]César Sánchez, Gerardo Schneider, Martin Leucker
Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions. ISoLA (4) 2018: 275-279 - [c35]Christian Colombo
COST Action IC1402 Runtime Verification Beyond Monitoring. RV 2018: 18-26 - [c34]César Sánchez
Online and Offline Stream Runtime Verification of Synchronous Systems. RV 2018: 138-163 - [c33]Felipe Gorostiaga, César Sánchez:
Striver: Stream Runtime Verification for Real-Time Event-Streams. RV 2018: 282-298 - [c32]Martin Leucker
TeSSLa: runtime verification of non-synchronized real-time streams. SAC 2018: 1925-1933 - [c31]Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez:
i2kit: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines. WISE (1) 2018: 81-95 - [p1]Adrian Francalanza
Runtime Verification for Decentralised and Distributed Systems. Lectures on Runtime Verification 2018: 176-210 - [i8]Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez:
i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers. CoRR abs/1802.10375 (2018) - [i7]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR abs/1811.06740 (2018) - 2017
- [j9]Alejandro Sánchez, César Sánchez
Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems. Ann. Math. Artif. Intell. 80(3-4): 249-282 (2017) - [i6]Raúl Pardo, César Sánchez, Gerardo Schneider:
Timed Epistemic Knowledge Bases for Social Networks (Extended Version). CoRR abs/1708.04070 (2017) - 2016
- [j8]César Sánchez
Special issue on temporal representation and reasoning (TIME'13). Acta Informatica 53(2): 87-88 (2016) - [j7]Bernd Finkbeiner, César Sánchez
Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit. Acta Informatica 53(4): 325-326 (2016) - [j6]Laura Bozzelli, César Sánchez
Foundations of Boolean stream runtime verification. Theor. Comput. Sci. 631: 118-138 (2016) - [c30]Raúl Pardo
Specification of Evolving Privacy Policies for Online Social Networks. TIME 2016: 70-79 - [e2]Yliès Falcone, César Sánchez:
Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. Lecture Notes in Computer Science 10012, Springer 2016, ISBN 978-3-319-46981-2 [contents] - 2015
- [j5]Alejandro Sánchez, César Sánchez:
Parametrized invariance for infinite state processes. Acta Informatica 52(6): 525-557 (2015) - [c29]Bernd Finkbeiner, Markus N. Rabe, César Sánchez
Algorithms for Model Checking HyperLTL and HyperCTL ^*. CAV (1) 2015: 30-48 - 2014
- [j4]Laura Bozzelli, César Sánchez
Visibly rational expressions. Acta Informatica 51(1): 25-49 (2014) - [c28]Alejandro Sánchez, César Sánchez:
Formal Verification of Skiplists with Arbitrary Many Levels. ATVA 2014: 314-329 - [c27]Laura Bozzelli, César Sánchez
Visibly Linear Temporal Logic. IJCAR 2014: 418-433 - [c26]Alejandro Sánchez, César Sánchez
LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes. CAV 2014: 620-627 - [c25]Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
Temporal Logics for Hyperproperties. POST 2014: 265-284 - [c24]Laura Bozzelli, César Sánchez:
Foundations of Boolean Stream Runtime Verification. RV 2014: 64-79 - [c23]Alejandro Sánchez, César Sánchez
Parametrized Verification Diagrams. TIME 2014: 132-141 - [i5]Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez:
Temporal Logics for Hyperproperties. CoRR abs/1401.4492 (2014) - 2013
- [j3]Maria-Cristina V. Marinescu
Fusing statecharts and java. ACM Trans. Embed. Comput. Syst. 12(1s): 45:1-45:21 (2013) - [j2]Mark Marron, César Sánchez
Abstracting Runtime Heaps for Program Understanding. IEEE Trans. Software Eng. 39(6): 774-786 (2013) - [e1]César Sánchez, Kristen Brent Venable, Esteban Zimányi:
2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26-28, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-2240-6 [contents] - [i4]César Sánchez, Alejandro Sánchez:
A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height. CoRR abs/1301.4372 (2013) - [i3]Bernd Finkbeiner, Markus N. Rabe, César Sánchez:
A Temporal Logic for Hyperproperties. CoRR abs/1306.6657 (2013) - [i2]Alejandro Sánchez, César Sánchez:
Parametrized Invariance for Infinite State Processe. CoRR abs/1312.4043 (2013) - 2012
- [j1]Marina Zapater
Ubiquitous Green Computing Techniques for High Demand Applications in Smart Environments. Sensors 12(8): 10659-10677 (2012) - [c22]Laura Bozzelli, César Sánchez
Visibly Rational Expressions. FSTTCS 2012: 211-223 - [c21]César Sánchez
How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata. ICTAC 2012: 30-45 - [c20]Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang:
Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version). SAS 2012: 146-163 - [c19]César Sánchez, Julián Samborski-Forlese:
Efficient Regular Linear Temporal Logic Using Dualization and Stratification. TIME 2012: 13-20 - [i1]Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich:
Abstracting Runtime Heaps for Program Understanding. CoRR abs/1201.1327 (2012) - 2011
- [c18]Alejandro Sánchez, César Sánchez
A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes. NASA Formal Methods 2011: 343-358 - 2010
- [c17]Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez
Analyzing the Impact of Change in Multi-threaded Programs. FASE 2010: 293-307 - [c16]Alejandro Sánchez, César Sánchez
Decision Procedures for the Temporal Verification of Concurrent Lists. ICFEM 2010: 74-89 - [c15]Martin Leucker
Regular Linear-Time Temporal Logic. TIME 2010: 3-5 - [c14]César Sánchez
Regular Linear Temporal Logic with Past. VMCAI 2010: 295-311
2000 – 2009
- 2008
- [c13]César Sánchez
The Reaction Algebra: A Formal Language for Event Correlation. Pillars of Computer Science 2008: 596-619 - 2007
- [b1]César Sánchez:
Deadlock avoidance for distributed real-time and embedded systems. Stanford University, USA, 2007 - [c12]César Sánchez, Henny B. Sipma, Zohar Manna:
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. FASE 2007: 155-169 - [c11]Martin Leucker
Regular Linear Temporal Logic. ICTAC 2007: 291-305 - [c10]César Sánchez
Generating Efficient Distributed Deadlock Avoidance Controllers. IPDPS 2007: 1-8 - 2006
- [c9]César Sánchez
Efficient distributed deadlock avoidance with liveness guarantees. EMSOFT 2006: 12-20 - [c8]Venkita Subramonian, Christopher D. Gill, César Sánchez
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems. EMSOFT 2006: 252-261 - [c7]César Sánchez
On efficient distributed deadlock avoidance for real-time and embedded systems. IPDPS 2006 - [c6]César Sánchez, Henny B. Sipma, Christopher D. Gill, Zohar Manna:
Distributed Priority Inheritance for Real-Time and Embedded Systems. OPODIS 2006: 110-125 - 2005
- [c5]César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna:
Final Semantics for Event-Pattern Reactive Programs. CALCO 2005: 364-378 - [c4]César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna:
Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. FORTE 2005: 159-173 - [c3]César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna:
Expressive Completeness of an Event-Pattern Reactive Programming Language. FORTE 2005: 529-532 - [c2]Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez
LOLA: Runtime Monitoring of Synchronous Systems. TIME 2005: 166-174 - 2003
- [c1]César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna:
Event Correlation: Language and Semantics. EMSOFT 2003: 323-339
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 19:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: