Schapachnik's publications at DC

Publications in 2014
1- Sebastián Sznur, Juan Martín Brun, María Belén Ruffa, Máximo Martínez, Fernando Schapachnik , "Análisis de consistencia de la legislación de defensa al consumidor mediante métodos formales" , III Congreso Iberoamericano de Investigadores y Docentes de Derecho e Informática - apr 2014

2- Luciana Benotti, María Cecilia Martínez, Fernando Schapachnik , "Engaging High School Students Using Chatbots" , 19 Annual Conference on Innovation and Technology in Computer Science Education - jun 2014 Engaging High School Students using Chatbots.pdf
 
Publications in 2013
1- Gordon Pace, Fernando Schapachnik , "Synthesising Implicit Contracts" , Technical Report , Faculta de Ciencias Exactas y Naturales, UBA - apr 2013 main.pdf
 
Publications in 2012
1- Esteban Pavese, Gervasio Pérez, Fernando Schapachnik , "Branching Data Structures for Real-Time Model Checking Not As Good As Thought" , 13th Argentine Symposium on Software Engineering - 2012 Branching Data Structures for Real-Time_pps_asse-2012.pdf


3- Gordon Pace, Fernando Schapachnik , "Contracts for Interacting Two-Party Systems" , Technical Report , FCEyN, Universidad de Buenos Aires - jun 2012 ps_flacos2012.pdf

4- Manuel Giménez, Sergio Mera, Fernando Schapachnik , "Detección automática de defectos normativos, una invitación a la colaboración" , I Congreso Iberoamericano de Investigadores y Docentes de Derecho e Informatica - 2012

5- Manuel Giménez, Gordon Pace, Fernando Schapachnik , "Permisos en los contratos, una mirada interna" , I Congreso Iberoamericano de Investigadores y Docentes de Derecho e Informatica - abril 2012

6- Gordon Pace, Fernando Schapachnik , "Types of Rights in Interacting Two-Party System: A Formal Analysis" , Technical Report , FCEyN, Universidad de Buenos Aires - feb 2012 ps_deon-2012.pdf
 
Publications in 2011
1- Daniel Gorín, Sergio Mera, Fernando Schapachnik , "A Software Tool for Legal Drafting" , 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2011) - septiembre 2011

2- Manuel Giménez, Sergio Mera, Fernando Schapachnik , "Detección automática de defectos normativos, una invitación a la colaboración" , 40 JAIIO - Simposio Argentino de Informática y Derecho - 2011 ms_sid-2011.pdf

3- Daniel Gorín, Sergio Mera, Fernando Schapachnik , "FormaLex - A Software Tool for Legal Drafting" , Technical Report , FCEyN, Universidad de Buenos Aires - apr 2011 gms_flacos-2011-tr.pdf

4- Gordon Pace, Fernando Schapachnik , "Permissions in Contracts, a Logical Insight" , The 24th International Conference on Legal Knowledge and Information Systems. University of Vienna, Austria - sep 2011 ps_jurix-2011.pdf
 
Publications in 2010
1- Daniel Gorín, Sergio Mera, Fernando Schapachnik , "FL, A Legal Drafting Language Based on Models" , Technical Report , FCEyN, Universidad de Buenos Aires - sep 2010 gms_jurix-2010-teo.pdf

2- Daniel Gorín, Sergio Mera, Fernando Schapachnik , "Model checking legal documents" , The 23rd International Conference on Legal Knowledge and Information Systems. University of Liverpool, UK - 2010 gms_jurix-2010.pdf

3- Daniel Gorín, Sergio Mera, Fernando Schapachnik , "Model Checking Legal Documents" , Technical Report , FCEyN, Universidad de Buenos Aires - sep 2010 gms_jurix-2010.pdf

4- Daniel Gorín, Sergio Mera, Fernando Schapachnik , "Verificación automática de documentos normativos, ¿ficción o realidad?" , 39 JAIIO - Simposio Argentino de Informática y Derecho - 2010 gms_sid-2010.pdf
 
Publications in 2009
1- Esteban Pavese, Gervasio Pérez, Fernando Schapachnik , "Branching Data Structures for Real-Time Model Checking Not As Good As Thought" , Technical Report , Departamento de Computación, Universidad de Buenos Aires - 2009 pps_formats-2010.pdf

2- Gervasio Pérez, Esteban Pavese, Fernando Schapachnik , "Branching Data Structures for Real-Time Model Checking Not as Good as Thought" , Technical Report , Departamento de Computación, FCEyN, Universidad de Buenos Aires - 2009 pps_2009.pdf

3- Fernando Schapachnik, Jiri Barnat , "Trace Preserving Load Balancing in Distributed Timed Automata Model Checking" , Technical Report , Departamento de Computación, Universidad de Buenos Aires - 2009 sb_pdmc-2010-color.pdf
 
Publications in 2007
1- Víctor Braberman, Jorge Lucángeli, Alfredo Olivero, Fernando Schapachnik , "Hypervolume Approximation in Timed Automata Model Checking" , 5th International Conference on Formal Modelling and Analysis of Timed Systems, Volume 4763, page 69--81 - oct 2007 blos_formats-2007.pdf

2- Esteban Pavese, Fernando Schapachnik , "Relaxed Clock Difference Diagrams for Timed Automata Model Checking" , Technical Report , Depto. de Computación, FCEyN, UBA - nov 2007 ps_vmcai-2008.pdf

3- Fernando Taboada, Fernando Schapachnik , "Towards a Hybrid Approach of the Zeus Model Checker" , Master thesis from Departamento de Computación, FCEyN, UBA - sep 2007 tesis_ftaboada.pdf
 
Publications in 2006
1- Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor Braberman, Diego Garbervetsky, Nicolas Kicillof, Alfredo Olivero, Fernando Schapachnik , "A Toolsuite for the Verification of RealTime Systems in Eclipse" , ETX 2006: OOPSLA workshop on eclipse Technology eXchange, page (in press) - 2006 cdf_etx-2006.pdf

2- Víctor Braberman, Alfredo Olivero, Fernando Schapachnik , "Dealing with Practical Limitations of Distributed Timed Model Checking for Timed Automata" , Formal Methods in System Design, Volume 29, Number 2, page 197--214 - sep 2006 bos_fmsd-2005.pdf

3- Víctor Braberman, Jorge Lucángeli, Alfredo Olivero, Fernando Schapachnik , "Hypervolume Approximation in Timed Automata Model Checking" , Technical Report 002, Depto. de Computación, FCEyN, UBA, Number 002 - aug 2006 blos_hvol.pdf

4- Víctor Braberman, Alfredo Olivero, Fernando Schapachnik , "Optimizing Timed Automata Model Checking via Clock Reordering" , 27th IEEE International Real-Time Systems Symposium, Work in Progress Session - nov 2006 bos_rtss-wip-2006.pdf

5- Esteban Pavese, Fernando Schapachnik, Alfredo Olivero , "Una nueva estructura de datos basada en BDDs para el model checking temporizado" , Master thesis from Departamento de Computación, FCEyN, UBA - 2006 tesis_pavese.ps presentacion.pdf
 
Publications in 2005
1- Víctor Braberman, Alfredo Olivero, Fernando Schapachnik , "Issues in Distributed Model-Checking of Timed Automata: building Zeus" , International Journal of Software Tools for Technology Transfer, Volume 7, Number 1, page 4--18 - feb 2005 bos_sttt-2003.pdf

2- Víctor Braberman, Alfredo Olivero, Fernando Schapachnik , "On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus." , Electr. Notes Theor. Comput. Sci., Volume 128(3) - MARZO 2005

 
Publications in 2004
1- Víctor Braberman, Alfredo Olivero, Fernando Schapachnik , "On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus" , PDMC: 3rd International Workshop on Parallel and Distributed Methods in verifiCation, Volume ENTCS, Number 128, page 13-18 - sep 2004 bos_pdmc-2004.ps.gz zeus_presentation_PDMC-2004.pdf.gz


3- Alejandra Alfonso, Víctor Braberman, Diego Garbervetsky, Nicolas Kicillof, Alfredo Olivero, Fernando Schapachnik , "VInTiMe: Combining High-Level Finesse with Low-Level Muscle to Verify Real-Time Systems" , PRISE 2004: First International Conference on Principles of Software Engineering - oct 2004 ABGKOS_PRISE2004.pdf
 
Publications in 2002
1- Víctor Braberman, Alfredo Olivero, Fernando Schapachnik , "An architecture-centric approach to the development of a distributed model-checker for timed automata" , ICSE 2002: 24th International Conference on Software Engineering, page 710--710 - may 2002 p710-schapachnik.pdf

2- Fernando Schapachnik , "Verificación distribuida y paralela de sistemas de tiempo real" , Master thesis from Departamento de Computación, Facultad de Ciencias Exactas y Naturales, UBA - may 2002 tesis_schapachnik.ps.gz

3- Víctor Braberman, Alfredo Olivero, Fernando Schapachnik , "ZEUS: A Distributed Timed Model-Checker Based on KRONOS" , PDMC: International Workshop on Parallel and Distributed Methods in verifiCation, Volume 68 (4) - aug 2002 bos_pdmc-2002.pdf
 
Publications in 1995
1- Víctor Braberman, Jorge Lucángeli, Alfredo Olivero, Fernando Schapachnik , "Hypervolume Approximation in Timed Automata Model Checking" , Technical Report 002, Depto. de Computación, FCEyN, UBA, Number 002 - agosto 1995