- Hannes Kallwies, Martin Leucker, César Sánchez:
General Anticipatory Monitoring for Temporal Logics on Finite Traces. RV 2023: 106-125 - Paloma Pedregal, Felipe Gorostiaga, César Sánchez:
A Stream Runtime Verification Tool with Nested and Retroactive Parametrization. RV 2023: 351-362 - Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
Bounded Model Checking for Asynchronous Hyperproperties. TACAS (1) 2023: 29-46 - Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour:
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. TACAS (1) 2023: 66-84 - Cesar Ortega-Sanchez:
From Pedagogy to Andragogy to Heutagogy: Students Becoming Engineers. TALE 2023: 1-4 - Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour:
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. CoRR abs/2301.06209 (2023) - Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
Bounded Model Checking for Asynchronous Hyperproperties. CoRR abs/2301.07208 (2023) - Kostadin Cvejoski, Ramsés J. Sánchez, César Ojeda:
Neural Dynamic Focused Topic Model. CoRR abs/2301.10988 (2023) - Luis Miguel Danielsson, César Sánchez:
Decentralized Stream Runtime Verification for Timed Asynchronous Networks. CoRR abs/2302.00506 (2023) - 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) - Paloma Pedregal, Felipe Gorostiaga, César Sánchez:
Retroactive Parametrized Monitoring. CoRR abs/2307.06763 (2023) - Wilmer Contreras Sepúlveda, Ángel David Torres-Palencia, José Javier Sánchez Mondragón, Braulio Misael Villegas-Martínez, J. Jesús Escobedo Alatorre, Sandra Gesing, Néstor Lozano-Crisóstomo, Julio César García-Melgarejo, Juan Carlos Sánchez Pérez, Eddie Nelson Palacios-Pérez, Omar Palillero-Sandoval:
Unleashing quantum algorithms with Qinterpreter: bridging the gap between theory and practice across leading quantum computing platforms. CoRR abs/2310.07173 (2023) - Andoni Rodríguez, César Sánchez:
From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach. CoRR abs/2310.07904 (2023) - Andoni Rodríguez, César Sánchez:
Boolean Abstractions for Realizability Modulo Theories (Extended version). CoRR abs/2310.17292 (2023) - Matías Brizzio, César Sánchez:
Efficient Reactive Synthesis Using Mode Decomposition. CoRR abs/2312.08717 (2023) - 2022
- Pablo Palacios Játiva, Iván Sánchez, Ismael Soto, Cesar A. Azurdia-Meza, David Zabala-Blanco, Muhammad Ijaz, Ali Dehghan Firoozabadi, David Plets:
A Novel and Adaptive Angle Diversity-Based Receiver for 6G Underground Mining VLC Systems. Entropy 24(11): 1507 (2022) - Felipe Gorostiaga, César Sánchez:
Runtime verification of real-time event streams using the tool HStriver. Formal Methods Syst. Des. 61(1): 3-34 (2022) - Carlo Biffi, Pietro Salvagnini, Nhan Ngo Dinh, Cesare Hassan, Prateek Sharma, Giulio Antonelli, Halim Awadie, Sebastian Bernhofer, Sabela Carballal, Mário Dinis-Ribeiro, Agnès Fernández-Clotet, Gloria Fernández-Esparrach, Ian Gralnek, Yuta Higasa, Taku Hirabayashi, Tatsuki Hirai, Mineo Iwatate, Miki Kawano, Markus Mader, Andreas Maieron, Sebastian Mattes, Tastuya Nakai, Ingrid Ordas, Raquel Ortigão, Oswaldo Ortiz Zúñiga, Maria Pellisé, Cláudia Pinto, Florian Riedl, Ariadna Sánchez, Emanuel Steiner, Yukari Tanaka, Andrea Cherubini:
A novel AI device for real-time optical characterization of colorectal polyps. npj Digit. Medicine 5 (2022) - Carlo Biffi, Pietro Salvagnini, Nhan Ngo Dinh, Cesare Hassan, Prateek Sharma, Giulio Antonelli, Halim Awadie, Sebastian Bernhofer, Sabela Carballal, Mário Dinis-Ribeiro, Agnès Fernández-Clotet, Gloria Fernández-Esparrach, Ian Gralnek, Yuta Higasa, Taku Hirabayashi, Tatsuki Hirai, Mineo Iwatate, Miki Kawano, Markus Mader, Andreas Maieron, Sebastian Mattes, Tastuya Nakai, Ingrid Ordas, Raquel Ortigão, Oswaldo Ortiz Zúñiga, Maria Pellisé, Cláudia Pinto, Florian Riedl, Ariadna Sánchez, Emanuel Steiner, Yukari Tanaka, Andrea Cherubini:
Author Correction: A novel AI device for real-time optical characterization of colorectal polyps. npj Digit. Medicine 5 (2022) - Milton Román Cañizares, Pablo Palacios Játiva, Cesar A. Azurdia-Meza, Samuel Montejo Sánchez, Sandra Céspedes:
Impact of diversity combining schemes in a multi-cell VLC system with angle diversity receivers. Photonic Netw. Commun. 43(1): 13-22 (2022) - Pablo Palacios Játiva, Cesar A. Azurdia-Meza, Milton Román Cañizares, Iván Sánchez, Fabián Seguel, David Zabala-Blanco, Diego Fernando Carrera:
Performance analysis of IEEE 802.15.7-based visible light communication systems in underground mine environments. Photonic Netw. Commun. 43(1): 23-33 (2022) - Diana Teresa Parra Sánchez, Leonardo H. Talero-Sarmiento, José David Ortiz Cuadros, César D. Guerrero:
Chief Information Officer's Role for IoT-based Digital Transformation in Colombian SMEs. Rev. Colomb. de Computación 23(2): 43-54 (2022) - Pablo Palacios Játiva, Cesar A. Azurdia-Meza, Iván Sánchez, David Zabala-Blanco, Ali Dehghan Firoozabadi, Ismael Soto, Fabián Seguel:
An Enhanced VLC Channel Model for Underground Mining Environments Considering a 3D Dust Particle Distribution Model. Sensors 22(7): 2483 (2022) - Mário Saldanha, Gustavo Sanchez, César A. M. Marcon, Luciano Agostini:
Configurable Fast Block Partitioning for VVC Intra Coding Using Light Gradient Boosting Machine. IEEE Trans. Circuits Syst. Video Technol. 32(6): 3947-3960 (2022) - Jesús Gutiérrez, Pablo Pérez, Marta Orduna, Ashutosh Singla, Carlos Cortés, Pramit Mazumdar, Irene Viola, Kjell Brunnström, Federica Battisti, Natalia Cieplinska, Dawid Juszka, Lucjan Janowski, Mikolaj Leszczuk, Anthony Adeyemi-Ejeye, Yaosi Hu, Zhenzhong Chen, Glenn Van Wallendael, Peter Lambert, César Díaz, John Hedlund, Omar Hamsis, Stephan Fremerey, Frank Hofmeyer, Alexander Raake, Pablo César, Marco Carli, Narciso García:
Subjective Evaluation of Visual Quality and Simulator Sickness of Short 360$\circ$ Videos: ITU-T Rec. P.919. IEEE Trans. Multim. 24: 3087-3100 (2022) - Hannes Kallwies, Martin Leucker, César Sánchez:
Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. ATVA 2022: 117-134 - Céline Lafaye, Meritxell Rovira, Silvia Demuru, Shu Wang, Jaemin Kim, Brince Paul Kunnel, Cyril Besson, César Fernández-Sánchez, Francisco Serra-Graells, Josep Maria Margarit-Taulé, Joan Aymerich, Javier Cuenca, Ilya Kiselev, Vincent Gremeaux, Mathieu Saubade, Cecilia Jiménez-Jorquera, Danick Briand, Shih-Chii Liu:
Real-time smart multisensing wearable platform for monitoring sweat biomarkers during exercise. BioCAS 2022: 173-177 - 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 - Martín Ceresa, César Sánchez:
Multi: A Formal Playground for Multi-Smart Contract Interaction. FMBC@CAV 2022: 5:1-5:16 - Laura Bozzelli, Adriano Peron, César Sánchez:
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. CONCUR 2022: 27:1-27:16