Fernando Schapachnik

According to our database1, Fernando Schapachnik authored at least 26 papers between 2002 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
GENis: Open Source Forensic Genetics Software for Judicial Cooperation.
Commun. ACM, August, 2024

Keys to a Comprehensive Computer Science at School Policy in Argentina.
Commun. ACM, August, 2024

2021
On the Specification and Monitoring of Timed Normative Systems.
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?
CoRR, 2020

A teacher training program in argentina analysed by profiles.
Proceedings of the WiPSCE '20: Workshop in Primary and Secondary Computing Education, 2020

2018
A Tool for Introducing Computer Science with Automatic Formative Assessment.
IEEE Trans. Learn. Technol., 2018

On Observing Contracts: Deontic Contracts Meet Smart Contracts.
Proceedings of the Legal Knowledge and Information Systems, 2018

2017
Performance improvement on legal model checking.
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.
Artif. Intell. Law, 2016

2015
Conditional Permissions in Contracts.
Proceedings of the Legal Knowledge and Information Systems, 2015

2014
Contract Automata with Reparations.
Proceedings of the Legal Knowledge and Information Systems, 2014

Engaging high school students using chatbots.
Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

2013
Synthesising implicit contracts.
Proceedings of the International Conference on Artificial Intelligence and Law, 2013

Computational Models for Normative Multi-Agent Systems.
Proceedings of the Normative Multi-Agent Systems, 2013

2012
Contracts for Interacting Two-Party Systems
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.
Proceedings of the Legal Knowledge and Information Systems, 2012

2011
A Software Tool for Legal Drafting
Proceedings of the Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2011

Permissions in Contracts, a Logical Insight.
Proceedings of the Legal Knowledge and Information Systems, 2011

2010
Model Checking Legal Documents.
Proceedings of the Legal Knowledge and Information Systems, 2010

2007
Hypervolume Approximation in Timed Automata Model Checking.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006
Dealing with practical limitations of distributed timed model checking for timed automata.
Formal Methods Syst. Des., 2006

A toolsuite for the verification of real-time systems in Eclipse.
Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, 2006

2005
Issues in distributed timed model checking.
Int. J. Softw. Tools Technol. Transf., 2005

2004
On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus.
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

2002
ZEUS: A Distributed Timed Model-Checker Based on KRONOS.
Proceedings of the Parallel and Distributed Model Checking, 2002

An architecture-centric approach to the development of a distributed model-checker for timed automata.
Proceedings of the 24th International Conference on Software Engineering, 2002


  Loading...