César Sánchez

According to our database1, César Sánchez
  • authored at least 61 papers between 2003 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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 Inf., 2016

Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit.
Acta Inf., 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 Inf., 2015

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

2014
Temporal Logics for Hyperproperties.
CoRR, 2014

Visibly rational expressions.
Acta Inf., 2014

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

Foundations of Boolean Stream Runtime Verification.
Proceedings of the Runtime Verification - 5th International Conference, 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

Visibly Linear Temporal Logic.
Proceedings of the Automated Reasoning - 7th International Joint 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. Embedded Comput. Syst., 2013

Robust Volterra Filter Design for Enhancement of Electroencephalogram Signal Processing.
CSSP, 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

Abstracting Runtime Heaps for Program Understanding
CoRR, 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

Visibly Rational Expressions.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

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

EEG Noise Cancellation based on Neural Network.
Proceedings of the NCTA 2011, 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.
Med. Biol. Engineering and Computing, 2009

2008
Anesthesia with propofol slows atrial fibrillation dominant frequencies.
Comp. in Bio. and Med., 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. Engineering, 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. Engineering, 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...