close
1.

電子ブック
ＥＢ
1. Runtime Verification
Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Takeo Kanade, Insup Lee, Gordon Pace, Grigore Ro?�u, Oleg Sokolsky, Nikolai Tillmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynotes
The Authoring Challenge in Interactive Storytelling / Michael Mateas
From a Winter's Night to a Dragon Age / Alex Whittaker
Designing Social Worlds - On Intrigue and Interaction in Live Action Role Playing Games (LARPS) / Carl Heath
Characters and Decision Making
MIST: An Interactive Storytelling System with Variable Character Behavior / Richard Paul ; Darryl Charles ; Michael McNeill ; David McSherry
Importance of Well-Motivated Characters in Interactive Narratives: An Empirical Evaluation / Mei Si ; Stacy Marsella ; David Pynadath
"I Want to Slay That Draeon!" - Influencing Choice in Interactive Storytelling / Rui Figueiredo ; Ana Paiva
Story Evaluation and Analysis
Measuring User Responses to Interactive Stories: Towards a standardized Assessment Tool / Ivar E. Vermeulen ; Christian Roth ; Peter Vorderer ; Christoph Klimmt
One Tool-Many Paradigm: Creativity and Regularity in Youngsters' Hyperstories / France Garzotto ; Elina Herrero ; Fernando Salgueiro
Exploring Narrative Interpretation and Adaptation for Interactive story Creation / Ulrike Spierling ; Steve Hoffmann
Narrative Annotation and Editing of Video / Vincenzo Lombardo ; Rossana Damiano
Story Generation
A Story to Go, Please / Frank Nack ; Abdallah El Ali ; Philo van Kemenade ; Jan Overgoor ; Bastiaan van der Weij
Threading Facts into a Collective Narrative World / Silvia Likavec ; Ilaria Lombardi ; Alberto Nantiat ; Claudia Picardi ; Daniele Theseider Dupré
Learning Story Marketing through Practical Experience of Story Creation System / Kaoru Sumi
Enhancing Real-Time Sports Commentary Generation with Dramatic Narrative Devices / Martin Rhodes ; Simon Coupland ; Tracy Cruickshank
Zuzie: Collaborative Storytelling Baaed on Multiple Compositions / Yoshiyuki Nakamura ; Maiko Kobayakawa ; Chisato Takami ; Yuta Tsuruga ; Hidekazv Kubota ; Masahiro Hamasaki ; Takuichi Nishimura ; Takeshi Sunaga
An Interactive Documentary Manifesto / Andre Almeida ; Heitor Alvelos
Arts and Humanities
Rhetorics of the Interactive 3D Installation "Virtuelle Mauer/ReConstructing the Wall" / Tamiko Thiel ; Teresa Reuter
From Physical to Non-Material Art - Design Choices of the Digital Artist / Teemu Korpilahti
The iLand of Madeira Location Aware Multimedia Stories / Mara Dionisio ; Valentina Nisi ; Jos P. van Leeuwen
Narrative Theories and Modelling
Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic / Kim Dung Dang ; Ronan Champagnat ; Michel Augeraud
An Analysis of Narrative Moves in Improvisational Theatre / Allan Baumer ; Brian Magerko
Towards a Theoretical Framework for Interactive Digital Narrative / Hartmut Koenitz
Systems
A Data-Driven Case-Based Reasoning Approach to Interactive Storytelling / Reid Swanson ; Andrew S. Gordon
Somethings Gotta Give - Towards Distributed Autonomous Story Appraisal in Improv / António Brisson
A Simple Intensity-Based Drama Manager / Christopher Ramsley ; Matthew Fugere ; Randi Pawson ; Charles Rich ; Dean O'Donnell
Applications
Player Agency and the Relevance of Decisions / David Thue ; Vadim Bulitko ; Marcia Spetch ; Trevon Romanuik
Interactive Storytelling in Academic Teaching / Wolfgang Heiden ; Matthias Räder ; Eric Fassbender
Teaching English as a Second Language Utilizing Authoring Tools for Interactive Digital Storytelling / Wolfgang Müller ; Ido Iurgel ; Nuno Otero ; Ute Mossler
Posters
Textual vs. Graphical Interaction in an Interactive Fiction Game / Manish Mehta ; Andrea Corradini ; Santiago Ontañón ; Peter Juel Henrichsen
Motivations for Rereading in Interactive Stories: A Preliminary Investigation / Alex Mitchell
The Haiti Earthquake Experience: A Case Study / Michael Gibson ; President Zapdramatic
First Person Victim: Developing a 3D Interactive Dramatic Experience / Henrik Schoenau-Fog ; Luis Emilio Bruni ; Faysal Fuad Khalil ; Jawid Faizi
Combining Explicit and Implicit Interaction Modes with Virtual Characters in Public Spaces / Pedro Ribeiro ; Tiago Silva ; Rui José
Louis, Mr Dog and Rabbit: Metalepsis in Interactive Narrative / Stuart Jones
Automated Storytelling in Sports: A Rich Domain to Be Explored / Greg Lee
Level-of-Detail Stories as a Virtual Museum of a Movie / Eliška Pätoprstá ; Elena Šikudová ; Andrej Ferko
Establishing Communication Channels for Digital Storytelling Applications / David Oyarzun ; María del Puy Carretero ; Andoni Mujika ; Aitor Arrieta
Agency and the Art of Interactive Digital Storytelling / Noam Knoller
Realism and Virtuality: Carmageddon as Contemporary Simulacrum Model / Katarina Peovic Vukovic
Demonstrations
Emohawk: Learning Virtual Characters by Doing / Michal Bída ; Cyril Brom
Crowd-Sourced AI Authoring with ENIGMA / Michael Kriegel ; Ruth Aylett
Using Highly Interactive Drama to Help Young People Cope with Traumatic Situations / Nicolas Szilas ; Urs Richle ; Thomas Boggini ; Jean Dumas
Stories on a Sphere: Hyperglobes as Narrative Platforms for Global Geodata / Florian Hruby ; Andreas Riedl
Workshops
Users and Evaluation of Interactive Storytelling / Nelson Zagalo ; Sandy Louchart ; Maria T. Soto-Sanfiel
Workshop: Education in Interactive Digital Storytelling
Interactive Stories for Health Interventions / Lynn Miller
Towards a Shared Vocabulary for Interactive Digital Storytelling / Mads Haahr ; Gabriele Ferri ; Tonguc Ibrahim Sezen
Storytelling within an Internet of Things / Chris Speed ; Arthi Kanchana Manohar
Just Another Tool for Interactive Digital Storytelling? A 1-Day Workshop on Korsakow / Ana Boa- Ventura ; Helena Lopes ; Inês Rodrigues
Tutorial
Introduction to Interactive Story Creation
Author Index
Keynotes
The Authoring Challenge in Interactive Storytelling / Michael Mateas
From a Winter's Night to a Dragon Age / Alex Whittaker
2.

電子ブック
ＥＢ
2. NASA Formal Methods
Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks / I：
From Retrospective Verification to Forward-Looking Development / K. Rustan ; M. Leino
Specifications for Free / Andreas Zeller
Invited Tutorials / II：
The Theory and Practice of SALT / Andreas Bauer ; Martin Leucker
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java / Bart Jacobs ; Jan Smans ; Pieter Philippaerts ; Frédéric Vogels ; Willem Penninckx ; Prank Piessens
Verifying Functional Correctness of C Programs with VCC / Michal Moskal
Regular Papers / III：
Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution / Jason Belt ; John Hatcliff ; Robby ; Patrice Chalin ; David Hardin ; Xianghua Deng
Approximate Quantifier Elimination for Propositional Boolean Formulae / Jörg Brauer ; Andy King
Towards Flight Control Verification Using Automated Theorem Proving / William Denman ; Mohamed H. Zaki ; Sofiène Tahar ; Luis Rodrigues
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis / Rüdiger Ehlers
Integrating an Automated Theorem Prover into Agda / Simon Foster ; Georg Struth
Efficient Predicate Abstraction of Program Summaries / Arie Gurfinkel ; Sagar Chaki ; Samir Sapra
Synthesis for PCTL in Parametric Markov Decision Processes / Ernst Moritz Hahn ; Tingling Han ; Lijun Zhang
Formalizing Probabilistic Safety Claims / Heber Herencia-Zapana ; George Hagen ; Anthony Narkawicz
The Open Theory Standard Theory Library / Joe Hurd
Instantiation-Based Invariant Discovery / Temesghen Kahsai ; Yeting Ge ; Cesare Tinelli
Stuttering Mostly Speeds Up Solving Parity Games / Sjoerd Cranen ; Jeroen J.A. Keiren ; Tim A.C. Willemse
Counterexample-Based Error Localization of Behavior Models / Tsutomu Kumazawa ; Tetsuo Tamai
Call Invariants / Shuvendu K. Lahiri ; Shaz Qadeer
Symmetry for the Analysis of Dynamic Systems / Zarrin Langari ; Richard Trefler
Implementing Cryptographic Primitives in the Symbolic Model / Peeter Laud
Model Checking Using SMT and Theory of Lists / Aleksandar Milicevic ; Hillel Kugler
Automated Test Case Generation with SMT-Solving and Abstract Interpretation / Jan Peleska ; Elena Vorobev ; Florian Lapschies
Generating Data Race Witnesses by an SMT-Based Analysis / Mahmoud Said ; Chao Wang ; Zijiang Yang ; Karem Sakallah
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B / Asieh Salehi Fathabadi ; Abdolbaghi Rezazadeh ; Michael Butler
A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes / Alejandro Sánchez ; César Sánchez
Coral: Solving Complex Constraints for Symbolic PathFinder / Matheus Souza ; Mateus Borges ; Marcelo d'Amorim ; Corina S. Pasareanu
Automated Formal Verification of the TTEthernet Synchronization Quality / Wilfried Steiner ; Bruno Dutertre
Extending the GWV Security Policy and Its Modular Application to a Separation Kernel / Sergey Tverdyshev
Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties / José Vander Meulen ; Charles Pecheur
Towards Informed Swarm Verification / Anton Wijs
Scaling Up with Event-B: A Case Study / Faqing Yang ; Jean-Pierre Jacquot
Tool Papers / IV：
D-Finder 2: Towards Efficient Correctness of Incremental Design / Saddek Bensalem ; Andreas Griesmayer ; Axel Legay ; Thanh-Hung Nguyen ; Joseph Sifakis ; Rongjie Yan
Infer: An Automatic Program Verifier for Memory Safety of C Programs / Cristiano Calcagno ; Dino Distefano
Model Construction and Priority Synthesis for Simple Interaction Systems / Chih-Hong Cheng ; Barbara Jobstmann ; Alois Knoll ; Harald Ruess
OpenJML: JML for Java 7 by Extending OpenJDK / David R. Cok
jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2
opaal: A Lattice Model Checker / Andreas Engelbredt Dalsgaard ; René Rydhof Hansen ; Kenneth Yrke Jørgensen ; Kim Gulstrand Larsen ; Mads Chr. Olesen ; Petur Olsen ; Jirí Srba
A Tabular Expression Toolbox for Matlab/Simulink / Colin Eles ; Mark Lawford
LLVM2CSP: Extracting CSP Models from Concurrent Programs / Moritz Kleine ; Björn Bartels ; Thomas Göthel ; Steffen Helke ; Dirk Prenzel
Multi-Core LTSmin: Marrying Modularity and Scalability / Alfons Laarman ; Jaco van de Pol ; Michael Weber
Ginacra: A C++ Library or Real Algebraic Computations / Ulrich Loup ; Erika Ábrahám
Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code / Hannes Mehnert
Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction
Author Index
Invited Talks / I：
From Retrospective Verification to Forward-Looking Development / K. Rustan ; M. Leino
Specifications for Free / Andreas Zeller
3.

電子ブック
ＥＢ
3. Runtime Verification
Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Takeo Kanade, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynotes
The Authoring Challenge in Interactive Storytelling / Michael Mateas
From a Winter's Night to a Dragon Age / Alex Whittaker
Designing Social Worlds - On Intrigue and Interaction in Live Action Role Playing Games (LARPS) / Carl Heath
Characters and Decision Making
MIST: An Interactive Storytelling System with Variable Character Behavior / Richard Paul ; Darryl Charles ; Michael McNeill ; David McSherry
Importance of Well-Motivated Characters in Interactive Narratives: An Empirical Evaluation / Mei Si ; Stacy Marsella ; David Pynadath
"I Want to Slay That Draeon!" - Influencing Choice in Interactive Storytelling / Rui Figueiredo ; Ana Paiva
Story Evaluation and Analysis
Measuring User Responses to Interactive Stories: Towards a standardized Assessment Tool / Ivar E. Vermeulen ; Christian Roth ; Peter Vorderer ; Christoph Klimmt
One Tool-Many Paradigm: Creativity and Regularity in Youngsters' Hyperstories / France Garzotto ; Elina Herrero ; Fernando Salgueiro
Exploring Narrative Interpretation and Adaptation for Interactive story Creation / Ulrike Spierling ; Steve Hoffmann
Narrative Annotation and Editing of Video / Vincenzo Lombardo ; Rossana Damiano
Story Generation
A Story to Go, Please / Frank Nack ; Abdallah El Ali ; Philo van Kemenade ; Jan Overgoor ; Bastiaan van der Weij
Threading Facts into a Collective Narrative World / Silvia Likavec ; Ilaria Lombardi ; Alberto Nantiat ; Claudia Picardi ; Daniele Theseider Dupré
Learning Story Marketing through Practical Experience of Story Creation System / Kaoru Sumi
Enhancing Real-Time Sports Commentary Generation with Dramatic Narrative Devices / Martin Rhodes ; Simon Coupland ; Tracy Cruickshank
Zuzie: Collaborative Storytelling Baaed on Multiple Compositions / Yoshiyuki Nakamura ; Maiko Kobayakawa ; Chisato Takami ; Yuta Tsuruga ; Hidekazv Kubota ; Masahiro Hamasaki ; Takuichi Nishimura ; Takeshi Sunaga
An Interactive Documentary Manifesto / Andre Almeida ; Heitor Alvelos
Arts and Humanities
Rhetorics of the Interactive 3D Installation "Virtuelle Mauer/ReConstructing the Wall" / Tamiko Thiel ; Teresa Reuter
From Physical to Non-Material Art - Design Choices of the Digital Artist / Teemu Korpilahti
The iLand of Madeira Location Aware Multimedia Stories / Mara Dionisio ; Valentina Nisi ; Jos P. van Leeuwen
Narrative Theories and Modelling
Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic / Kim Dung Dang ; Ronan Champagnat ; Michel Augeraud
An Analysis of Narrative Moves in Improvisational Theatre / Allan Baumer ; Brian Magerko
Towards a Theoretical Framework for Interactive Digital Narrative / Hartmut Koenitz
Systems
A Data-Driven Case-Based Reasoning Approach to Interactive Storytelling / Reid Swanson ; Andrew S. Gordon
Somethings Gotta Give - Towards Distributed Autonomous Story Appraisal in Improv / António Brisson
A Simple Intensity-Based Drama Manager / Christopher Ramsley ; Matthew Fugere ; Randi Pawson ; Charles Rich ; Dean O'Donnell
Applications
Player Agency and the Relevance of Decisions / David Thue ; Vadim Bulitko ; Marcia Spetch ; Trevon Romanuik
Interactive Storytelling in Academic Teaching / Wolfgang Heiden ; Matthias Räder ; Eric Fassbender
Teaching English as a Second Language Utilizing Authoring Tools for Interactive Digital Storytelling / Wolfgang Müller ; Ido Iurgel ; Nuno Otero ; Ute Mossler
Posters
Textual vs. Graphical Interaction in an Interactive Fiction Game / Manish Mehta ; Andrea Corradini ; Santiago Ontañón ; Peter Juel Henrichsen
Motivations for Rereading in Interactive Stories: A Preliminary Investigation / Alex Mitchell
The Haiti Earthquake Experience: A Case Study / Michael Gibson ; President Zapdramatic
First Person Victim: Developing a 3D Interactive Dramatic Experience / Henrik Schoenau-Fog ; Luis Emilio Bruni ; Faysal Fuad Khalil ; Jawid Faizi
Combining Explicit and Implicit Interaction Modes with Virtual Characters in Public Spaces / Pedro Ribeiro ; Tiago Silva ; Rui José
Louis, Mr Dog and Rabbit: Metalepsis in Interactive Narrative / Stuart Jones
Automated Storytelling in Sports: A Rich Domain to Be Explored / Greg Lee
Level-of-Detail Stories as a Virtual Museum of a Movie / Eliška Pätoprstá ; Elena Šikudová ; Andrej Ferko
Establishing Communication Channels for Digital Storytelling Applications / David Oyarzun ; María del Puy Carretero ; Andoni Mujika ; Aitor Arrieta
Agency and the Art of Interactive Digital Storytelling / Noam Knoller
Realism and Virtuality: Carmageddon as Contemporary Simulacrum Model / Katarina Peovic Vukovic
Demonstrations
Emohawk: Learning Virtual Characters by Doing / Michal Bída ; Cyril Brom
Crowd-Sourced AI Authoring with ENIGMA / Michael Kriegel ; Ruth Aylett
Using Highly Interactive Drama to Help Young People Cope with Traumatic Situations / Nicolas Szilas ; Urs Richle ; Thomas Boggini ; Jean Dumas
Stories on a Sphere: Hyperglobes as Narrative Platforms for Global Geodata / Florian Hruby ; Andreas Riedl
Workshops
Users and Evaluation of Interactive Storytelling / Nelson Zagalo ; Sandy Louchart ; Maria T. Soto-Sanfiel
Workshop: Education in Interactive Digital Storytelling
Interactive Stories for Health Interventions / Lynn Miller
Towards a Shared Vocabulary for Interactive Digital Storytelling / Mads Haahr ; Gabriele Ferri ; Tonguc Ibrahim Sezen
Storytelling within an Internet of Things / Chris Speed ; Arthi Kanchana Manohar
Just Another Tool for Interactive Digital Storytelling? A 1-Day Workshop on Korsakow / Ana Boa- Ventura ; Helena Lopes ; Inês Rodrigues
Tutorial
Introduction to Interactive Story Creation
Author Index
Keynotes
The Authoring Challenge in Interactive Storytelling / Michael Mateas
From a Winter's Night to a Dragon Age / Alex Whittaker
4.

電子ブック
ＥＢ
4. NASA Formal Methods
Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Takeo Kanade, Gerard Holzmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks / I：
From Retrospective Verification to Forward-Looking Development / K. Rustan ; M. Leino
Specifications for Free / Andreas Zeller
Invited Tutorials / II：
The Theory and Practice of SALT / Andreas Bauer ; Martin Leucker
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java / Bart Jacobs ; Jan Smans ; Pieter Philippaerts ; Frédéric Vogels ; Willem Penninckx ; Prank Piessens
Verifying Functional Correctness of C Programs with VCC / Michal Moskal
Regular Papers / III：
Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution / Jason Belt ; John Hatcliff ; Robby ; Patrice Chalin ; David Hardin ; Xianghua Deng
Approximate Quantifier Elimination for Propositional Boolean Formulae / Jörg Brauer ; Andy King
Towards Flight Control Verification Using Automated Theorem Proving / William Denman ; Mohamed H. Zaki ; Sofiène Tahar ; Luis Rodrigues
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis / Rüdiger Ehlers
Integrating an Automated Theorem Prover into Agda / Simon Foster ; Georg Struth
Efficient Predicate Abstraction of Program Summaries / Arie Gurfinkel ; Sagar Chaki ; Samir Sapra
Synthesis for PCTL in Parametric Markov Decision Processes / Ernst Moritz Hahn ; Tingling Han ; Lijun Zhang
Formalizing Probabilistic Safety Claims / Heber Herencia-Zapana ; George Hagen ; Anthony Narkawicz
The Open Theory Standard Theory Library / Joe Hurd
Instantiation-Based Invariant Discovery / Temesghen Kahsai ; Yeting Ge ; Cesare Tinelli
Stuttering Mostly Speeds Up Solving Parity Games / Sjoerd Cranen ; Jeroen J.A. Keiren ; Tim A.C. Willemse
Counterexample-Based Error Localization of Behavior Models / Tsutomu Kumazawa ; Tetsuo Tamai
Call Invariants / Shuvendu K. Lahiri ; Shaz Qadeer
Symmetry for the Analysis of Dynamic Systems / Zarrin Langari ; Richard Trefler
Implementing Cryptographic Primitives in the Symbolic Model / Peeter Laud
Model Checking Using SMT and Theory of Lists / Aleksandar Milicevic ; Hillel Kugler
Automated Test Case Generation with SMT-Solving and Abstract Interpretation / Jan Peleska ; Elena Vorobev ; Florian Lapschies
Generating Data Race Witnesses by an SMT-Based Analysis / Mahmoud Said ; Chao Wang ; Zijiang Yang ; Karem Sakallah
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B / Asieh Salehi Fathabadi ; Abdolbaghi Rezazadeh ; Michael Butler
A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes / Alejandro Sánchez ; César Sánchez
Coral: Solving Complex Constraints for Symbolic PathFinder / Matheus Souza ; Mateus Borges ; Marcelo d'Amorim ; Corina S. Pasareanu
Automated Formal Verification of the TTEthernet Synchronization Quality / Wilfried Steiner ; Bruno Dutertre
Extending the GWV Security Policy and Its Modular Application to a Separation Kernel / Sergey Tverdyshev
Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties / José Vander Meulen ; Charles Pecheur
Towards Informed Swarm Verification / Anton Wijs
Scaling Up with Event-B: A Case Study / Faqing Yang ; Jean-Pierre Jacquot
Tool Papers / IV：
D-Finder 2: Towards Efficient Correctness of Incremental Design / Saddek Bensalem ; Andreas Griesmayer ; Axel Legay ; Thanh-Hung Nguyen ; Joseph Sifakis ; Rongjie Yan
Infer: An Automatic Program Verifier for Memory Safety of C Programs / Cristiano Calcagno ; Dino Distefano
Model Construction and Priority Synthesis for Simple Interaction Systems / Chih-Hong Cheng ; Barbara Jobstmann ; Alois Knoll ; Harald Ruess
OpenJML: JML for Java 7 by Extending OpenJDK / David R. Cok
jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2
opaal: A Lattice Model Checker / Andreas Engelbredt Dalsgaard ; René Rydhof Hansen ; Kenneth Yrke Jørgensen ; Kim Gulstrand Larsen ; Mads Chr. Olesen ; Petur Olsen ; Jirí Srba
A Tabular Expression Toolbox for Matlab/Simulink / Colin Eles ; Mark Lawford
LLVM2CSP: Extracting CSP Models from Concurrent Programs / Moritz Kleine ; Björn Bartels ; Thomas Göthel ; Steffen Helke ; Dirk Prenzel
Multi-Core LTSmin: Marrying Modularity and Scalability / Alfons Laarman ; Jaco van de Pol ; Michael Weber
Ginacra: A C++ Library or Real Algebraic Computations / Ulrich Loup ; Erika Ábrahám
Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code / Hannes Mehnert
Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction
Author Index
Invited Talks / I：
From Retrospective Verification to Forward-Looking Development / K. Rustan ; M. Leino
Specifications for Free / Andreas Zeller
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼