close
1.

図書

図書
ed. Susanne Graf, Wenhui Zhang
出版情報: Berlin : Springer, 2006  xiv, 540 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4218
所蔵情報: loading…
2.

図書

図書
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
出版情報: Berlin : Springer, c2006  viii, 427 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4111
所蔵情報: loading…
目次情報: 続きを見る
Component and Service Oriented Computing
A Software Component Model and Its Preliminary Formalisation / Kung-Kiu Lau ; Mario Ornaghi ; Zheng Wang
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing / Gian Luigi Ferrari ; Dan Hirsch ; Ivan Lanese ; Ugo Montanari ; Emilio Tuosto
System Design
Control of Modular and Distributed Discrete-Event Systems / Jan Komenda ; Jan H. van Schuppen
Model-Based Security Engineering with UML: Introducing Security Aspects / Jan Jurjens
The Pragmatics of Stairs / Ragnhild Kobro Runde ; Oystein Haugen ; Ketil Stolen
Tools
Smallfoot: Modular Automatic Assertion Checking with Separation Logic / Josh Berdine ; Cristiano Calcagno ; Peter W. O'Hearn
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs / Dennis R. Dams ; Kedar S. Namjoshi
Algebraic Methods
Beyond Bisimulation: The "up-to" Techniques / Davide Sangiorgi
Separation Results Via Leader Election Problems / Maria Grazia Vigliotti ; Iain Phillips ; Catuscia Palamidessi
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation / Wan Fokkink ; Rob van Glabbeek ; Paulien de Wind
Model Checking
Abstraction and Refinement in Model Checking / Orna Grumberg
Program Compatibility Approaches / Edmund Clarke ; Natasha Sharygina ; Nishant Sinha
Cluster-Based LTL Model Checking of Large Systems / Jiri Barnat ; Lubos Brim ; Ivana Cerna
Safety and Liveness in Concurrent Pointer Programs / Dino Distefano ; Joost-Pieter Katoen ; Arend Rensink
Assertional Methods
Modular Specification of Encapsulated Object-Oriented Components / Arnd Poetzsch-Heffter ; Jan Schafer
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 / Patrice Chalin ; Joseph R. Kiniry ; Gary T. Leavens ; Erik Poll
Boogie: A Modular Reusable Verifier for Object-Oriented Programs / Mike Barnett ; Bor- Yuh Evan Chang ; Robert DeLine ; Bart Jacobs ; K. Rustan M. Leino
Quantitative Analysis
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages / Alessandra Di Pierro ; Chris Hankin ; Herbert Wiklicky
Partial Order Reduction for Markov Decision Processes: A Survey / Marcus Groesser ; Christel Baier
Author Index
Component and Service Oriented Computing
A Software Component Model and Its Preliminary Formalisation / Kung-Kiu Lau ; Mario Ornaghi ; Zheng Wang
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing / Gian Luigi Ferrari ; Dan Hirsch ; Ivan Lanese ; Ugo Montanari ; Emilio Tuosto
3.

図書

図書
Frank S. de Boer ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  viii, 323 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3657
所蔵情報: loading…
4.

図書

図書
Susanne Graf, Michael Schwartzbach (eds.)
出版情報: Berlin : Springer, c2000  xiv, 552 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1785
所蔵情報: loading…
目次情報: 続きを見る
Invited Contribution
On the Construction of Automata from Linear Arithmetic Constraints / Pierre Wolper ; Bernard Boigelot
Software and Formal Methods Tools
An Extensible Type Systemfor Component-Based Design / Yuhong Xiong ; Edward A. Lee
Proof General: A Generic Tool for Proof Development / David Aspinall
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation / Michael Goedicke ; Bettina Enders ; Torsten Meyer ; Gabriele Taentzer
Formal Methods Tools
Consistent Integration of Formal Methods / Peter Braun ; Heiko Lötzbeyer ; Bernhard Schätz ; Oscar Slotosch
An Architecture for Interactive Program Provers / Jörg Meyer ; Arnd Poetzsch-Heffter
The PROSPER Toolkit / Louise A. Dennis ; Graham Collins ; Michael Norrish ; Richard Boulton ; Konrad Slind ; Graham Robinson ; Mike Gordon ; Tom Melham
CASL: From Semantics to Tools / Till Mossakowski
Timed and Hybrid Systems
On the Construction of Live Timed Systems / Sébastien Bornot ; Gregor Gößler ; Joseph Sifakis
On Memory-Block Traversal Problems in Model-Checking Timed Systems / Fredrik Larsson ; Paul Pettersson ; Wang Yi
Symbolic Model Checking for Rectangular Hybrid Systems / Thomas A. Henzinger ; Rupak Majumdar
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems / Farn Wang
Infinite and Parameterized Systems
Verification of Parameterized Systems Using Logic Program Transformations / Abhik Roychoudhury ; K. Narayan Kumar ; C.R. Ramakrishnan ; I. V. Ramakrishnan ; Scott A. Smolka
Abstracting WS1S Systems to Verify Parameterized Networks / Kai Baukus ; Saddek Bensalem ; Yassine Lakhnech ; Karsten Stahl
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems / J.-P. Bodeveix ; M. Filali
Transitive Closures of Regular Relations for Verifying Infinite-State Systems / Bengt Jonsson ; Marcus Nilsson
Diagnostic and Test Generation
Using Static Analysis to Improve Automatic Test Generation / Marius Bozga ; Jean-Claude Fernandez ; Lucian Ghirvu
Efficient Diagnostic Generation for Boolean Equation Systems / Radu Mateescu
Efficient Model-Checking
Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems / Jean-Pierre Krimm ; Laurent Mounier
Checking for CFFD-Preorder with Tester Processes / Juhana Helovuo ; Antti Valmari
Fair Bisimulation / Sriram K. Rajamani
Integrating Low Level Symmetries into Reachability Analysis / Karsten Schmidt
Model-Checking Tools
Model Checking Support for the ASM High-Level Language / Giuseppe Del Castillo ; Kirsten Winter
A Markov Chain Model Checker / Holger Hermanns ; Joost-Pieter Katoen ; Joachim Meyer-Kayser ; Markus Siegle
Model Checking SDL with Spin / Dragan Bošnački ; Dennis Dams ; Leszek Holenderski ; Natalia Sidorova
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking / Ramesh Bharadwaj ; Steve Sims
Symbolic Model-Checking
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation / Luca de Alfaro ; Marta Kwiatkowska ; Gethin Norman ; David Parker ; Roberto Segala
Symbolic Reachability Analysis Based on SAT-Solvers / Parosh Aziz Abdulla ; Per Bjesse ; Niklas Eén
Symbolic Representation of Upward-Closed Sets / Giorgio Delzanno ; Jean-François Raskin
BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems / Tevfik Bultan
Visual Tools
Tool-Based Specification of Visual Languages and Graphic Editors / Magnus Niemann ; Roswitha Bardohl
VIP: A Visual Editor and Compiler for v-Promela / Moataz Kamel ; Stefan Leue
Verification of Critical Systems
A Comparison of Two Verification Methods for Speculative Instruction Execution / Tamarah Arons ; Amir Pnueli
Partial Order Reductions for Security Protocol Verification / Edmund Clarke ; Somesh Jha ; Will Marrero
Model Checking Security Protocols Using a Logic of Belief / Massimo Benerecetti ; Fausto Giunchiglia
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors / S. Gnesi ; D. Latella ; G. Lenzini ; C. Abbaneo ; A. Amendola ; P. Marmo
Author Index
Invited Contribution
On the Construction of Automata from Linear Arithmetic Constraints / Pierre Wolper ; Bernard Boigelot
Software and Formal Methods Tools
5.

図書

図書
Susanne Graf, Laurent Mounier (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 307 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2989
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Formal Analysis of Processor Timing Models / Reinhard Wilhelm
Heuristics and Probabilities
Typical Structural Properties of State Spaces / Radek Pelánek
State Caching Reconsidered / Jaco Geldenhuys
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM / Peter Leven ; Tilman Mehler ; Stefan Edelkamp
Fast and Accurate Bitstate Verification for SPIN / Peter C. Dillinger ; Panagiotis Manolios
Improvements of SPIN
Model-Driven Software Verification / Gerard J. Holzmann ; Rajeev Joshi
Minimization of Counterexamples in SPIN / Paul Gastin ; Pierre Moro ; Marc Zeitoun
Validation of Timed Systems
Black-Box Conformance Testing for Real-Time Systems / Moez Krichen ; Stavros Tripakis
Validation of UML Models via a Mapping to Communicating ExtendedTimed Automata / Iulian Ober ; Susanne Graf ; Ileana Ober
Tool Papers
Explicit State Model Checking with Hopper / Michael Jones ; Eric Mercer
SEQ.OPEN: A Tool for Efficient Trace-Based Verification / Hubert Garavel ; Radu Mateescu
Model Checking Genetic Regulatory Networks Using GNA and CADP / Grégory Batt ; Damien Bergamini ; Hidde de Jong
Abstraction and Symbolic Methods
Verification of Java Programs Using Symbolic Execution andInvariant Generation / Corina S. Păsăreanu ; Willem Visser
Polynomial Time Image Computation with Interval-DefinableCounters Systems / Alain Finkel ; Jérôme Leroux
Using Fairness to Make Abstractions Work / Dragan Bošnački ; Natalia Ioustinova ; Natalia Sidorova
A Scalable Incomplete Test for Message Buffer Overflow in Promela Models / Stefan Leue ; Richard Mayr ; Wei Wei
Applications
Translation from Adapted UML to Promela for CORBA-Based Applications / J. Chen ; H. Cui
Verifying Commit-Atomicity Using Model-Checking / Cormac Flanagan
Analysis of Distributed Spin Applied to Industrial-Scale Models / Murali Rangarajan ; Samar Dajani-Brown ; Kirk Schloegel ; Darren Cofer
Verification of MPI-Based Software for Scientific Computation / Stephen F. Siegel ; George S. Avrunin
Tutorials
Advanced SPIN Tutorial / Theo C. Ruys
IF Validation Environment Tutorial / Marius Bozga ; Laurent Mounier
Author Index
Invited Paper
Formal Analysis of Processor Timing Models / Reinhard Wilhelm
Heuristics and Probabilities
6.

電子ブック

EB
Susanne Graf, Takeo Kanade, Wenhui Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
7.

電子ブック

EB
Frank S. Boer, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Takeo Kanade, Willem-Paul Roever
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Component and Service Oriented Computing
A Software Component Model and Its Preliminary Formalisation / Kung-Kiu Lau ; Mario Ornaghi ; Zheng Wang
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing / Gian Luigi Ferrari ; Dan Hirsch ; Ivan Lanese ; Ugo Montanari ; Emilio Tuosto
System Design
Control of Modular and Distributed Discrete-Event Systems / Jan Komenda ; Jan H. van Schuppen
Model-Based Security Engineering with UML: Introducing Security Aspects / Jan Jurjens
The Pragmatics of Stairs / Ragnhild Kobro Runde ; Oystein Haugen ; Ketil Stolen
Tools
Smallfoot: Modular Automatic Assertion Checking with Separation Logic / Josh Berdine ; Cristiano Calcagno ; Peter W. O'Hearn
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs / Dennis R. Dams ; Kedar S. Namjoshi
Algebraic Methods
Beyond Bisimulation: The "up-to" Techniques / Davide Sangiorgi
Separation Results Via Leader Election Problems / Maria Grazia Vigliotti ; Iain Phillips ; Catuscia Palamidessi
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation / Wan Fokkink ; Rob van Glabbeek ; Paulien de Wind
Model Checking
Abstraction and Refinement in Model Checking / Orna Grumberg
Program Compatibility Approaches / Edmund Clarke ; Natasha Sharygina ; Nishant Sinha
Cluster-Based LTL Model Checking of Large Systems / Jiri Barnat ; Lubos Brim ; Ivana Cerna
Safety and Liveness in Concurrent Pointer Programs / Dino Distefano ; Joost-Pieter Katoen ; Arend Rensink
Assertional Methods
Modular Specification of Encapsulated Object-Oriented Components / Arnd Poetzsch-Heffter ; Jan Schafer
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 / Patrice Chalin ; Joseph R. Kiniry ; Gary T. Leavens ; Erik Poll
Boogie: A Modular Reusable Verifier for Object-Oriented Programs / Mike Barnett ; Bor- Yuh Evan Chang ; Robert DeLine ; Bart Jacobs ; K. Rustan M. Leino
Quantitative Analysis
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages / Alessandra Di Pierro ; Chris Hankin ; Herbert Wiklicky
Partial Order Reduction for Markov Decision Processes: A Survey / Marcus Groesser ; Christel Baier
Author Index
Component and Service Oriented Computing
A Software Component Model and Its Preliminary Formalisation / Kung-Kiu Lau ; Mario Ornaghi ; Zheng Wang
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing / Gian Luigi Ferrari ; Dan Hirsch ; Ivan Lanese ; Ugo Montanari ; Emilio Tuosto
8.

電子ブック

EB
Frank S. Boer, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Takeo Kanade, Willem-Paul Roever
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
9.

電子ブック

EB
Frank S. Boer, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Takeo Kanade, Willem-Paul Roever
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Testing
Model-Based Testing of Environmental Conformance of Components / Lars Frantzen ; Jan Tretmans
Exhaustive Testing of Exception Handlers with Enforcer / Cyrille Artho ; Armin Biere ; Shinichi Honiden
Model-Based Test Selection for Infinite-State Reactive Systems / Bertrand Jeannet ; Thierry Jeron ; Vlad Rusu
Program Verification
Verifying Object-Oriented Programs with KeY: A Tutorial / Wolfgang Ahrendt ; Bernhard Beckert ; Reiner Hahnle ; Philipp Rummer ; Peter H. Schmitt
Rebeca: Theory, Applications, and Tools / Marjan Sirjani
Learning Meets Verification / Martin Leucker
Trust and Security
JACK-A Tool for Validation of Security and Behaviour of Java Applications / Gilles Barthe ; Lilian Burdy ; Julien Charles ; Benjamin Gregoire ; Marieke Huisman ; Jean-Louis Lanet ; Mariela Pavlova ; Antoine Requet
Towards a Formal Framework for Computational Trust / Vladimiro Sassone ; Karl Krukow ; Mogens Nielsen
Models of Computation
On Recursion, Replication and Scope Mechanisms in Process Calculi / Jesus Aranda ; Cinzia Di Giusto ; Catuscia Palamidessi ; Frank D. Valencia
Bounded Session Types for Object Oriented Languages / Mariangiola Dezani-Ciancaglini ; Elena Giachino ; Sophia Drossopoulou ; Nobuko Yoshida
Distributed Programming
Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring / Bill Donkervoet ; Gul Agha
Links: Web Programming Without Tiers / Ezra Cooper ; Sam Lindley ; Philip Wadler ; Jeremy Yallop
Author Index
Testing
Model-Based Testing of Environmental Conformance of Components / Lars Frantzen ; Jan Tretmans
Exhaustive Testing of Exception Handlers with Enforcer / Cyrille Artho ; Armin Biere ; Shinichi Honiden
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼