Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarCésar Sánchez
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
[j17]Yliès Falcone, César Sánchez:
Introduction to the special issue on runtime verification. Formal Methods in System Design 53(1): 1-5 (2018)- [j16]Laura Bozzelli, César Sánchez:
Visibly Linear Temporal Logic. J. Autom. Reasoning 60(2): 177-220 (2018) - [c52]Raúl Pardo, César Sánchez, Gerardo Schneider:
Timed Epistemic Knowledge Bases for Social Networks. FM 2018: 185-202 - [c51]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 - [c50]Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider:
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. ISoLA (2) 2018: 8-27 - [c49]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 - [c48]Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz:
COST Action IC1402 Runtime Verification Beyond Monitoring. RV 2018: 18-26 - [c47]César Sánchez:
Online and Offline Stream Runtime Verification of Synchronous Systems. RV 2018: 138-163 - [c46]Felipe Gorostiaga, César Sánchez:
Striver: Stream Runtime Verification for Real-Time Event-Streams. RV 2018: 282-298 - [c45]Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm:
TeSSLa: runtime verification of non-synchronized real-time streams. SAC 2018: 1925-1933 - [c44]Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez:
\textiti2kit i 2 kit : A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines. WISE (1) 2018: 81-95 - [p1]Adrian Francalanza, Jorge A. Pérez, César Sánchez:
Runtime Verification for Decentralised and Distributed Systems. Lectures on Runtime Verification 2018: 176-210 - [i7]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) - 2017
- [j15]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
- [j14]César Sánchez, Kristen Brent Venable, Esteban Zimányi:
Special issue on temporal representation and reasoning (TIME'13). Acta Inf. 53(2): 87-88 (2016) - [j13]Bernd Finkbeiner, César Sánchez:
Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit. Acta Inf. 53(4): 325-326 (2016) - [j12]Laura Bozzelli, César Sánchez:
Foundations of Boolean stream runtime verification. Theor. Comput. Sci. 631: 118-138 (2016) - [c43]Raúl Pardo, Ivana Kellyerova, César Sánchez, Gerardo Schneider:
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
- [j11]Alejandro Sánchez, César Sánchez:
Parametrized invariance for infinite state processes. Acta Inf. 52(6): 525-557 (2015) - [c42]Bernd Finkbeiner, Markus N. Rabe, César Sánchez:
Algorithms for Model Checking HyperLTL and HyperCTL ^*. CAV (1) 2015: 30-48 - 2014
- [j10]
- [c41]Alejandro Sánchez, César Sánchez:
Formal Verification of Skiplists with Arbitrary Many Levels. ATVA 2014: 314-329 - [c40]
- [c39]Alejandro Sánchez, César Sánchez:
LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes. CAV 2014: 620-627 - [c38]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 - [c37]
- [c36]
- [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
- [j9]J. Mateo, A. M. Torres, María A. García, César Sánchez, Raquel Cervigón:
Robust Volterra Filter Design for Enhancement of Electroencephalogram Signal Processing. CSSP 32(1): 233-253 (2013) - [j8]Maria-Cristina Marinescu, César Sánchez:
Fusing statecharts and java. ACM Trans. Embedded Comput. Syst. 12(1s): 45:1-45:21 (2013) - [j7]Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich:
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
- [j6]Marina Zapater, César Sánchez, José L. Ayala, José Manuel Moya, José L. Risco-Martín:
Ubiquitous Green Computing Techniques for High Demand Applications in Smart Environments. Sensors 12(8): 10659-10677 (2012) - [c35]
- [c34]César Sánchez, Julián Samborski-Forlese:
How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata. ICTAC 2012: 30-45 - [c33]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 - [c32]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
- [c31]Raquel Cervigón, César Sánchez, Javier Moreno, Richard B. Reilly, Francisco Castells:
Morphology quantification of atrial fibrillation under propofol using principal components analysis. EMBC 2011: 6967-6970 - [c30]J. Mateo, A. M. Torres, C. Soria, María A. García, César Sánchez:
EEG Noise Cancellation based on Neural Network. IJCCI (NCTA) 2011: 330-333 - [c29]César Sánchez, Eduardo Romero:
A distributed architecture for a loosely coupled virtual microscopy system. Medical Imaging: Computer-Aided Diagnosis 2011: 79633H - [c28]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
- [c27]Diego García-Saiz, César Sánchez, Raúl Alcaraz:
Frequency Domain Analysis as Risk Predictor of Sudden Cardiac Death from Long-time ECG Recordings. BIOSIGNALS 2010: 424-427 - [c26]Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez:
Analyzing the Impact of Change in Multi-threaded Programs. FASE 2010: 293-307 - [c25]Alejandro Sánchez, César Sánchez:
Decision Procedures for the Temporal Verification of Concurrent Lists. ICFEM 2010: 74-89 - [c24]
- [c23]
2000 – 2009
- 2009
- [j5]Raquel Cervigón, Javier Moreno, César Sánchez, Richard B. Reilly, Julián Villacastín, José Millet, Francisco Castells:
Atrial fibrillation organization: quantification of propofol effects. Med. Biol. Engineering and Computing 47(3): 333-341 (2009) - 2008
- [j4]Raquel Cervigón, Javier Moreno, Francisco Castells, J. Mateo, César Sánchez, Julián Pérez-Villacastín, José Millet:
Anesthesia with propofol slows atrial fibrillation dominant frequencies. Comp. in Bio. and Med. 38(7): 792-798 (2008) - [c22]César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna:
The Reaction Algebra: A Formal Language for Event Correlation. Pillars of Computer Science 2008: 596-619 - [c21]César Sánchez, Edwin Triana, Eduardo Romero:
A flexible web oriented telehealth platform using a RIM-HL7 based model. EATIS 2008 - 2007
- [j3]Raquel Cervigón, César Sánchez, Francisco Castells, J. M. Blas, José Millet:
Wavelet analysis of electrocardiograms to characterize recurrent atrial fibrillation. J. Franklin Institute 344(3-4): 196-211 (2007) - [j2]Carlos Vayá, José Joaquín Rieta, César Sánchez, David Moratal:
Convolutive Blind Source Separation Algorithms Applied to the Electrocardiogram of Atrial Fibrillation: Study of Performance. IEEE Trans. Biomed. Engineering 54(8): 1530-1533 (2007) - [c20]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 - [c19]
- [c18]César Sánchez, Henny B. Sipma, Zohar Manna:
Generating Efficient Distributed Deadlock Avoidance Controllers. IPDPS 2007: 1-8 - [c17]Jorge Mateo Sotos, César Sánchez, Carlos Vayá, Raquel Cervigón Abad, José Joaquín Rieta:
A Learning Based Widrow-Hoff Delta Algorithm for Noise Reduction in Biomedical Signals. IWINAC (1) 2007: 377-386 - 2006
- [c16]César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill:
Efficient distributed deadlock avoidance with liveness guarantees. EMSOFT 2006: 12-20 - [c15]Venkita Subramonian, Christopher D. Gill, César Sánchez, Henny B. Sipma:
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems. EMSOFT 2006: 252-261 - [c14]José Joaquín Rieta, Fernando Hornero, César Sánchez, Carlos Vayá, David Moratal, Juan Manuel Sanchis:
Derivation of Atrial Surface Reentries Applying ICA to the Standard Electrocardiogram of Patients in Postoperative Atrial Fibrillation. ICA 2006: 478-485 - [c13]César Sánchez, José Joaquín Rieta, Carlos Vayá, David Moratal-Pérez, Roberto Zangróniz, José Millet:
Wavelet Denoising as Preprocessing Stage to Improve ICA Performance in Atrial Fibrillation Analysis. ICA 2006: 486-494 - [c12]Carlos Vayá, José Joaquín Rieta, César Sánchez, David Moratal:
Performance Study of Convolutive BSS Algorithms Applied to the Electrocardiogram of Atrial Fibrillation. ICA 2006: 495-502 - [c11]César Sánchez, Henny B. Sipma, Zohar Manna, Venkita Subramonian, Christopher D. Gill:
On efficient distributed deadlock avoidance for real-time and embedded systems. IPDPS 2006 - [c10]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
- [c9]César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna:
Final Semantics for Event-Pattern Reactive Programs. CALCO 2005: 364-378 - [c8]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 - [c7]César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna:
Expressive Completeness of an Event-Pattern Reactive Programming Language. FORTE 2005: 529-532 - [c6]Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna:
LOLA: Runtime Monitoring of Synchronous Systems. TIME 2005: 166-174 - 2004
- [j1]José Joaquín Rieta, Francisco Castells, César Sánchez, Vicente Zarzoso, José Millet:
Atrial activity extraction for atrial fibrillation analysis using blind source separation. IEEE Trans. Biomed. Engineering 51(7): 1176-1186 (2004) - [c5]José Joaquín Rieta, César Sánchez, Juan Manuel Sanchis, Francisco Castells, José Millet:
Mixing Matrix Pseudostationarity and ECG Preprocessing Impact on ICA-Based Atrial Fibrillation Analysis. ICA 2004: 1079-1086 - [c4]César Sánchez, José Joaquín Rieta, Francisco Castells, Raúl Alcaraz, José Millet:
Wavelet Domain Blind Signal Separation to Analyze Supraventricular Arrhythmias from Holter Registers. ICA 2004: 1111-1117 - [c3]Francisco Castells, Cibeles Mora, José Millet, José Joaquín Rieta, César Sánchez, Juan Manuel Sanchis:
Multidimensional ICA for the Separation of Atrial and Ventricular Activities from Single Lead ECGs in Paroxysmal Atrial Fibrillation Episodes. ICA 2004: 1229-1236 - 2003
- [c2]César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna:
Event Correlation: Language and Semantics. EMSOFT 2003: 323-339 - [c1]Francisco Castells, Jorge Igual, José Joaquín Rieta, César Sánchez, José Millet:
Atrial fibrillation analysis based on ICA including statistical and temporal source information. ICASSP (5) 2003: 93-96
Coauthor Index
maintained by 
at 
at 
last updated on 2018-11-16 20:39 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint