Volume 200,
Number 1,
February 2008
Proceedings of the Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS 2007)
- Alain Girault, Robert de Simone:
Preface.
1-2
Electronic Edition (link) BibTeX
- Daniel Gebhardt, Kenneth S. Stevens:
Elastic Flow in an Application Specific Network-on-Chip.
3-15
Electronic Edition (link) BibTeX
- JunBok You, Yang Xu, Hosuk Han, Kenneth S. Stevens:
Performance Evaluation of Elastic GALS Interfaces and Network Fabric.
17-32
Electronic Edition (link) BibTeX
- Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla:
Dataflow Architectures for GALS.
33-50
Electronic Edition (link) BibTeX
- Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic:
Separate Compilation of Polychronous Specifications.
51-70
Electronic Edition (link) BibTeX
- Julien Boucaron, Jean-Vivien Millo:
Compositionality of Statically Scheduled IP.
71-87
Electronic Edition (link) BibTeX
Volume 200,
Number 2,
February 2008
Proceedings of the First Workshop on Verification of Adaptive Systems (VerAS 2007)
Volume 200,
Number 3,
May 2008
Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV 2007)
- Demis Ballis, Santiago Escobar, Massimo Marchiori:
Preface.
1-2
Electronic Edition (link) BibTeX
- Joost Visser:
Coupled Transformation of Schemas, Documents, Queries, and Constraints.
3-23
Electronic Edition (link) BibTeX
- Musab AlTurki, José Meseguer:
Reduction Semantics and Formal Analysis of Orc Programs.
25-41
Electronic Edition (link) BibTeX
- Faisal Abouzaid, John Mullins:
A Calculus for Generation, Verification and Refinement of BPEL Specifications.
43-65
Electronic Edition (link) BibTeX
- Jesús Manuel Almendros-Jiménez:
An RDF Query Language based on Logic Programming.
67-85
Electronic Edition (link) BibTeX
- María-José Hidalgo, José-Antonio Alonso, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina:
Constructing Formally Verified Reasoners for the ACC Description Logic.
87-102
Electronic Edition (link) BibTeX
- Sonia Flores, Salvador Lucas, Alicia Villanueva:
Formal Verification of Websites.
103-118
Electronic Edition (link) BibTeX
- Robin Message, Alan Mycroft:
Controlling Control Flow in Web Applications.
119-131
Electronic Edition (link) BibTeX
- Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Service Discovery and Negotiation With COWS.
133-154
Electronic Edition (link) BibTeX
- Nawal Guermouche, Olivier Perrin, Christophe Ringeissen:
Timed Specification For Web Services Compatibility Analysis.
155-170
Electronic Edition (link) BibTeX
- Peter Höfner, Florian Lautenbacher:
Algebraic Structure of Web Services.
171-187
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:27 2009
by Michael Ley (ley@uni-trier.de)
