Workshop Participations and Publications

General Systems Development

q XVI Jornadas de Concurrencia y Sistemas Distribuidos. Albacete, Spain, June 2008. "Recent snapshots on simplification and sequentialization of distributed system models for their formal verification".

ü Participations:

q PROLE 2007: VII Jornadas sobre Programación y Lenguajes. Sitges, Spain, September 2007. "Interactive equivalence prover for distributed system formal sequentialization".

q PROLE 2006: VI Jornadas sobre Programación y Lenguajes. Sitges, Spain, October 2006. "Formal Sequentialization of Distributed Systems Via Model Rewriting".

q XIV Jornadas de Concurrencia. San Sebastián, Spain, June 2006. "Formal Elimination of Inner Communications Under the Scope of Selection Statements".

q ICFEM'05: Intl. Conf. Formal Engineering Methods. Manchester, England. Lecture Notes in Computer Science, Vol. 3785, Springer, Heidelberg, 2005. "A Static Communication Elimination Algorithm for Distributed System Verification".

q PROLE 2005: V Jornadas sobre Programación y Lenguajes. Granada, Spain, September 2005. "Progress Towards a Generalization of Distributed Program Simplification Proofs".

q XII Jornadas de Concurrencia. Ávila, Spain, June 2004. "Hierarchical Decomposition of Formal Equivalence Proofs of Distributed Systems".

q PROLE 2003. III Jornadas de Programación y Lenguajes, Alicante, Spain, Novembre 2003. "Mechanized Equivalence Proofs of Pipelined Processor Software Models"

q XI Jornadas de Concurrencia. Benicassim, Spain, June 2003. "A Mechanized Correctness Proof of a Pipelined Processor Architecture".

q VII Jornadas de Ingeniería de Software y Bases de Datos. El Escorial, Madrid, Spain, November 2002. "Integrating Formal Verification of Parallelization in the PADD/RALE Environment".

q PROLE 2002: II Jornadas sobre Programación y Lenguajes. El Escorial, Madrid, España, November 2002. "Notation, Laws and Reduction Algorithms for Communication Elimination Transformations of Distributed Programas".

q X Jornadas de Concurrencia: Jaca, España, Junio de 2002. "Tactics for the Interactive Elimination of Communication in Concurrent Programas".

q SAS'01: 8th. International Symposium on Static Analysis of Software. University La Sorbonne, 16-18 July. "Communication and Parallelism Introduction and Elimination in Imperative Programs".

q Invited Lecture at REACT group, Computer Science Department, Stanford University, May 2000: "Communication and Parallel Introduction and Elimination in Imperative Programs"

q AMAST'97: Fourth AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software (ARTS'97). Palma de Mallorca, May 21-23, 1997. Workshop organized by General Systems Development. Presentation of the following articles: "Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes" and "A Transformation of Monitor into Communication Synchronized Parallel Processes: A Systematic Refinement Step in Design".

q AMAST'96: Salt Lake City, Utah, U.S.A., March, 1996. Third AMAST Workshop on Real-Time Systems. "The Llull System (TLS). An Integration of Formalism and Simulation for Parallel-Distributed and Real-Time Software Synthesis and Development".

q FME'94: Barcelona, October, 1994. Workshop of the Formal Methods Europe (FME) Society. Sponsored by the Commission of the European Union. Co-organized by General Systems Development, and Escola d'Enginyeria La Salle (URL Ramon Llull University). Presentation of the LLULL Environment.

q CAMAD'94: Princeton, New Jersey, U.S.A., April, 1994. "Workshop on Computer Aided Modeling and Design of Communication, Links & Networks (CAMAD)". Member of the Technical Committee. "A Design Environment with Simulation and Formal Verification (SYR-PADDE)".

q ICASSP-93: Minneapolis, Minnesota, U.S.A., April, 1993. International Conference on Acoustics Speech and Signal Processing. IEEE Signal Processing Society. "An Environment for DSP System Development with Extended Abstract Types, and Dimensional Design (PADDE)".

q CIL'93: Barcelona, April, 1993. Convención Informática Latina. "PADDE: An Environment for Distributed System Development by Simulation Refinement with Extended Abstract Types".

q CAMAD'92: Montebello, Quebec, Canada. September-October, 1992. "Workshop on Computer Aided Modeling and Design of Communication, Links & Networks (CAMAD)". Institute of Electrical & Electronics Engineers (IEEE), Communications Society. Invited contribution on PADD and PADDE: "Integrated Simulation and Design of Communications Links & Networks in a PADD Environment".

q XVII Jornadas de Concurrencia y Sistemas Distribuidos. Sagunto, Spain, June 2009. "On deadlock analysis of system models via formal communication elimination".

q AMAST’97: Fourth AMAST Workshop on Real—Time Systems, Concurrent, and Distributed Software (ARTS’97). Palma de Mallorca, 21-23 May 1997.

ü Workshops organization:

q FME’94. Workshop of the Formal Methods Europe (FME) Society. Sponsored by European Union. Co-organized with Enginyeria La Salle (Universitat Ramon Llull). Barcelona, Spain, October 1994.

q IX Jornadas de Concurrencia. Sitges, Spain, June 2001. Workshop co-organized with Enginyeria La Salle (Universitat Ramon Llull).

q PROLE 2004, IV Jornadas sobre Programación y Lenguajes. Málaga, Spain, Novembre 2004.

ü Member of Program Committee:

q European Union SPRIT-MACS project Software Maintenance. 1993.

q PROLE 2008, VIII Jornadas sobre Programación y Lenguajes. Gijón, Spain, October 2008

q Artificial Intelligence and Philosophy Committee, ESPRIT-MACS. 1992.

q “Interactive equivalence prover for distributed system formal sequentialization”. Actas de las XII Jornadas sobre Programación y Lenguajes, PROLE 2007, within CEDI 2007. Zaragoza, Spain, September 2007.

ü Publications:

q “Formal sequentialization of distributed systems via programing rewriting”. Electronic Notes Theoretical Computer Sicence, Elsevier, The Netherlands, 2007.

q “Formal Sequentialization of distributed systems via model rewriting”. Actas de las VI Jornadas sobre Programación y Lenguajes, PROLE 2006, Sitges, Spain, October 2006.

q “Formal Elimination of Inner Communications Under the Scope of Selection Statements”. Actas de las XIV Jornadas de Concurrencia, san Sebastián, Spain, June 2006.

q “A Static communication Elimination Algorithm for Distributed System Verification”. Lecture Notes in computer Science, Vol. 3785, Springer, Heidelberg. ICFEM’05: Intl.Conference Formal Engineering Methods. Manchester, England, 2005.

q “An Input/Output Semantics for Distributed Program Equivalence Reasoning”. Electronic Notes Theoretical Computer Science, Vol. 137, The Netherlands, 2005.

q “Communication and Parallelism Introduction and Elimination in Imperative Programs”. Lecture Notes in Computer Science, Vol. 2126, Springer, Heidelberg. SAS’01: 8th. Intl. Symposium on Static Analysis of Software. University of La Sorbonne, france, July 2001.

q “A Transformation of Monitor into Communication Synchronized Parallel Processes: A Systematic Refinement Step in Design”. Lecture Notes in Computer Science, Vol. 1231. Transformation-Based Reactive Systems Development. Fourth Intl. AMAST Workshop on Real-Time Systems, concurrent and Distributed Software (ARTS’97), Palma de Mallorca, Spain. Proceedings. Edited by Springer-Verlag, Heidelberg, 1997.

q “Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes”. Lecture Notes in Computer Science, Vol. 1231. Transformation-Based Reactive Systems Development. Fourth Intl. AMAST Workshop on Real-Time Systems, concurrent and Distributed Software (ARTS’97), Palma de Mallorca, Spain. Proceedings. Edited by Springer-Verlag, Heidelberg, 1997.

q “The Llull System: A Formal Notation, Process Algebras, and Environment for Parallel-Distributed System Development”. INPUT, Barcelona, Spain, October 1994.

q “A Novel Algorithm for Packet Voice Synchronization”. IEEE Network Magazine, IEEE Communications Society, 1993.

q “On a Formal Definition and Application of Dimensional Design”. Software, Practice & Experience, Vol. 18, November 1988.

q “Recent snapshot on simplification and sequentialization of distributed system models for their formal verification”. Actas de las XIV Jornadas de Concurrencia y Sistemas Distribuidos. Albacete, Spain, June 2008. 2008.communication elimination".