César Sánchez

According to our database1, César Sánchez authored at least 91 papers between 2003 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Stream runtime verification of real-time event streams with the Striver language.
Int. J. Softw. Tools Technol. Transf., 2021

Bounded Model Checking for Hyperproperties.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

HLola: a Very Functional Tool for Extensible Stream Runtime Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Asynchronous Extensions of HyperLTL.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Synchronous and asynchronous stream runtime verification.
Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021

A Temporal Logic for Asynchronous Hyperproperties.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020
Runtime verification of real-time event streams under non-synchronized arrival.
Softw. Qual. J., 2020

Unifying the Time-Event Spectrum for Stream Runtime Verification.
Proceedings of the Runtime Verification - 20th International Conference, 2020

Model Checking Timed Hyperproperties in Discrete-Time Systems.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Reliable Smart Contracts.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Declarative Stream Runtime Verification (hLola).
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des., 2019

A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des., 2019

Gray-box Monitoring of Hyperproperties (Extended Version).
CoRR, 2019

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.
CoRR, 2019

Runtime Verification for Timed Event Streams with Partial Information.
Proceedings of the Runtime Verification - 19th International Conference, 2019

Decentralized Stream Runtime Verification.
Proceedings of the Runtime Verification - 19th International Conference, 2019

Gray-Box Monitoring of Hyperproperties.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Verifying Hyperliveness.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Runtime Verification for Decentralised and Distributed Systems.
Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Visibly Linear Temporal Logic.
J. Autom. Reason., 2018

Introduction to the special issue on runtime verification.
Formal Methods Syst. Des., 2018

i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers.
CoRR, 2018

i2kit: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines.
Proceedings of the Web Information Systems Engineering - WISE 2018, 2018

TeSSLa: runtime verification of non-synchronized real-time streams.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Online and Offline Stream Runtime Verification of Synchronous Systems.
Proceedings of the Runtime Verification - 18th International Conference, 2018

Striver: Stream Runtime Verification for Real-Time Event-Streams.
Proceedings of the Runtime Verification - 18th International Conference, 2018

COST Action IC1402 Runtime Verification Beyond Monitoring.
Proceedings of the Runtime Verification - 18th International Conference, 2018

Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications.
Proceedings of the 2018 IEEE International Conference on Web Services, 2018

Timed Epistemic Knowledge Bases for Social Networks.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017
Timed Epistemic Knowledge Bases for Social Networks (Extended Version).
CoRR, 2017

Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems.
Ann. Math. Artif. Intell., 2017

2016
Foundations of Boolean stream runtime verification.
Theor. Comput. Sci., 2016

Special issue on temporal representation and reasoning (TIME'13).
Acta Informatica, 2016

Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit.
Acta Informatica, 2016

Specification of Evolving Privacy Policies for Online Social Networks.
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

2015
Parametrized invariance for infinite state processes.
Acta Informatica, 2015

Algorithms for Model Checking HyperLTL and HyperCTL ^*.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Visibly rational expressions.
Acta Informatica, 2014

Parametrized Verification Diagrams.
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

Temporal Logics for Hyperproperties.
Proceedings of the Principles of Security and Trust - Third International Conference, 2014

LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Formal Verification of Skiplists with Arbitrary Many Levels.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
Abstracting Runtime Heaps for Program Understanding.
IEEE Trans. Software Eng., 2013

Fusing statecharts and java.
ACM Trans. Embed. Comput. Syst., 2013

Robust Volterra Filter Design for Enhancement of Electroencephalogram Signal Processing.
Circuits Syst. Signal Process., 2013

A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height
CoRR, 2013

Parametrized Invariance for Infinite State Processe.
CoRR, 2013

A Temporal Logic for Hyperproperties.
CoRR, 2013

2012
Ubiquitous Green Computing Techniques for High Demand Applications in Smart Environments.
Sensors, 2012

Efficient Regular Linear Temporal Logic Using Dualization and Stratification.
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version).
Proceedings of the Static Analysis - 19th International Symposium, 2012

How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

2011
A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes.
Proceedings of the NASA Formal Methods, 2011

A distributed architecture for a loosely coupled virtual microscopy system.
Proceedings of the Medical Imaging 2011: Computer-Aided Diagnosis, 2011

EEG Noise Cancellation based on Neural Network.
Proceedings of the NCTA 2011, 2011

Morphology quantification of atrial fibrillation under propofol using principal components analysis.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

2010
Regular Linear Temporal Logic with Past.
Proceedings of the Verification, 2010

Regular Linear-Time Temporal Logic.
Proceedings of the TIME 2010, 2010

Decision Procedures for the Temporal Verification of Concurrent Lists.
Proceedings of the Formal Methods and Software Engineering, 2010

Analyzing the Impact of Change in Multi-threaded Programs.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

Frequency Domain Analysis as Risk Predictor of Sudden Cardiac Death from Long-time ECG Recordings.
Proceedings of the BIOSIGNALS 2010, 2010

2009
Atrial fibrillation organization: quantification of propofol effects.
Medical Biol. Eng. Comput., 2009

2008
Anesthesia with propofol slows atrial fibrillation dominant frequencies.
Comput. Biol. Medicine, 2008

A flexible web oriented telehealth platform using a RIM-HL7 based model.
Proceedings of the 2008 Euro American conference on Telematics and Information Systems, 2008

The Reaction Algebra: A Formal Language for Event Correlation.
Proceedings of the Pillars of Computer Science, 2008

2007
Convolutive Blind Source Separation Algorithms Applied to the Electrocardiogram of Atrial Fibrillation: Study of Performance.
IEEE Trans. Biomed. Eng., 2007

Wavelet analysis of electrocardiograms to characterize recurrent atrial fibrillation.
J. Frankl. Inst., 2007

A Learning Based Widrow-Hoff Delta Algorithm for Noise Reduction in Biomedical Signals.
Proceedings of the Bio-inspired Modeling of Cognitive Tasks, 2007

Generating Efficient Distributed Deadlock Avoidance Controllers.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Regular Linear Temporal Logic.
Proceedings of the Theoretical Aspects of Computing, 2007

A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces.
Proceedings of the Fundamental Approaches to Software Engineering, 2007

2006
Distributed Priority Inheritance for Real-Time and Embedded Systems.
Proceedings of the Principles of Distributed Systems, 10th International Conference, 2006

On efficient distributed deadlock avoidance for real-time and embedded systems.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Performance Study of Convolutive BSS Algorithms Applied to the Electrocardiogram of Atrial Fibrillation.
Proceedings of the Independent Component Analysis and Blind Signal Separation, 2006

Wavelet Denoising as Preprocessing Stage to Improve ICA Performance in Atrial Fibrillation Analysis.
Proceedings of the Independent Component Analysis and Blind Signal Separation, 2006

Derivation of Atrial Surface Reentries Applying ICA to the Standard Electrocardiogram of Patients in Postoperative Atrial Fibrillation.
Proceedings of the Independent Component Analysis and Blind Signal Separation, 2006

Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Efficient distributed deadlock avoidance with liveness guarantees.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005
LOLA: Runtime Monitoring of Synchronous Systems.
Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

Expressive Completeness of an Event-Pattern Reactive Programming Language.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Thread Allocation Protocols for Distributed Real-Time and Embedded Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Final Semantics for Event-Pattern Reactive Programs.
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004
Atrial activity extraction for atrial fibrillation analysis using blind source separation.
IEEE Trans. Biomed. Eng., 2004

Wavelet Domain Blind Signal Separation to Analyze Supraventricular Arrhythmias from Holter Registers.
Proceedings of the Independent Component Analysis and Blind Signal Separation, 2004

Mixing Matrix Pseudostationarity and ECG Preprocessing Impact on ICA-Based Atrial Fibrillation Analysis.
Proceedings of the Independent Component Analysis and Blind Signal Separation, 2004

Multidimensional ICA for the Separation of Atrial and Ventricular Activities from Single Lead ECGs in Paroxysmal Atrial Fibrillation Episodes.
Proceedings of the Independent Component Analysis and Blind Signal Separation, 2004

2003
Atrial fibrillation analysis based on ICA including statistical and temporal source information.
Proceedings of the 2003 IEEE International Conference on Acoustics, 2003

Event Correlation: Language and Semantics.
Proceedings of the Embedded Software, Third International Conference, 2003


  Loading...