Fernando Schapachnik

According to our database, Fernando Schapachnik authored at least 24 papers between 2002 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

On the Specification and Monitoring of Timed Normative Systems.

Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider

Proceedings of the Runtime Verification - 21st International Conference, 2021

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

A teacher training program in argentina analysed by profiles.

Daniela Cura, Hernán Czemerinski, Verónica Alelí Marino, Martín Guillermo Scasso, Fernando Schapachnik

Proceedings of the WiPSCE '20: Workshop in Primary and Secondary Computing Education, 2020

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

On Observing Contracts: Deontic Contracts Meet Smart Contracts.

Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik

Proceedings of the Legal Knowledge and Information Systems, 2018

2017

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

Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law, 2017

2016

Contract automata - An operational view of contracts between interactive parties.

Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider

Artif. Intell. Law, 2016

2015

Conditional Permissions in Contracts.

Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider

Proceedings of the Legal Knowledge and Information Systems, 2015

2014

Contract Automata with Reparations.

Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik

Proceedings of the Legal Knowledge and Information Systems, 2014

Engaging high school students using chatbots.

Luciana Benotti, María Cecilia Martínez, Fernando Schapachnik

Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

2013

Synthesising implicit contracts.

Gordon J. Pace, Fernando Schapachnik

Proceedings of the International Conference on Artificial Intelligence and Law, 2013

Computational Models for Normative Multi-Agent Systems.

Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, Fernando Schapachnik

Proceedings of the Normative Multi-Agent Systems, 2013

2012

Contracts for Interacting Two-Party Systems

Gordon J. Pace, Fernando Schapachnik

Proceedings of the Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2012

Types of Rights in Two-Party Systems: A Formal Analysis.

Gordon J. Pace, Fernando Schapachnik

Proceedings of the Legal Knowledge and Information Systems, 2012

2011

A Software Tool for Legal Drafting

Daniel Gorín, Sergio Mera, Fernando Schapachnik

Proceedings of the Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2011

Permissions in Contracts, a Logical Insight.

Gordon J. Pace, Fernando Schapachnik

Proceedings of the Legal Knowledge and Information Systems, 2011

2010

Model Checking Legal Documents.

Daniel Gorín, Sergio Mera, Fernando Schapachnik

Proceedings of the Legal Knowledge and Information Systems, 2010

2007

Hypervolume Approximation in Timed Automata Model Checking.

Víctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

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

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

Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, 2006

2005

Issues in distributed timed model checking.

Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik

Int. J. Softw. Tools Technol. Transf., 2005

2004

On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus.

Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik

Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

2002

ZEUS: A Distributed Timed Model-Checker Based on KRONOS.

Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik

Proceedings of the Parallel and Distributed Model Checking, 2002

An architecture-centric approach to the development of a distributed model-checker for timed automata.

Fernando Schapachnik, Víctor A. Braberman, Alfredo Olivero

Proceedings of the 24th International Conference on Software Engineering, 2002