Electronic Notes in Theoretical Computer Science, Volume 65

Volume 65, Number 1, 2002

• Lawrence S. Moss:
  Preface.
  
• Jirí Adámek, Stefan Milius, Jiri Velebil:
  Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors.
  
• Falk Bartels:
  GSOS for Probabilistic Transition Systems.
  
• Corina Cîrstea:
  Institutionalizing Coalgebraic Modal Logic.
  
• Neil Ghani, Christoph Lüth, Federico De Marchi:
  Coalgebraic Monads.
  
• Jesse Hughes:
  Some Co-Birkhoff Type Theorems.
  
• Bart Jacobs:
  Comprehension for Coalgebras.
  
• Alexander Kurz, Dirk Pattinson:
  Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic.
  
• Alexander Kurz, Jirí Rosický:
  Modal Predicates and Co-equations.
  
• Dragan Masulovic:
  Towards Coalgebraic Behaviourism.
  
• José Meseguer, Grigore Rosu:
  Towards Behavioral Maude: Behavioral Membership Equational Logic.
  
• Alessandra Palmigiano:
  Abstract Logics as Dialgebras.
  
• Jan Rothe:
  A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras.
  
• Jan J. M. M. Rutten:
  Coinductive Counting: Bisimulation in Enumerative Combinatorics.
  
• Luigi Santocanale:
  From Parity Games to Circular Proofs.
  
• Hendrik Tews:
  Greatest Bisimulations for Binary Methods.
  
• Hiroshi Watanabe:
  Well-behaved Translations between Structural Operational Semantics.
  
• James Worrell:
  A Note on Coalgebras and Presheaves.
  

Volume 65, Number 2, 2002

• Jens Knoop, Wolf Zimmermann:
  Preface.
  
• Gerhard Goos:
  Compiler Verification and Compiler Architecture.
  
• Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg:
  VOC: A Translation Validator for Optimizing Compilers.
  
• Sabine Glesner, Rubino Geiß, Boris Boesler:
  Verified Code Generation for Embedded Systems.
  
• Carl Christian Frederiksen:
  Correctness of Classical Compiler Optimizations using CTL.
  
• Thi Viet Nga Nguyen, François Irigoin:
  Alias verification for Fortran code optimization.
  
• K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens:
  Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations.
  
• Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa:
  Debugging and Testing Optimizers through Comparison Checking.
  
• Wolfgang Goerigk:
  Towards Acceptability of Optimizations: An Extended View of Compiler Correctness.
  

Volume 65, Number 3, 2002

• Mark van den Brand, Ralf Lämmel:
  Foreword.
  
• Charles Consel:
  Domain-Specific Languages: What, Why, How.
  
• Peter D. Mosses:
  Action Semantics and ASF+SDF: System Demonstration.
  
• John Boyland:
  Incremental Evaluators for Remote Attribute Grammars.
  
• Katsuhiko Gondow, Hayato Kawashima:
  Towards ANSI C Program Slicing using XML.
  
• Mark van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen:
  The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration.
  
• Eelco Dolstra, Eelco Visser:
  Building Interpreters with Rewriting Strategies.
  
• Pedro Rangel Henriques, Maria João Varanda Pereira, Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer:
  Automatic Generation of Language-based Tools.
  
• Didier Parigot, Carine Courbis, Pascal Degenne, Alexandre Fau, Claude Pasquier, Joël Fillon, Christophe Held, Isabelle Attali:
  Aspect and XML-oriented Semantic Framework Generator: SmartTools.
  
• Jan Kort, Ralf Lämmel, Chris Verhoef:
  The Grammar Deployment Kit - System Demonstration.
  
• Jean-Michel Hufflen:
  Lessons from a Bibliography Program's Reimplementation.
  
• Uwe Kastens, Carsten Schmidt:
  VL-Eli: A Generator for Visual Languages - System Demonstration.
  

Volume 65, Number 4, 2002

• Elke Pulvermüller, Isabelle Borne, Noury Bouraqadi, Pierre Cointe, Uwe Aßmann:
  Preface.
  
• Jiang Guo:
  Interoperability Technology Assessment.
  
• Thaís Vasconcelos Batista, Milano Gadelha Carvalho:
  Component-Based Applications: A Dynamic Reconfiguration Approach with Fault Tolerance Support.
  
• Humberto Cervantes, Jean-Marie Favre, Frédéric Duclos:
  Describing Hierarchical Compositions of Java Beans with the Beanome Language.
  
• Christoph Pohl, Alexander Schill:
  Middleware Support for Transparent Client-Side Caching.
  
• Claus Pahl, David Ward:
  Towards a Component Composition and Interaction Architecture for the Web.
  
• Judith Bishop, Karen Renaud, Basil Worrall:
  Composition of Distributed Software with Algon - Concepts and Possibilities.
  
• Wim Vanderperren, Bart Wydaeghe:
  Separating concerns in a high-level component-based context.
  
• Stavros Tripakis:
  Automated Composition of Module Chains.
  
• Klaus-Peter Löhr:
  Towards Automatic Mediation between Heterogeneous Software Components.
  
• Welf Löwe, Markus L. Noga:
  Metaprogramming Applied to Web Component Deployment.
  
• Lyrene Fernandes da Silva, Virginia C. Carneiro de Paula:
  Comparative Analysis of Architectural Views Based on UML.
  
• Valérie Monfort, Hubert Kadima:
  Extending The Unified Process With Composition.
  
• Elke Pulvermüller:
  Composition and Correctness.
  

Volume 65, Number 5, 2002

• Florence Maraninchi, Alain Girault, Éric Rutten:
  Preface.
  
• Arcot Sowmya, David Tsz-Wang So, Wan Hung Tang:
  Design of a Mobile Robot Controller Using Esterel Tools.
  
• David Garriou:
  Symbolic Simulation of Synchronous Programs.
  
• Lionel Morel:
  Efficient Compilation of Array Iterators for Lustre.
  
• Pascal Raymond, Yvan Roux:
  Describing Non-Deterministic Reactive Systems by Means of Regular Expressions.
  
• Michael Baldamus, Thomas Stauner:
  Modifying Esterel Concepts to Model Hybrid Systems.
  
• Vinod Ganapathy, S. Ramesh:
  Slicing Synchronous Reactive Programs.
  
• Jean-Louis Colaço, Marc Pouzet:
  Type-Based Initialisation Analysis of a Synchronous Data-Flow Language.
  
• Stephen Edwards:
  ESUIF: An Open Esterel Compiler.
  
• Etienne Closse, Michel Poize, Jacques Pulou, Patrick Venier, Daniel Weil:
  SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure.
  
• Gerald Lüttgen, Michael Mendler:
  Towards a Model-Theory for Esterel.
  
• Paritosh K. Pandya:
  The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs.
  
• Ramesh Bharadwaj:
  SOL: A Verifiable Synchronous Language for Reactive Systems.
  
• Mirabelle Nebut, Sophie Pinchinat:
  A Decidable Clock Language for Synchronous Specifications.
  

Volume 65, Number 6, 2002

• Eugene Asarin, Oded Maler, Sergio Yovine:
  Preface.
  
• Giorgio C. Buttazzo, Avi Efrati, John N. Hooker, Claude Le Pape, Joseph Sifakis:
  Abstracts of Invited Talks.
  
• Hanifa Boucheneb, Gérard Berthelot:
  Contraction of the ITCPN State Space.
  
• Marc Boyer:
  Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency).
  
• Marius Bozga, Hou Jianmin, Oded Maler, Sergio Yovine:
  Verification of Asynchronous Circuits using Timed Automata.
  
• Víctor A. Braberman, Carlos López Pombo, Alfredo Olivero:
  On Improving Backwards Verification of Timed Automata.
  
• Jérôme Ermont, Frédéric Boniol:
  TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared Resources.
  
• Nawel Gharbi, Malika Ioualalen:
  Performance Analysis of Retrial Queueing Systems Using Generalized Stochastic Petri Nets.
  
• Dimitar P. Guelev, Dang Van Hung:
  Prefix and Projection onto State in Duration Calculus.
  
• Martijn Hendriks, Kim Guldstrand Larsen:
  Exact Acceleration of Real-Time Model Checking.
  
• Pao-Ann Hsiung, Chuen-Hau Gao:
  Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets.
  
• Philipp Lucas:
  Timed Semantics of Message Sequence Charts Based on Timed Automata.
  
• Eric Mercer, Chris J. Myers, Tomohiro Yoneda:
  Modular Synthesis of Timed Circuits using Partial Order Reduction.
  
• M. Oliver Möller:
  Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking.
  
• M. Oliver Möller, Harald Rueß, Maria Sorea:
  Predicate Abstraction for Dense Real-Time System.
  
• Arnaldo V. Moura, Guilherme A. Pinto:
  Classes of Timed Automata and the Undecidability of Universality.
  
• Paritosh K. Pandya:
  Interval Duration Logic: Expressiveness and Decidability.
  

Volume 65, Number 7, 2002

• Benoît Caillaud, Anca Muscholl:
  Preface.
  
• Purandar Bhaduri, R. Venkatesh, Girish Keshav Palshikar:
  Formal Techniques for Analysing Scenarios using Message Sequence Charts.
  
• Manfred Broy:
  Message Sequence Charts in the Development Process - Role and Limitations.
  
• Ingolf Krüger:
  Specifying Services with UML and UML-RT.
  
• Doron Peled:
  Specification and Verification using Message Sequence Charts.
  
• Sebastián Uchitel, Jeff Kramer, Jeff Magee:
  Implied Scenario Detection in the Presence of Behaviour Constraints.
  
• Tong Zheng, Ferhat Khendek, Loïc Hélouët:
  A Semantics for Timed MSC.
  0-