César Sánchez
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
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:
i2kit: 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 - [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, JoHao 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
- [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
last updated on 2019-02-16 21:11 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint