- 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:
-
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 -
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Hildebrandt, Gerardo Schneider
Software Engineering and Formal Methods (SEFM) - 2023 -
Karam Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker
Theoretical Aspects of Computing (ICTAC) - 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 -
Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel
Proceedings / IEEE International Conference on Robotics and Automation - 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, 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 -
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 -
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
More publications
We have limited the number of publications on this page. Visit (The Publication Database for Gothenburg University) to find more publications.