- Home
- About
- Find staff
- Gerardo Schneider
Gerardo Schneider
Professor
Data 91̽»¨ och AI (DSAI 2)Avd-/Sektionschef, Inst
Data 91̽»¨ och AI (DSAI 1)About Gerardo Schneider
I am a Professor in Computer 91̽»¨ at the University 91̽»¨. My work is done at the Software Technology Division at the Department of Computer 91̽»¨ and Engineering (a shared department between Chalmers and the University 91̽»¨). Gothenburg, Sweden.
Since January 2013 I am Director of Graduate Studies at the Department of Computer 91̽»¨ and Engineering.
For more details see my personal homepage:
-
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 -
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 -
Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel
Proceedings / IEEE International Conference on Robotics and Automation - 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