Fernando Schapachnik

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 9

Top Topics

Computer Science

Formative Assessment

Structured Sparse Learning

Top Venues

IEEE Trans. Learn. Technol.

Publications

Gustavo Sibilla, Fernando Schapachnik, Maria Soledad Escobar
GENis: Open Source Forensic Genetics Software for Judicial Cooperation. Commun. ACM 67 (8) (2024)
Mara Borchardt, Inés Roggi, Fernando Schapachnik
Keys to a Comprehensive Computer Science at School Policy in Argentina. Commun. ACM 67 (8) (2024)
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
On the Specification and Monitoring of Timed Normative Systems. RV (2021)
Daniela Cura, Hernán Czemerinski, Verónica Alelí Marino, Martín Guillermo Scasso, Fernando Schapachnik
A teacher training program in argentina analysed by profiles. WiPSCE (2020)
Hernán Czemerinski, Martín Guillermo Scasso, Fernando Schapachnik
What's the worth of having a single CS teacher program aimed at teachers with heterogeneous profiles? CoRR (2020)
Luciana Benotti, María Cecilia Martínez, Fernando Schapachnik
A Tool for Introducing Computer Science with Automatic Formative Assessment. IEEE Trans. Learn. Technol. 11 (2) (2018)
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik
On Observing Contracts: Deontic Contracts Meet Smart Contracts. JURIX (2018)
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
Performance improvement on legal model checking. ICAIL (2017)
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
Contract automata - An operational view of contracts between interactive parties. Artif. Intell. Law 24 (3) (2016)
Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
Conditional Permissions in Contracts. JURIX (2015)
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik
Contract Automata with Reparations. JURIX (2014)
Luciana Benotti, María Cecilia Martínez, Fernando Schapachnik
Engaging high school students using chatbots. ITiCSE (2014)
Gordon J. Pace, Fernando Schapachnik
Synthesising implicit contracts. ICAIL (2013)
Gordon J. Pace, Fernando Schapachnik
Types of Rights in Two-Party Systems: A Formal Analysis. JURIX (2012)
Gordon J. Pace, Fernando Schapachnik
Contracts for Interacting Two-Party Systems FLACOS (2012)
Gordon J. Pace, Fernando Schapachnik
Permissions in Contracts, a Logical Insight. JURIX (2011)
Daniel Gorín, Sergio Mera, Fernando Schapachnik
A Software Tool for Legal Drafting FLACOS (2011)
Daniel Gorín, Sergio Mera, Fernando Schapachnik
Model Checking Legal Documents. JURIX (2010)
Víctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik
Hypervolume Approximation in Timed Automata Model Checking. FORMATS (2007)
Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Fernando Schapachnik, Alfredo Olivero
A toolsuite for the verification of real-time systems in Eclipse. ETX (2006)
Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
Dealing with practical limitations of distributed timed model checking for timed automata. Formal Methods Syst. Des. 29 (2) (2006)
Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
Issues in distributed timed model checking. Int. J. Softw. Tools Technol. Transf. 7 (1) (2005)
Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus. Electron. Notes Theor. Comput. Sci. 128 (3) (2005)
Fernando Schapachnik, Víctor A. Braberman, Alfredo Olivero
An architecture-centric approach to the development of a distributed model-checker for timed automata. ICSE (2002)
Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
ZEUS: A Distributed Timed Model-Checker Based on KRONOS. Electron. Notes Theor. Comput. Sci. 68 (4) (2002)