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 Mohammad Reza Mousavi, Christian Berger
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9361
オンライン: http://dx.doi.org/10.1007/978-3-319-25141-7
3.

電子ブック

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
4.

電子ブック

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
5.

電子ブック

EB
edited by Grzegorz Rozenberg, Arto Salomaa, Jose M. Sempere, Claudio Zandron
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9504
オンライン: http://dx.doi.org/10.1007/978-3-319-28475-0
目次情報: 続きを見る
Information Theory in Genome Analysis
Towards a Theory of Life
An Excursion through Quantitative Model Refinement
Polarizationless P Systems with One Active Membrane
Bridging Deterministic P Systems and Conditional Grammars
Automated Verification of Stochastic Spiking Neural P Systems
Dynamically Changing Environment for Generalized Communicating P Systems
Spiking Neural P Systems with Structural Plasticity: Attacking the Subset Sum Problem
P Systems with Generalized Multisets over Totally Ordered Abelian Groups
On the Power of Catalytic P Systems with One Catalyst
An Integrated Model Checking Toolset for Kernel P Systems
A New Strategy to Improve the Performance of PDP-systems Simulators
Automatic Translation of MP+V Systems to Register Machines
On the Communication Complexity of the Vertex Cover Problem and 3-Satisfiability Problem in ECP systems
Membrane Computing Meets Temperature: A Thermoreceptor Model as Molecular Slide Rule with Evolutionary Potential
A Solution of Horn-SAT with P Systems Using Antimatter
Tissue P systems can be Simulated Efficiently with Counting Oracles
Simulating FRSN P systems with real numbers in P-Lingua on sequential and CUDA platforms
Pictures and Chomsky Languages in Array P System
Sorting Using Spiking Neural P Systems with Anti-Spikes and Rules on Synapses
Regulating Rule Application with Membrane Boundaries in P Systems
Structured Grid Algorithms Modelled with Complex Objects
Chemistry-inspired Adaptive Stream Processing
Computing Partial Recursive Functions by Virus Machines
About models derived from colonies
Information Theory in Genome Analysis
Towards a Theory of Life
An Excursion through Quantitative Model Refinement
6.

電子ブック

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
7.

電子ブック

EB
edited by Alessandro Fantechi, Patrizio Pelliccione
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9274
オンライン: http://dx.doi.org/10.1007/978-3-319-23129-7
目次情報: 続きを見る
Biological Immunity and Software Resilience: two faces of the same coin?
Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems: A decomposition method for the verification of a real-time safety-critical protocol
Considering execution environment resilience: A white-box approach: Engineering Cross-Layer Fault Tolerance in Many-Core Systems
Risk assessment based cloudification
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System
Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain
Tejo: a supervised anomaly detection scheme for NewSQL databases
Resiliency Variance in Workows with Choice
Biological Immunity and Software Resilience: two faces of the same coin?
Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems: A decomposition method for the verification of a real-time safety-critical protocol
Considering execution environment resilience: A white-box approach: Engineering Cross-Layer Fault Tolerance in Many-Core Systems
8.

電子ブック

EB
edited by Floor Koornneef, Coen van Gulijk
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9338
オンライン: http://dx.doi.org/10.1007/978-3-319-24249-1
9.

電子ブック

EB
edited by Mehdi Dastani, Marjan Sirjani
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9392
オンライン: http://dx.doi.org/10.1007/978-3-319-24644-4
目次情報: 続きを見る
Towards Smart Systems of Systems
Automated Integration of Service-oriented Software Systems
Software Architecture Modeling and Evaluation Based on Stochastic
Applicative Bisimulation and Quantum Lambda-Calculi
A Theory of Integrating Tamper Evidence with Stabilization
A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-based Distributed Systems
Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems
Benchmarks for Parity Games
A behavioral theory for a pi-calculus with preorders
Incremental Realization of Safety Requirements: Non-Determinism vs. Modularity
Analyzing Mutable Checkpointing
High Performance Computing Applications using Parallel Data Processing Units
Improved Iterative Methods for Verifying Markov Decision Processes
A Pre-congruence Format for XY-simulation
Tooled Process for Early Validation of SysML Models using Modelica Simulation
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
Painless support for static and runtime verification of component-based Applications
Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines
An Interval-Based Approach to Modelling Time in Event-B
From Event-B Models to Dafny Code Contracts
Towards Smart Systems of Systems
Automated Integration of Service-oriented Software Systems
Software Architecture Modeling and Evaluation Based on Stochastic
10.

電子ブック

EB
edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9447
オンライン: http://dx.doi.org/10.1007/978-3-319-25945-1