close
1.

図書

図書
Mogens Nielsen, Uffe Engberg (eds.)
出版情報: Berlin : Springer, c2002  xiii, 433 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2303
所蔵情報: loading…
2.

図書

図書
Joost-Pieter Katoen, Perdita Stevens (eds.)
出版情報: Berlin : Springer, c2002  xiii, 482 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2280
所蔵情報: loading…
3.

図書

図書
Daniel Le Métayer (ed.)
出版情報: Berlin : Springer, c2002  xii, 329 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2305
所蔵情報: loading…
4.

図書

図書
R. Nigel Horspool (ed.)
出版情報: Berlin : Springer, c2002  xi, 341 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2304
所蔵情報: loading…
目次情報: 続きを見る
Tool Demonstrations
LISA: An Interactive Environment for Programming Language Development / Marjan Mernik ; Mitja Lenič ; Enis AvdičauÜević ; Viljem Äumer
Building an Interpreter with Vmgen / M. Anton Ertl ; David Gregg
Compiler Construction Using LOTOS NT / Hubert Garavel ; Frédéric Lang ; Radu Mateescu
Analysis and Optimization
Data Compression Transformations for Dynamically Allocated Data Structures / Youtao Zhang ; Rajiv Gupta
Evaluating a Demand Driven Technique for Call Graph Construction / Gagan Agrawal ; Jinqian Li ; Qi Su
A Graph-Free Approach to Data-Flow Analysis / Markus Mohnen
A Representation for Bit Section Based Analysis and Optimization / Eduard Mehofer
Low-Level Analysis
Online Subpath Profiling / David Oren ; Yossi Matias ; Mooly Sagiv
Precise Exception Semantics in Dynamic Compilation / Michael Gschwind ; Erik Altman
Decompiling Java Bytecode: Problems, Traps and Pitfalls / Jerome Miecznikowski ; Laurie Hendren
Grammars and Parsing
Forwarding in Attribute Grammars for Modular Language Design / Eric Van Wyk ; Oege de Moor ; Kevin Backhouse ; Paul Kwiatkowski
Disambiguation Filters for Scannerless Generalized LR Parsers / Mark G. J. van den Brand ; Jeroen Scheerder ; Jurgen J. Vinju ; Eelco Visser
Invited Talk
Modular Static Program Analysis / Patrick Cousot ; Radhia Cousot
Domain-Specific Languages and Tools
StreamIt: A Language for Streaming Applications / William Thies ; Michal Karczmarek ; Saman Amarasinghe
Compiling Mercury to High-Level C Code / Fergus Henderson ; Zoltan Somogyi
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs / George C. Necula ; Scott McPeak ; Shree P. Rahul ; Westley Weimer
Energy Consumption Optimizations
Linear Scan Register Allocation in the Context of SSA Form and Register Constraints / Hanspeter Mössenböck ; Michael Pfeiffer
Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation / Andrea G. M. Cilio ; Henk Corporaal
Optimizing Static Power Dissipation by Functional Units in Superscalar Processors / Siddharth Rele ; Santosh Pande ; Soner Onder
Influence of Loop Optimizations on Energy Consumption of Multi-bank Memory Systems / Mahmut Kandemir ; Ibrahim Kolcu ; Ismail Kadayif
Loop and Array Optimizations
Effective Enhancement of Loop Versioning in Java / Vitaly V. Mikheev ; Stanislav A. Fedoseev ; Vladimir V. Sukharev ; Nikita V. Lipsky
Value-Profile Guided Stride Prefetching for Irregular Code / Youfeng Wu ; Mauricio Serrano ; Rakesh Krishnaiyer ; Wei Li ; Jesse Fang
A Comprehensive Approach to Array Bounds Check Elimination for Java / Feng Qian ; Clark Verbrugge
Author Index
Tool Demonstrations
LISA: An Interactive Environment for Programming Language Development / Marjan Mernik ; Mitja Lenič ; Enis AvdičauÜević ; Viljem Äumer
Building an Interpreter with Vmgen / M. Anton Ertl ; David Gregg
5.

図書

図書
Ralf-Detlef Kutsche, Herbert Weber (eds.)
出版情報: Berlin : Springer, c2002  xiii, 339 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2306
所蔵情報: loading…
目次情報: 続きを見る
Formal Frameworks
An Approach to Composition Motivated by wp / Michel Charpentier
Compositional Verification of Secure Applet Interactions / Gilles Barthe ; Dilian Gurov ; Marieke Huisman
A Generic Component Framework for System Modeling / Hartmut Ehrig ; Fernando Orejas ; Benjamin Braatz ; Markus Klein ; Martti Piirainen
Model and Program Analysis
Implementing Condition/Event Nets in the Circal Process Algebra / Antonio Cerone
Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs / Fei Xie ; James C. Browne
Model Generation by Moderated Regular Extrapolation / Andreas Hagerer ; Hardi Hungar ; Oliver Niese ; Bernhard Steffen
Better Slicing of Programs with Jumps and Switches / Sumit Kumar ; Susan Horwitz
Architecture Descriptions
Architectural Types Revisited: Extensible And/Or Connections / Marco Bernardo ; Francesco Franzè
Mapping an ADL to a Component-Based Application Development Environment / VirgÆinia C.C. de Paula ; Thais V. Batista
From EDOC to CCM Components: A Precise Mapping Specification / Mariano Belaunde ; Mikael Peltier
Meta-Models
Engineering Modelling Languages: A Precise Meta-Modelling Approach / Tony Clark ; Andy Evans ; Stuart Kent
A Toolbox for Automating Visual Software Engineering / Juan de Lara ; Hans Vangheluwe ; Luciano Baresi ; Mauro Pezzè
Formal Approaches towards UML
Enriching OCL Using Observational Mu-Calculus / Julian Bradfield ; Juliana Küster Filipe ; Perdita Stevens
Formal Verification of UML Statecharts with Real-Time Extensions / Alexandre David ; M. Oliver Möller ; Wang Yi
Requirements Engineering
An Authoring Tool for Informal and Formal Requirements Specifications / Reiner Hähnle ; Kristofer Johannisson ; Aarne Ranta
Introducing Context-Based Constraints / Felix Bübl
Formal Requirements Engineering Using Observer Models / Andreas Nonnengart ; Georg Rock ; Werner Stephan
Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach / Oscar López ; Miguel A. Laguna ; Francisco J. García
Meta-modeling Techniques Meet Web Application Design Tools / Franca Garzotto ; Luca Mainetti ; Paolo Paolini
Formal-Driven Conceptualization and Prototyping of Hypermedia Applications / Antonio Navarro ; Baltasar Fernandez-Manjon ; Alfredo Fernandez-Valmayor ; Jose Luis Sierra
Tool Demonstrations
The Coordination Development Environment / João Gouveia ; Georgios Koutsoukos ; Michel Wermelinger ; Luís Andrade ; José Luiz Fiadeiro
The Key System: Integrating Object-Oriented Design and Formal Methods / Wolfgang Ahrendt ; Thomas Baar ; Bernhard Beckert ; Martin Giese ; Elmar Habermalz ; Wolfram Menzel ; Wojciech Mostowski ; Peter H. Schmitt
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs / Vladimir Levin
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems / Tiziana Margaria ; Oliver Niese,Bernhard Steffen ; Hans-Dieter Ide
Author Index
Formal Frameworks
An Approach to Composition Motivated by wp / Michel Charpentier
Compositional Verification of Secure Applet Interactions / Gilles Barthe ; Dilian Gurov ; Marieke Huisman
6.

図書

図書
David Sands (ed.)
出版情報: Berlin : Springer, c2001  xiii, 431 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2028
所蔵情報: loading…
目次情報: 続きを見る
A Query Language Based on the Ambient Logic / Luca Cardelli ; Giorgio Ghelli
Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis / John C. Mitchell
A Systematic Approach to Static Access Control / François Pottier ; Christian Skalka ; Scott Smith
Secure Information Flow and CPS / Steve Zdancewic ; Andrew C. Myers
Enforcing Safety Properties Using Type Specialization / Peter Thiemann
Semantics and Program Analysis of Computationally Secure Information Flow / Peeter Laud
Encoding Intensional Type Analysis / Stephanie Weirich
Fusion on Languages / Roland Backhouse
Programming the Web with High-Level Programming Languages / Paul Graunke ; Shriram Krishnamurthi ; Steve Van Der Hoeven ; Matthias Felleisen
On the Completeness of Model Checking / Francesco Ranzato
Modal Transition Systems: A Foundation for Three-Valued Program Analysis / Michael Huth ; Radha Jagadeesan ; David Schmidt
Entailment with Conditional Equality Constraints / Zhendong Su ; Alexander Aiken
On the Complexity of Constant Propagation / Markus Müller-Olm ; Oliver Rüthing
What Are Polymorphically-Typed Ambients? / Torben Amtoft ; Assaf J. Kfoury ; Santiago M. Pericas-Geertsen
JOIN(X): Constraint-Based Type Inference for the Join-Calculus / Sylvain Conchon ; Francois Pottier
Modular Causality in a Synchronous Stream Language / Pascal Cuoq ; Marc Pouzet
Control-Flow Analysis in Cubic Time / Flemming Nielson ; Helmut Seidl
The Recursive Record Semantics of Objects Revisited / Gérard Boudol
A Formalisation of JavaÆs Exception Mechanism / Bart Jacobs
A Formal Executable Semantics of the JavaCard Platform / Gilles Barthe ; Guillaume Dufay ; Line Jakubiec ; Bernard Serpette ; Simão Melo de Sousa
Modeling an Algebraic Stepper / John Clements ; Matthew Flatt
Typestate Checking of Machine Code / Zhichen Xu ; Thomas Reps ; Barton P. Miller
Proof-Directed De-compilation of Low-Level Code / Shin-ya Katsumata ; Atsushi Ohori
Backwards Abstract Interpretation of Probabilistic Programs / David Monniaux
Tool Demonstration: Finding Duplicated Code Using Program Dependences / Raghavan Komondoor ; Susan Horwitz
Compiling Problem Specifications into SAT / Marco Cadoli ; Andrea Schaerf
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling / Annalisa Bossi ; Sandro Etalle ; Sabina Rossi ; Jan-Georg Smaus
The Def-inite Approach to Dependency Analysis / Samir Genaim ; Michael Codish
Author Index
A Query Language Based on the Ambient Logic / Luca Cardelli ; Giorgio Ghelli
Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis / John C. Mitchell
A Systematic Approach to Static Access Control / François Pottier ; Christian Skalka ; Scott Smith
7.

図書

図書
Heinrich Hussmann (ed.)
出版情報: Berlin : Springer, c2001  xiii, 347 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2029
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Physical Programming: Beyond Mere Logic (Invited Talk) / Bran Selic
Metamodelling
Metamodelling and Conformance Checking with PVS / Richard F. Paige ; Jonathan S. Ostroff
The Metamodelling Language Calculus: Foundation Semantics for UML / Tony Clark ; Andy Evans ; Stuart Kent
Distributed Components
Compositional Checking of Communication among Observers / Ralf Pinger ; Hans-Dieter Ehrich
Combining Independent Specifications / Joy N. Reed ; Jane E. Sinclair
Proving Deadlock Freedom in Component-Based Programming / Paola Inverardi ; Sebastian Uchitel
UML
A Real-Time Execution Semantics for UML Activity Diagrams / Rik Eshuis ; Roel Wieringa
A CSP View on UML-RT Structure Diagrams / Clemens Fischer ; Ernst-Rüdiger Olderog ; Heike Wehrheim
Strengthening UML Collaboration Diagrams by State Transformations / Reiko Heckel ; Stefan Sauer
Specification of Mixed Systems in Korrigan with the Support of a UML-Inspired Graphical Notation / Christine Choppy ; Pascal Poizat ; Jean-Claude Royer
On Use Cases and Their Relationships in the Unified Modelling-Language / Perdita Stevens
On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design / Francis Bordeleau ; Jean-Pierre Corriveau
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach / Gianna Reggio ; Maura Cerioli ; Egidio Astesiano
Towards Development of Secure Systems Using UMLsec / Jan Jürjens
Testing
Grammar Testing / Ralf Lämmel
Debugging via Run-Time Type Checking / Alexey Loginov ; Suan Hsi Yong ; Susan Horwitz ; Thomas Reps
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases / Oliver Niese ; Bernhard Steffen ; Tiziana Margaria ; Andreas Hagerer ; Georg Brune ; Hans-Dieter Ide
Demonstration of an Automated Integrated Testing Environment for CTI Systems / Markus Nagelmann ; Klaus Kolodziejczyk-Strunck ; Werner Goerigk ; Andrei Erochok ; Bernhard Hammelmann
Formal Methods
Semantics of Architectural Specifications in CASL / Lutz Schröder ; Till Mossakowski ; Andrzej Tarlecki ; Bartek Klin ; Piotr Hoffman
Extending Development Graphs with Hiding / Serge Autexier ; Dieter Hutter
A Logic for the Java Modeling Language JML / Bart Jacobs ; Erik Poll
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models / Bernhard Reus ; Martin Wirsing ; Rolf Hennicker
Case Studies
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification / Natasha Sharygina ; James C. Browne ; Robert P. Kurshan
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude / Peter C. Ölveczky ; Mark Keaton ; Jose Meseguer ; Carolyn Talcott ; Steve Zabele
Author Index
Invited Paper
Physical Programming: Beyond Mere Logic (Invited Talk) / Bran Selic
Metamodelling
8.

図書

図書
Reinhard Wilhelm (ed.)
出版情報: Berlin : Springer, c2001  xi, 370 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2027
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Virtual Classes and Their Implementation / Ole Lehrman Madsen
Program Analysis
Alias Analysis by Means of a Model Checker / Vincenzo Martena ; Pierluigi San Pietro
Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries / Atanas Rountev ; Barbara G. Ryder
A Novel Probabilistic Data Flow Framework / Eduard Mehofer ; Bernhard Scholz
Program Transformation
Imperative Program Transformation by Rewriting / David Lacey ; Oege de Moor
Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications / Björn Franke ; Michael O'Boyle
User-Extensible Simplification-Type-Based Optimizer Generators / Sibylle Schupp ; Douglas Gregor ; David Musser ; Shin-Ming Liu
A Practical, Robust Method for Generating Variable Range Tables / Caroline Tice ; Susan L. Graham
Efficient Symbolic Analysis for Optimizing Compilers / Robert A. van Engelen
Interprocedural Shape Analysis for Recursive Programs / Noam Rinetzky ; Mooly Sagiv
Design-Driven Compilation / Radu Rugina ; Martin Rinard
Intraprocessor Parallelism
Software Pipelining of Nested Loops / Kalyan Muthukumar ; Gautam Doshi
A First Step Towards Time Optimal Software Pipelining of Loops with Control Flows / Han-Saem Yun ; Jihong Kim ; Soo-Mook Moon
Comparing Tail Duplication with Compensation Code in Single Path Global Instruction Scheduling / David Gregg
Register Saturation in Superscalar and VLIW Codes / Sid Ahmed Ali Touati
Parsing
Directly-Executable Earley Parsing / John Aycock ; Nigel Horspool
A Bounded Graph-Connect Construction for LR-regular Parsers / Jacques Farré ; José Fortes Gálvez
Memory Hierarchy
Array Unification: A Locality Optimization Technique / Mahmut Taylan Kandemir
Optimal Live Range Merge for Address Register Allocation in Embedded Programs / Guilherme Ottoni ; Sandro Rigo ; Guido Araujo ; Subramanian Rajagopalan ; Sharad Malik
Speculative Prefetching of Induction Pointers / Artour Stoutchinin ; José Nelson Amaral ; Guang R. Gao ; James C. Dehnert ; Suneel Jain ; Alban Douillet
Constant-Time Root Scanning for Deterministic Garbage Collection / Fridtjof Siebert
Profiling
Goal-Directed Value Profiling / Scott Watterson ; Saumya Debray
A Framework for Optimizing Java Using Attributes / Patrice Pominville ; Feng Qian ; Raja Vallée-Rai ; Laurie Hendren ; Clark Verbrugge
Demos
SmartTools: A Generator of Interactive Environments Tools / Isabelle Attali ; Carine Courbis ; Pascal Degenne ; Alexandre Fau ; Didier Parigot ; Claude Pasquier
Visual Patterns in the VLEli System / Matthias T. Jung ; Uwe Kastens ; Christian Schindler ; Carsten Schmidt
The Asf=Sdf Meta-environment: A Component-Based Language Development Environment / M.G.J. van den Brand ; A. van Deursen ; J. Heering ; H.A. de Jong ; M. de Jonge ; T. Kuipers ; P. Klint ; L. Moonen ; P.A. Olivier ; J. Scheerder ; J.J. Vinju ; E. Visser ; J. Visser
Author Index
Invited Talk
Virtual Classes and Their Implementation / Ole Lehrman Madsen
Program Analysis
9.

図書

図書
Furio Honsell, Marino Miculan (eds.)
出版情報: Berlin : Springer, c2001  xii, 412 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2030
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Adequacy for Algebraic Effects / Gordon Plotkin ; John Power
Contributed Papers
Secrecy Types for Asymmetric Communication / MartÆin Abadi ; Bruno Blanchet
Axiomatizing Tropical Semirings / Luca Aceto ; Zoltán Ésik ; Anna Ingólfsdóttir
Type Isomorphisms and Proof Reuse in Dependent Type Theory / Gilles Barthe ; Olivier Pons
On the Duality between Observability and Reachability / Michel Bidoit ; Rolf Hennicker ; Alexander Kurz
The Finite Graph Problem for Two-Way Alternating Automata / Mikolaj Bojanczyk
High-Level Petri Nets as Type Theories in the Join Calculus / Maria Grazia Buscemi ; Vladimiro Sassone
Temporary Data in Shared Dataspace Coordination Languages / Nadia Busi ; Roberto Gorrieri ; Gianluigi Zavattaro
On Garbage and Program Logic / Cristiano Calcagno ; Peter W. O'Hearn
The Complexity of Model Checking Mobile Ambients / Witold Charatonik ; Silvano Dal Zilio ; Andrew D. Gordon ; Supratik Mukhopadhyay ; Jean-Marc Talbot
The Rho Cube / Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori
Type Inference with Recursive Type Equations / Mario Coppo
On the Modularity of Deciding Call-by-Need / Irène Durand ; Aart Middeldorp
Synchronized Tree Languages Revisited and New Applications / Valèrie Gouranton ; Pierre Rèty ; Helmut Seidl
Computational Completeness of Programming Languages Based on Graph Transformation / Annegret Habel ; Detlef Plump
Axioms for Recursion in Call-by-Value (Extended Abstract) / Masahito Hasegawa ; Yoshihiko Kakutani
Class Analysis of Object-Oriented Programs through Abstract Interpretation / Thomas Jensen ; Fausto Spoto
On the Complexity of Parity Word Automata / Valerie King ; Orna Kupferman ; Moshe Y. Vardi
Foundations for a Graph-Based Approach to the Specification of Access Control Policies / Manuel Koch ; Luigi Vincenzo Mancini ; Francesco Parisi-Presicce
Categories of Processes Enriched in Final Coalgebras / Sava Krstić ; John Launchbury ; DuÜko Pavlovič
Model Checking CTL= and FCTL Is Hard / François Laroussinie ; Nicolas Markey ; Philippe Schnoebelen
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory / Rémi Morin
Verified Bytecode Verifiers / Tobias Nipkow
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the p-Calculus and Mechanizing the Theory of Contexts / Christine Röckl ; Daniel Hirschkoff ; Stefan Berghofer
Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes / Colin Stirling
An Axiomatic Semantics for the Synchronous Language Gentzen / Simone Tini
Tool Presentation
Marrella and the Verification of an Embedded System / Dominique Ambroise ; Patrick Augé ; Kamel Bouchefra ; Brigitte Rozoy
Author Index
Invited Paper
Adequacy for Algebraic Effects / Gordon Plotkin ; John Power
Contributed Papers
10.

図書

図書
Tiziana Margaria, Wang Yi (eds.)
出版情報: Berlin : Springer, c2001  xiv, 588 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2031
所蔵情報: loading…
目次情報: 続きを見る
Invited Contributions
Branching vs. Linear Time: Final Showdown / M.Y. Vardi
Propositional Reasoning / M.P. Fourman
Symbolic Verification
Language Containment Checking with Nondeterministic BDDs / B. Finkbeiner
Satisfiability Checking Using Boolean Expression Diagrams / P.F. Williams ; H. Reif Andersen ; H. Hulgaard
A Library for Composite Symbolic Representations / T. Yavuz-Kahveci ; M. Tuncer ; T. Bultan
Infinite State Systems: Deduction and Abstraction
Synthesis of Linear Ranking Functions / M.A. Colon ; H.B. Sipma
Automatic Deductive Verification with Invisible Invariants / A. Pnueli ; S. Ruah ; L. Zuck
Incremental Verification by Abstraction / Y. Lakhnech ; S. Bensalem ; S. Berezin ; S. Owre
A Technique for Invariant Generation / A. Tiwari ; H. Rueβ ; H. Saïdi ; N. Shankar
Application of Model Checking Techniques
Model Checking Syllabi and Student Careers / R. Sebastiani ; A. Tomasi ; F. Giunchiglia
Verification of Vortex Workflows / X. Fu ; R. Hull ; J. Su
Parameterized Verification of Multithreaded Software Libraries / T. Ball ; S. Chaki ; S.K. Rajamani
Timed and Probabilistic Systems
Efficient Guiding Towards Cost-Optimality in UPPAAL / G. Behrmann ; A. Fehnker ; T. Hune ; K. Larsen ; P. Pettersson ; J. Romijn
Linear Parametric Model Checking of Timed Automata / M. Stoelinga, ; F. Vaandrager
Abstraction in Probabilistic Process Algebra / S. Andova ; J.CM. Baeten
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders / T.C. Ruys ; R. Langerak ; J.-P. Katoen ; D. Latella ; M. Massik
Hardware: Design and Verification
Hardware/Software Co-design Using Functional Languages / A. Mycroft ; R. Sharp
Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors / M.N. Velev
Software Verification
Boolean and Cartesian Abstraction for Model Checking C programs / A. Podelski
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs / C.S. Păs&abrebe;reanu ; M.B. Dwyer ; W. Visser
The LOOP Compiler for Java and JML / J. van den Berg ; B. Jacobs
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking / A. Crmatti ; M. Roveri ; P. Bertoli
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation / G. Ciardo ; G. Lüttgen ; R. Siminiceanu
Testing: Techniques and Tools
Automated Test Generation from Timed Automata / B. Nielsen ; A. Skou
Testing an Intentional Naming Scheme Using Genetic Algorithms / S. Khurshid
Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions / F. Ricca ; P. Tonella
TATOO: Testing and Analysis Tool for Object-Oriented Software / A.L. Souter ; T.M. Wong ; S.A. Shindo ; L.L. Pollock
Implementation Techniques
Implementing a Multi-valued Symbolic Model Checker / M. Chechik ; B. Devereux ; S. Easterbrook
Is There a Best Symbolic Cycle-Detection Algorithm? / K. Fisler ; R. Fraer ; G. Kamhi ; M. Y. Vardi ; Z. Yang
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets / R. Carvajal-Schiaffino ; G. Delzanno ; G. Chiola
A Sweep-Line Method for State Space Exploration / S. Christensen ; L.M. Kristensen ; T. Mailund
Semantics and Compositional Verification
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams / N. Amla ; E.A. Emerson ; K. Namjoshi ; R. Trefler
Simulation Revisited / L. Tan ; R. Cleaveland
Compositional Message Sequence Charts / E.L. Gunter ; A. Muscholl|CD.A. Peled
An Automata Based Interpretation of Live Sequence Charts|CJ. Klose|CH. Wittke
Logics and Model-Checking
Coverage Metrics for Temporal Logic Model Checking|CH. Chockler|CO. Kupferman|CM. Y. Vardi
Parallel Model Checking for the Alternation Free $$-Calculus|CB. Bollig / CM. Leucker ; M. Weber
Model Checking CTL*[DC] / P.K. Pandya
ETAPS Tool Demonstration
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS / M. Beaudomn-Lafon ; W.E. Mackay ; M. Jensen ; P. Andersen ; P. Janecek ; M. Lassen ; K. Lund ; K. Mortensen ; S. Munck ; A. Ratzer ; K. Ravn ; K. Jensen
The ASM Workbench: A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models / G. Del Castillo
The Erlang Verification Tool / T. Noll ; L. Fredlund ; D. Gurov
Author Index
Invited Contributions
Branching vs. Linear Time: Final Showdown / M.Y. Vardi
Propositional Reasoning / M.P. Fourman
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼