Volume 157,
Number 1,
16 May 2006
Proceedings of the Third International Workshop on Software Verification and Validation (SVV 2005)
- Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang:
Preface.
1
Electronic Edition (link) BibTeX
- Benjamin Aziz:
A Semiring-based Quantitative Analysis of Mobile Systems.
3-21
Electronic Edition (link) BibTeX
- Donghuo Chen, Jinzhao Wu:
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic.
23-38
Electronic Edition (link) BibTeX
- Arend Rensink, Dino Distefano:
Abstract Graph Transformation.
39-59
Electronic Edition (link) BibTeX
- Daniela Castelluccia, Marina Mongiello, Michele Ruta, Rodolfo Totaro:
WAVer: A Model Checking-based Tool to Verify Web Application Design.
61-76
Electronic Edition (link) BibTeX
- Murray Stokely, Sagar Chaki, Joël Ouaknine:
Parallel Assignments in Software Model Checking.
77-94
Electronic Edition (link) BibTeX
- Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Yuan-Fang Li:
A Z Approach in Validating ORA-SS Data Models.
95-109
Electronic Edition (link) BibTeX
Volume 157,
Number 2,
22 May 2006
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005)
- María Alpuente, Santiago Escobar, Moreno Falaschi:
Preface.
1-2
Electronic Edition (link) BibTeX
- Shadi Abou-Zahra:
A Data Model to Facilitate the Automation of Web Accessibility Evaluations.
3-9
Electronic Edition (link) BibTeX
- Demis Ballis, Javier García-Vivó:
A Rule-based System for Web site Verification.
11-17
Electronic Edition (link) BibTeX
- Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero:
Verification of Web Services with Timed Automata.
19-34
Electronic Edition (link) BibTeX
- Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana:
Web Categorisation Using Distance-Based Decision Trees.
35-40
Electronic Edition (link) BibTeX
- Shriram Krishnamurthi:
Web Verification: Perspective and Challenges.
41-46
Electronic Edition (link) BibTeX
- Temur Kutsia:
Context Sequence Matching for XML.
47-65
Electronic Edition (link) BibTeX
- Luigi Liquori, Furio Honsell, Rekha Redamalla:
A Language for Verification and Manipulation of Web Documents: (Extended Abstract).
67-78
Electronic Edition (link) BibTeX
- Salvador Lucas:
Rewriting-Based Navigation of Web Sites: Looking for Models and Logics.
79-85
Electronic Edition (link) BibTeX
- Vicente Luque Centeno, Carlos Delgado Kloos, Jesús Arias-Fisteus, Luis Álvarez Álvarez:
Web Accessibility Evaluation Tools: A Survey and Some Improvements.
87-100
Electronic Edition (link) BibTeX
- Martin Karusseit, Tiziana Margaria:
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service.
101-118
Electronic Edition (link) BibTeX
- Frédéric Rioux, Patrice Chalin:
Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study.
119-132
Electronic Edition (link) BibTeX
- Claude Kirchner, Hélène Kirchner, Anderson Santana:
Anchoring Modularity in HTML.
133-146
Electronic Edition (link) BibTeX
- Bo Hu, Florian Lauck, Jan Scheffczyk:
How Recent is a Web Document?
147-166
Electronic Edition (link) BibTeX
- Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini:
Modeling Web Applications by the Multiple Levels of Integrity Policy.
167-185
Electronic Edition (link) BibTeX
- Josep Silva:
Slicing XML Documents.
187-192
Electronic Edition (link) BibTeX
- R. G. Stone:
Validating Scripted Web-Pages.
193-205
Electronic Edition (link) BibTeX
- Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc:
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
207-211
Electronic Edition (link) BibTeX
Volume 157,
Number 3,
25 May 2006
Proceedings of the First International Workshop on Security and Trust Management (STM 2005)
- Sjouke Mauw, Valérie Issarny, Cas J. F. Cremers:
Preface.
1-2
Electronic Edition (link) BibTeX
- Dieter Gollmann:
Why Trust is Bad for Security.
3-9
Electronic Edition (link) BibTeX
- Daniel Cvrcek, Petr Svenda:
Smart Dust Security - Key Infection Revisited.
11-25
Electronic Edition (link) BibTeX
- Simona Orzan, Erik P. de Vink:
Multiparty Contract Signing Over a Reliable Network.
27-41
Electronic Edition (link) BibTeX
- J. Todd McDonald, Alec Yasinsac:
Application Security Models for Mobile Agent Systems.
43-59
Electronic Edition (link) BibTeX
- Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi:
A Formalization of Credit and Responsibility Within the GNDC Schema.
61-78
Electronic Edition (link) BibTeX
- Katja Schmidt-Samoa:
A New Rabin-type Trapdoor Permutation Equivalent to Factoring.
79-94
Electronic Edition (link) BibTeX
- Elizabeth Gray, Christian Damsgaard Jensen, Paul O'Connell, Stefan Weber, Jean-Marc Seigneur, Yong Chen:
Trust Evolution Policies for Security in Collaborative Ad Hoc Applications.
95-111
Electronic Edition (link) BibTeX
- Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog:
Nonmonotonic Trust Management for P2P Applications.
113-130
Electronic Edition (link) BibTeX
- Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati, Marco Viviani:
A WOWA-based Aggregation Technique on Trust Values Connected to Metadata.
131-142
Electronic Edition (link) BibTeX
- Thomas B. Quillinan, Simon N. Foley:
Synchronisation in Trust Management Using Push Authorisation.
143-158
Electronic Edition (link) BibTeX
Volume 157,
Number 4,
28 May 2006
Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2005)
- Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge:
Preface.
1-2
Electronic Edition (link) BibTeX
- Laura Giordano, Alberto Martelli, Camilla Schwind:
Specialization of Interaction Protocols in a Temporal Action Logic.
3-22
Electronic Edition (link) BibTeX
- Jan Broersen, Andreas Herzig, Nicolas Troquard:
From Coalition Logic to STIT.
23-35
Electronic Edition (link) BibTeX
- Alexandru Baltag, Mehrnoosh Sadrzadeh:
The Algebra of Multi-Agent Dynamic Belief Revision.
37-56
Electronic Edition (link) BibTeX
- Gemma Bel Enguix, Maria Dolores Jiménez-López:
Computing Dialogues with Membranes.
57-73
Electronic Edition (link) BibTeX
- Mario Verdicchio, Marco Colombetti:
From Message Exchanges to Communicative Acts to Commitments.
75-94
Electronic Edition (link) BibTeX
- Matthias Nickles, Felix A. Fischer, Gerhard Weiß:
Communication Attitudes: A Formal Approach to Ostensible Intentions, and Individual and Group Opinions.
95-115
Electronic Edition (link) BibTeX
- Benoit Gaudou, Andreas Herzig, Dominique Longin:
A Logical Framework for Grounding-based Dialogue Analysis.
117-137
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:22 2009
by Michael Ley (ley@uni-trier.de)
