close
1.

電子ブック

EB
edited by Ezio Bartocci, Rupak Majumdar
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9333
オンライン: http://dx.doi.org/10.1007/978-3-319-23820-3
目次情報: 続きを見る
Invited Papers
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification
Twenty Years of Dynamic Software Model Checking
Explaining Heisenbugs
Regular Papers
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
Runtime Adaptation for Actor Systems
Robust Online Monitoring of Signal Temporal Logic
On Verifying The Hennessy-Milner Logic with Recursion at Runtime
Assuring the Guardians
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System
Monitoring Electronic Exams
Monitoring Real Android Malware
Time-triggered Runtime Verification of Component-Based Multi-core Systems
Monitoring for a decidable fragment of MTL-R Runtime Verification Through Forward Chaining
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about the Environment
From First-Order Temporal Logic to Parametric Trace Slicing
R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems
A Hybrid Approach to Causality Analysis
Short Papers
Statistical Model Checking of Distributed Adaptive Real-Time Software
Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources
Runtime Verification for Hybrid Analysis Tools
Suggesting Edits to Explain Failing Traces
Tool Papers
StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java
TIPEX: a tool chain for Timed Property Enforcement during eXecution
Tutorial Papers
Machine Learning Methods in Statistical Model Checking and System Design ? Tutorial
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
LearnLib Tutorial - An Open Source Java Library for Active Automata Learning
Monitoring and Measuring Hybrid Behaviors - A Tutorial
Software Competitions
Second International Competition on Runtime Verification CRV 2015
Rigorous Examination of Reactive Systems: The RERS challenge 2015
Invited Papers
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification
Twenty Years of Dynamic Software Model Checking
2.

電子ブック

EB
edited by Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9336
オンライン: http://dx.doi.org/10.1007/978-3-319-24309-2
目次情報: 続きを見る
Swarm intelligence and genetic algorithms
Computer vision
Multi-agents systems
Knowledge representation and reasoning
Machine learning
Semantic web
Natural language
Scheduling, planning and robotics
Swarm intelligence and genetic algorithms
Computer vision
Multi-agents systems
3.

電子ブック

EB
edited by Qin Lu, Helena Hong Gao
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9332
オンライン: http://dx.doi.org/10.1007/978-3-319-27194-1
目次情報: 続きを見る
Lexical semantics
Lexical resources
Lexicology
Natural language processing and applications
Syntax
Lexical semantics
Lexical resources
Lexicology
4.

電子ブック

EB
edited by Yvo Desmedt
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 7807
オンライン: http://dx.doi.org/10.1007/978-3-319-27659-5
5.

電子ブック

EB
edited by Mihai Codescu, R?zvan Diaconescu, Ionu? ?u?u
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9463
オンライン: http://dx.doi.org/10.1007/978-3-319-28114-8
目次情報: 続きを見る
On Logic Embeddings and Godel’s God
An Institutional Foundation for the K Semantic Framework
A Theoretical Foundation for Programming Languages Aggregation
Coalgebraic Semantics of Heavy-Weighted Automata
Foundations of Logic Programming in Hybridised Logics
What Is a Derived Signature Morphism?
Use Case Analysis Based on Formal Methods: An Empirical Study
A Full Operational Semantics for Asynchronous Relational Networks
A SOC-Based Formal Specification and Verification of Hybrid Systems
On Logic Embeddings and Godel’s God
An Institutional Foundation for the K Semantic Framework
A Theoretical Foundation for Programming Languages Aggregation
6.

電子ブック

EB
by Micha? ?mia?ek, Wiktor Nowakowski
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
オンライン: http://dx.doi.org/10.1007/978-3-319-12838-2
目次情報: 続きを見る
1. Introducing Requirements-driven Modelling
2. Presenting the Requirements Specification Language
3. Defining RSL
4. Explaining RSL with Java
5. Understanding Model Transformations
6. Writing Model Transformations for Requirements
7. Applying MDRE in Practice
8. Case study
A. Summary of RSL syntax
B. Summary of MOLA syntax
1. Introducing Requirements-driven Modelling
2. Presenting the Requirements Specification Language
3. Defining RSL
7.

電子ブック

EB
edited by David Naumann
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8963
オンライン: http://dx.doi.org/10.1007/978-3-319-14806-9
目次情報: 続きを見る
Numerous formal notations
Theories of programming
Abstraction
Refinement
Choice
Termination
Feasibility
Locality
Concurrency and communication
Numerous formal notations
Theories of programming
Abstraction
8.

電子ブック

EB
edited by Andrew Pitts
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9034
オンライン: http://dx.doi.org/10.1007/978-3-662-46678-0
目次情報: 続きを見る
Invited Talk
Polarized Substructural Session Types
Semantics of Programming Languages I
Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism
An Infinitary Model of Linear Logic
Game Semantics and Normalization by Evaluation
Foundations of Differential Dataflow
Categorical Models and Logics
States of Convex Sets
A Categorical Semantics for Linear Logical Frameworks
A Completeness Result for Finite λ-bisimulations
Sequent Calculus in the Topos of Trees
Modal and Temporal Logics
Coalgebraic Trace Semantics via Forgetful Logics
Unifying Hyper and Epistemic Temporal Logics
Concurrent, Probabilistic and Timed Systems On the Total Variation Distance of Semi-Markov Chains
Decidable and Expressive Classes of Probabilistic Automata
Knowledge = Observation + Memory + Computation
Compositional Metric Reasoning with Probabilistic Process Calculi
Semantics of Programming Languages II
Fragments of ML Decidable by Nested Data Class Memory Automata
Operational Nominal Game Semantics
Step-Indexed Logical Relations for Probability
Automata, Games, Verification
Minimisation of Multiplicity Tree Automata
Robust Multidimensional Mean-Payoff Games are Undecidable
The Cyclic-Routing UAV Problem Is PSPACE-Complete
Typing Weak MSOL Properties
Logical Aspects of Computational Complexity Three Variables Suffice for Real-Time Logic
On Presburger Arithmetic Extended with Modulo Counting Quantifiers
Parity Games of Bounded Tree- and Clique-Width
Type Theory, Proof Theory and Implicit Computational Complexity
Programming and Reasoning with Guarded Recursion for Coinductive Types
The Computational Contents of Ramified Corecurrence
On the Dependencies of Logical Rules
On the Mints Hierarchy in First-Order Intuitionistic Logic
Invited Talk
Polarized Substructural Session Types
Semantics of Programming Languages I
9.

電子ブック

EB
edited by Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9234
オンライン: http://dx.doi.org/10.1007/978-3-662-48057-1
10.

電子ブック

EB
edited by Nikhil Bansal, Irene Finocchi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9294
オンライン: http://dx.doi.org/10.1007/978-3-662-48350-3