Fernando Schapachnik

27 papers A* 1B 2C 8Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Generative AI and the transformation of Work in Latin America - Brazil.
CoRR
Carmen Bonfacio, Fernando Schapachnik, Fábio Porto
2024 J jnl
GENis: Open Source Forensic Genetics Software for Judicial Cooperation.
Commun. ACM
Gustavo Sibilla, Fernando Schapachnik, Maria Soledad Escobar
2024 J jnl
Keys to a Comprehensive Computer Science at School Policy in Argentina.
Commun. ACM
Mara Borchardt, Inés Roggi, Fernando Schapachnik
2021 B conf
On the Specification and Monitoring of Timed Normative Systems.
RV
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
2020 — conf
A teacher training program in argentina analysed by profiles.
WiPSCE
Daniela Cura, Hernán Czemerinski, Verónica Alelí Marino, Martín Guillermo Scasso, Fernando Schapachnik
2020 J jnl
What's the worth of having a single CS teacher program aimed at teachers with heterogeneous profiles?
CoRR
Hernán Czemerinski, Martín Guillermo Scasso, Fernando Schapachnik
2018 J jnl
A Tool for Introducing Computer Science with Automatic Formative Assessment.
IEEE Trans. Learn. Technol.
Luciana Benotti, María Cecilia Martínez, Fernando Schapachnik
2018 C conf
On Observing Contracts: Deontic Contracts Meet Smart Contracts.
JURIX
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik
2017 C conf
Performance improvement on legal model checking.
ICAIL
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
2016 J jnl
Contract automata - An operational view of contracts between interactive parties.
Artif. Intell. Law
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
2015 C conf
Conditional Permissions in Contracts.
JURIX
Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
2014 C conf
Contract Automata with Reparations.
JURIX
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik
2014 B conf
Engaging high school students using chatbots.
ITiCSE
Luciana Benotti, María Cecilia Martínez, Fernando Schapachnik
2013 — ch.
Computational Models for Normative Multi-Agent Systems.
Normative Multi-Agent Systems
Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, Fernando Schapachnik
2013 C conf
Synthesising implicit contracts.
ICAIL
Gordon J. Pace, Fernando Schapachnik
2012 — conf
Contracts for Interacting Two-Party Systems
FLACOS
Gordon J. Pace, Fernando Schapachnik
2012 C conf
Types of Rights in Two-Party Systems: A Formal Analysis.
JURIX
Gordon J. Pace, Fernando Schapachnik
2011 — conf
A Software Tool for Legal Drafting
FLACOS
Daniel Gorín, Sergio Mera, Fernando Schapachnik
2011 C conf
Permissions in Contracts, a Logical Insight.
JURIX
Gordon J. Pace, Fernando Schapachnik
2010 C conf
Model Checking Legal Documents.
JURIX
Daniel Gorín, Sergio Mera, Fernando Schapachnik
2007 — conf
Hypervolume Approximation in Timed Automata Model Checking.
FORMATS
Víctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik
2006 — conf
A toolsuite for the verification of real-time systems in Eclipse.
ETX
Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Fernando Schapachnik, Alfredo Olivero
2006 J jnl
Dealing with practical limitations of distributed timed model checking for timed automata.
Formal Methods Syst. Des.
Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
2005 J jnl
Issues in distributed timed model checking.
Int. J. Softw. Tools Technol. Transf.
Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
2004 — conf
On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus.
PDMC
Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
2002 A* conf
An architecture-centric approach to the development of a distributed model-checker for timed automata.
ICSE
Fernando Schapachnik, Víctor A. Braberman, Alfredo Olivero
2002 — conf
ZEUS: A Distributed Timed Model-Checker Based on KRONOS.
PDMC@CONCUR
Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik