An architecture-centric approach to the development of a distributed model-checker for timed automata. - Fernando Schapachnik; Víctor A. Braberman; Alfredo Olivero (ICSE, 2002)

ZEUS: A Distributed Timed Model-Checker Based on KRONOS. - Víctor A. Braberman; Alfredo Olivero; Fernando Schapachnik (PDMC@CONCUR, 2002)

On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus. - Víctor A. Braberman; Alfredo Olivero; Fernando Schapachnik (PDMC, 2004)

Issues in distributed timed model checking. - Víctor A. Braberman; Alfredo Olivero; Fernando Schapachnik (Int. J. Softw. Tools Technol. Transf., 2005)

A toolsuite for the verification of real-time systems in Eclipse. - Lucía Cavatorta; Guido de Caso; Andrés Ferrari; Víctor A. Braberman; Diego Garbervetsky; Nicolas Kicillof; Fernando Schapachnik; Alfredo Olivero (ETX, 2006)

Dealing with practical limitations of distributed timed model checking for timed automata. - Víctor A. Braberman; Alfredo Olivero; Fernando Schapachnik (Formal Methods Syst. Des., 2006)

Hypervolume Approximation in Timed Automata Model Checking. - Víctor A. Braberman; Jorge Lucángeli Obes; Alfredo Olivero; Fernando Schapachnik (FORMATS, 2007)

Model Checking Legal Documents. - Daniel Gorín; Sergio Mera; Fernando Schapachnik (JURIX, 2010)

Permissions in Contracts, a Logical Insight. - Gordon J. Pace; Fernando Schapachnik (JURIX, 2011)

A Software Tool for Legal Drafting - Daniel Gorín; Sergio Mera; Fernando Schapachnik (FLACOS, 2011)

Types of Rights in Two-Party Systems: A Formal Analysis. - Gordon J. Pace; Fernando Schapachnik (JURIX, 2012)

Contracts for Interacting Two-Party Systems - Gordon J. Pace; Fernando Schapachnik (FLACOS, 2012)

Computational Models for Normative Multi-Agent Systems. - Natasha Alechina; Nick Bassiliades; Mehdi Dastani; Marina De Vos; Brian Logan 001; Sergio Mera; Andreasa Morris-Martin; Fernando Schapachnik (Normative Multi-Agent Systems, 2013)

Synthesising implicit contracts. - Gordon J. Pace; Fernando Schapachnik (ICAIL, 2013)

Engaging high school students using chatbots. - Luciana Benotti; María Cecilia Martínez; Fernando Schapachnik (ITiCSE, 2014)

Contract Automata with Reparations. - Shaun Azzopardi; Gordon J. Pace; Fernando Schapachnik (JURIX, 2014)

Conditional Permissions in Contracts. - Gordon J. Pace; Fernando Schapachnik; Gerardo Schneider (JURIX, 2015)

Contract automata - An operational view of contracts between interactive parties. - Shaun Azzopardi; Gordon J. Pace; Fernando Schapachnik; Gerardo Schneider (Artif. Intell. Law, 2016)

Performance improvement on legal model checking. - Carlos Faciano; Sergio Mera; Fernando Schapachnik; Ana Haydée Di Iorio; Bibiana Luz Clara; Verónica Uriarte; María Fernanda Giaccaglia; María Belén Ruffa; Cristian Marcos (ICAIL, 2017)

On Observing Contracts: Deontic Contracts Meet Smart Contracts. - Shaun Azzopardi; Gordon J. Pace; Fernando Schapachnik (JURIX, 2018)

A Tool for Introducing Computer Science with Automatic Formative Assessment. - Luciana Benotti; María Cecilia Martínez; Fernando Schapachnik (IEEE Trans. Learn. Technol., 2018)

A teacher training program in argentina analysed by profiles. - Daniela Cura; Hernán Czemerinski; Verónica Alelí Marino; Martín Guillermo Scasso; Fernando Schapachnik (WiPSCE, 2020)

What's the worth of having a single CS teacher program aimed at teachers with heterogeneous profiles? - Hernán Czemerinski; Martín Guillermo Scasso; Fernando Schapachnik (CoRR, 2020)

On the Specification and Monitoring of Timed Normative Systems. - Shaun Azzopardi; Gordon J. Pace; Fernando Schapachnik; Gerardo Schneider (RV, 2021)

Keys to a Comprehensive Computer Science at School Policy in Argentina. - Mara Borchardt; Inés Roggi; Fernando Schapachnik (Commun. ACM, 2024)

GENis: Open Source Forensic Genetics Software for Judicial Cooperation. - Gustavo Sibilla; Fernando Schapachnik; Maria Soledad Escobar (Commun. ACM, 2024)

Generative AI and the transformation of Work in Latin America - Brazil. - Carmen Bonfacio; Fernando Schapachnik; Fábio Porto 001 (CoRR, 2025)