91̽»¨

Raúl Pardo, Devdatt Dubhashi, Gerardo Schneider, Hazem Torfah
Lecture Notes in Computer 91̽»¨ - Editorial note introduction to AISOLA'25 track - 2025

Karam Kharraz, Gerardo Schneider, Martin Leucker
Frontiers in Artificial Intelligence and Applications, Vol. 395: Legal Knowledge and Information Systems (JURIX'24) - 2024

Mojtaba Eshghie, Cyrille Artho, Hans Stammler, Wolfgang Ahrendt, Thomas Hildebrandt, Gerardo Schneider
2024 39th IEEE/ACM International Conference on Automated Software Engineering (ASE) - 2024

Christian Colombo, Gordon J. Pace, Gerardo Schneider
ISOLA'24 - Lecture Notes in Computer 91̽»¨ - 2024

Karam Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker
Theoretical Aspects of Computing (ICTAC) - 2023

Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Hildebrandt, Gerardo Schneider
Software Engineering and Formal Methods (SEFM) - 2023

Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider
Automated Technology for Verification and Analysis (ATVA) - 2023

H. Arshad, P. Picazo-Sanchez, C. Johansen, Gerardo Schneider
Journal of Cryptographic Engineering - 2023

J. Johansen, T. Pedersen, S. Fischer-Hubner, C. Johansen, Gerardo Schneider, A. Roosendaal, H. Zwingelberg, A. J. Sivesind, J. Noll
Information and Computer Security - 2022

Hamed Arshad, Christian Johansen, Olaf Owe, Pablo Picazo-Sanchez, Gerardo Schneider
Information 91̽»¨s - 2022

Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider
Lecture Notes in Computer 91̽»¨ book series (LNCS,volume 13498) - 2022

Stefan Chircop, Gordon J. Pace, Gerardo Schneider
Frontiers in Artificial Intelligence and Applications - 2022

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
2022

Pablo Picazo-Sanchez, Lara Ortiz-Martin, Gerardo Schneider, Andrei Sabelfeld
International Journal of Information Security - 2022

Hanaa Alshareef, Katja Tuma, Sandro Stucki, Gerardo Schneider, Riccardo Scandariato
ACM International Conference Proceeding Series - 2022

Felipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, Sebastián Uchitel
Lecture Notes in Computer 91̽»¨ (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2022

Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Lecture Notes in Computer 91̽»¨ book series (LNCS,volume 13701) - 2022

Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel
Proceedings / IEEE International Conference on Robotics and Automation - 2021

Viktor Elliot, Jonas Flodén, Conny Overland, Zeeshan Raza, Miroslaw Staron, Johan Woxenius, Abhinayan Basu Bal, Trisha Rajput, Gerardo Schneider, Gunnar Stefansson
Journal of Global Operations and Strategic Sourcing - 2021

Karam Younes Kharraz, Martin Leucker, Gerardo Schneider
Legal Knowledge and Information Systems (JURIX ), vol. 346. Series: Frontiers in Artificial Intelligence and Applications - 2021

Sandro Stucki, C. Sanchez, Gerardo Schneider, B. Bonakdarpour
Formal Methods in System Design - 2021

Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2021) - 2021

Shaun Azzopardi, Gordon Pace, Fernando Schapachnik, Gerardo Schneider
Lecture Notes in Computer 91̽»¨ (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2021

Shaun Azzopardi, Nir Piterman, Gerardo Schneider
19th International Symposium on Automated Technology for Verification and Analysis - 2021

William Hughes, Alejandro Russo, Gerardo Schneider
BSCI 2021 - Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure, co-located with ASIA CCS 2021 - 2021

Christian Colombo, Gordon J. Pace, Gerardo Schneider
Formal Methods in Outer Space; Lecture Notes in Computer 91̽»¨, vol. 13065 - 2021

Farzane Karami, Olaf Owe, Gerardo Schneider
NordSec 2020: pp. 74-91; Lecture Notes in Computer 91̽»¨ - 2021

Pablo Picazo-Sanchez, Gerardo Schneider, Andrei Sabelfeld
CANS'20, Lecture Notes in Computer 91̽»¨, volume 12579 - 2020

Hanaa Alshareef, R. Pardo, Gerardo Schneider, Pablo Picazo-Sanchez
Journal of Logical and Algebraic Methods in Programming - 2020

Pablo Picazo-Sanchez, J. Tapiador, Gerardo Schneider
International Journal of Information Security - 2020

Gordon J. Pace, César Sánchez, Gerardo Schneider
2020

Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider
18th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020 - 2020

Lara Ortiz-Martin, Pablo Picazo-Sanchez, Pedro Peris-Lopez, Juan Tapiador, Gerardo Schneider
Future generations computer systems - 2019

Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider
Lecture Notes in Computer 91̽»¨: Eigth International Conference on Fundamentals of Software Engineering (FSEN'19), volume 11761 of LNCS, pages 228-243 - 2019

Piergiuseppe Mallozzi, Ezequiel Castellano, Patrizio Pelliccione, Gerardo Schneider, Kenji Tei
RoSE 2019, IEEE/ACM 2nd International Workshop on Robotics Software Engineering, p.5-12 - 2019

Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Formal Methods – The Next 30 Years. FM 2019. Lecture Notes in Computer 91̽»¨, vol 11800 - 2019

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliés Falcone, Adrian Francalanza, Srđan Krstić, Joa̋o M. Lourenço, Dejan Nickovic, Gordon J. Pace, Jose Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
Formal Methods in System Design - 2019

Srinivas Pinisetty, Gerardo Schneider, David Sands
6th Conference on Formal Methods in Software Engineering (FormaliSE@ICSE'18), pages 20-29. ACM - 2018

Piergiuseppe Mallozzi, Raul Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider
2nd IEEE International Conference on Robotic Computing (IRC) - 2018

Lara Ortiz-Martin, Pedro Peris-Lopez, Pablo Picazo-Sanchez, Juan Tapiador, Gerardo Schneider
USENIX - 2018

John J. Camilleri, Mohammad Reza Haghshenas , Gerardo Schneider
Proceedings of the ACM Symposium on Applied Computing - 2018

Gordon J. Pace, Pablo Picazo-Sanchez, Gerardo Schneider
ISoLA'18, part IV, vol. 11247 of LNCS, pages 19-24 - 2018

Raul Pardo, César Sánchez, Gerardo Schneider
Formal Methods (FM'18), vol. 10951 of LNCS, pages 185-202. - 2018

Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider
International Workshop on Privacy Engineering (IWPE'18) at IEEE EuroS&P - 2018

Christian Colombo, Yliès Falcone, Martin Leucker, Gilles Reger, César Sánchez, Gerardo Schneider, Volker Stolz
18th International Conference on Runtime Verification (RV'18), vol. 11237 of LNCS, pages 18-26 - 2018

Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider
16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'18), pages 51-61 - 2018

Wolfgang Ahrendt, Gordon Pace, Gerardo Schneider
Principled Software Development, pp 1-18 - 2018

Jesus Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider
6th Conference on Formal Methods in Software Engineering (FormaliSE@ICSE'18), pages 30-39. ACM - 2018

Borzoo Bonakdarpour, Cesar Sanchez, Gerardo Schneider
ISoLA'18, part II, vol. 11245 of LNCS, pages 8-27. - 2018

César Sánchez, Gerardo Schneider, Martin Leucker
ISoLA (4), vol. 11247 of LNCS 2018: 275-279 - 2018

Gerardo Schneider
ISoLA'18, part I, volume 11244 of LNCS, pages 471-485 - 2018

Raul Pardo, Gerardo Schneider
Electronic Proceedings in Theoretical Computer 91̽»¨ - 2017

Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider
Lecture Notes in Computer 91̽»¨ - 2017

Pablo Picazo-Sanchez, Raúl Pardo, Gerardo Schneider
IFIP Information Security & Privacy Conference (IFIP SEC'17), volume 502 of IFIP Advances in Information and Communication Technology (AICT), pages 79-92 - 2017

Thibaud Antignac, David Sands, Gerardo Schneider
IFIP Information Security & Privacy Conference (IFIP SEC'17), volume 502 of IFIP Advances in Information and Communication Technology. pages 442-456 - 2017

Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider
Proceedings of the Symposium on Applied Computing -Software Verification and Testing track (SAC-SVT'17), pages 1372-1378 - 2017

John J. Camilleri, Gerardo Schneider
Journal of Logical and Algebraic Methods in Programming - 2017

W. Ahrendt, J. M. Chimento, G. J. Pace, Gerardo Schneider
Formal Methods in System Design - 2017

R. Pardo, M. Balliu, Gerardo Schneider
Journal of Logical and Algebraic Methods in Programming - 2017

S. Azzopardi, G. J. Pace, F. Schapachnik, Gerardo Schneider
Artificial Intelligence and Law - 2016

G. J. Pace, R. Pardo, Gerardo Schneider
Lecture Notes in Computer 91̽»¨, volume 9953 - 2016

W. Ahrendt, G. J. Pace, Gerardo Schneider
Lecture Notes in Computer 91̽»¨, volume 9952 - 2016

Gerardo Schneider
Lecture Notes in Computer 91̽»¨, volume 9953 - 2016

Raul Pardo Jimenez, C. Colombo, G.J. Pace, Gerardo Schneider
Lecture Notes in Computer 91̽»¨, volume 10012 - 2016

John J. Camilleri, Normunds Gruzitis, Gerardo Schneider
Lecture Notes in Computer 91̽»¨, volume 9612 - 2016

Raul Pardo, Ivana Kellyérova, César Sánchez, Gerardo Schneider
IEEE Computer Society - 2016

Hamid Tavallaei Ebadi, David Sands, Gerardo Schneider
Acm Sigplan Notices - 2015

Hamid Tavallaei Ebadi, David Sands, Gerardo Schneider
Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - 2015

Mauricio Chimento, Wolfgang Ahrendt, Gordon Pace, Gerardo Schneider
Lecture Notes in Computer 91̽»¨ - 6th International Conference on Runtime Verification (RV) - 2015

Wolfgang Ahrendt, Mauricio Chimento, G. J. Pace, Gerardo Schneider
Lecture Notes in Computer 91̽»¨. FM 2015: FORMAL METHODS. 20th International Symposium on Formal Methods (FM), Oslo, Norway, June 24-26, 2015 - 2015

Gordon Pace, Fernando Schapachnik, Gerardo Schneider
Frontiers in Artificial Intelligence and Applications, IOS Press - 2015

Gilles Barthe, Alberto Pardo, Gerardo Schneider
Journal of Software and Systems Modeling - 2015

John J. Camilleri, Gabriele Paganelli, Gerardo Schneider
Lecture notes in computer science: Proceedings of the 4th International Workshop on Controlled Natural Language, CNL 2014, Galway, Ireland, August 20-22, 2014 - 2014

Raul Pardo Jimenez, Gerardo Schneider
12th International Conference on Software Engineering and Formal Methods (SEFM'14), Grenoble, France. Lecture Notes in Computer 91̽»¨ - 2014

Gregorio Díaz, María Emilia Cambronero, Enrique Martínez, Gerardo Schneider
IEEE Transactions on Software Engineering - 2014

Krasimir Angelov, John J. Camilleri, Gerardo Schneider
Journal of Logic and Algebraic Programming - 2013

Pavel Rabetski, Gerardo Schneider
Lecture Notes in Computer 91̽»¨ (ESOCC 2013) - 2013

Robert Nagy, Gerardo Schneider, Hussaian Aram Timofeitchik
TACAS'13 - Lecture Notes in Computer 91̽»¨ (LNCS) - 2013

H. A. Hansen, Gerardo Schneider, M. Steffen
91̽»¨ of Computer Programming - 2013

Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
Leveraging Applications of Formal Methods, Verification and Validation - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Proceedings, Part I - 2012

C. Prisacariu, Gerardo Schneider
Journal of Logic and Algebraic Programming - 2012

E. Asarin, V. P. Mysore, A. Pnueli, Gerardo Schneider
Information and Computation - 2012

Antonio Brogi, Gerardo Schneider
Journal of Logic and Algebraic Programming - 2012

Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen
Lecture Notes in Computer 91̽»¨ (LNCS) - 2012

Seyed Montazeri, Nivir Roy, Gerardo Schneider
EPTCS - 2011

Enrique Martínez, Emilia Cambronero, Gregorio Díaz, Gerardo Schneider
EPTCS - 2011

Gordon Pace, Gerardo Schneider
2011

Gordon Pace, Gerardo Schneider
2011

Gilles Barthe, Alberto Pardo, Gerardo Schneider
2011

Hallstein A. Hansen, Gerardo Schneider
25th Annual ACM Symposium on Applied Computing -Software Verification and Testing track (SAC-SVT'10) - 2010

Enrique Martínez, Emilia Cambronero, Gregorio Díaz, Gerardo Schneider
IEEE Computer Society (IEEE SCC'10) - 2010

Enrique Martínez, Gerardo Schneider
Proceedings of 1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE'10) - 2010

Hallstein A. Hansen, Gerardo Schneider
2009

Gordon J. Pace, Gerardo Schneider
2009

Christian Colombo, Gordon J. Pace, Gerardo Schneider
Lecture Notes in Computer 91̽»¨ - 2009

Gordon J. Pace, Gerardo Schneider
Lecture Notes in Computer 91̽»¨ - 2009

Olaf Owe, Gerardo Schneider
Electronic Notes in Theoretical Computer 91̽»¨ - 2009

Stephen Fenech, Joseph Okika, Gordon J. Pace, Gerardo Schneider
Electronic Notes in Theoretical Computer 91̽»¨ - 2009

Cristian Prisacariu, Gerardo Schneider
Lecture Notes in Computer 91̽»¨ - 2009

Cristian Prisacariu, Gerardo Schneider
ACM - 2009

Hansen Hallstein, Gerardo Schneider
Lecture Notes in Computer 91̽»¨ - 2009

Stephen Fenech, Gordon J. Pace, Gerardo Schneider
Lecture Notes in Computer 91̽»¨ - 2009

Christian Colombo, Gordon J. Pace, Gerardo Schneider
Lecture Notes in Computer 91̽»¨ - 2009

Stephen Fenech, Gordon J. Pace, Gerardo Schneider
Lecture Notes in Computer 91̽»¨ - 2009

Olaf Owe, Gerardo Schneider
2009

Einar Johnsen, Olaf Owe, Gerardo Schneider
2009

Christian Colombo, Gordon J. Pace, Gerardo Schneider
2009

Christian Colombo, Gordon J. Pace, Gerardo Schneider
IEEE Computer Society - 2009

Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider
ERCIM News - Special: The Future WEB - 2008

Stephen Fenech, Gordon J. Pace, Gerardo Schneider
Conference Technical Report - 2008

Eugene Asarin, Gordon Pace, Gerardo Schneider, Sergio Yovine
Theoretical Computer 91̽»¨ - 2008

Eugene Asarin, Gerardo Schneider, Sergio Yovine
Theoretical Computer 91̽»¨ - 2007

Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider
INSTICC Press - International Conference on Software and Data Technologies (ICSOFT'06) - 2006

Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider
2006

Gilles Barthe, Mariela Pavlova, Gerardo Schneider
3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) - 2005

Pablo Giambiagi, Gerardo Schneider
Proceedings of CLEI'05 - 2005

David Cachera, Thomas Jensen, David Pichardie, Gerardo Schneider
Lecture Notes in Computer 91̽»¨ - Formal Methods (FM'05) - 2005

Gerardo Schneider
Nordic Journal of Computing - 2004

Michael Baldamus, Richard Mayr, Gerardo Schneider
2004

Eugene Asarin, Gerardo Schneider, Sergio Yovine
Lecture Notes in Computer 91̽»¨ - 5th International Workshop on Hybrid Systems: Computation and Control (HSCC'02) - 2002

Eugene Asarin, Gerardo Schneider
13th International Conference on Concurrency Theory (CONCUR'02) - 2002

Eugene Asarin, Gordon Pace, Gerardo Schneider, Sergio Yovine
Computer Aided Verification (CAV'02) - 2002

Eugene Asarin, Gerardo Schneider, Sergio Yovine
Lecture Notes in Computer 91̽»¨ - 4th International Workshop on Hybrid Systems: Computation and Control (HSCC'01) - 2001