A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis

No abstract is available for this paper.

• Publication year

  2010

• Venue

  IEEE International Conference on Software Engineering and Formal Methods

• Publication date

  2010-09-13

• Fields of study

  Mathematics, Computer Science, Engineering

• Identifiers
  DOI 10.1109/SEFM.2010.22
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• CADP 2011: a toolbox for the construction and analysis of distributed processes

  2012cited by this paper
• Scalable Differential Analysis of Process Algebra Models

  2012influential reference
• A fluid analysis framework for a Markovian process algebra

  2010cited by this paper
• Scalable analysis of collective behaviour in smart service systems

  2010cited by this paper
• Model Checking Dynamic Memory Allocation in Operating Systems

  2009cited by this paper
• Bio-PEPA: A framework for the modelling and analysis of biological systems

  2009influential reference
• Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach

  2009cited by this paper
• Engineering crowd interaction within smart environments

  2009cited by this paper
• Reasoning about sequences of memory states

  2007cited by this paper
• Revamping TVLA: Making Parametric Shape Analysis Competitive

  2007cited by this paper
• The PEPA Plug-in Project

  2007influential reference
• First-Order and Temporal Logics for Nested Words

  2007cited by this paper
• Model Checking Dynamic States in GROOVE

  2006cited by this paper
• A Local Shape Analysis Based on Separation Logic

  2006cited by this paper
• Abstract Regular Tree Model Checking of Complex Dynamic Data Structures

  2006cited by this paper
• Improving software security with a C pointer analysis

  2005cited by this paper
• Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking

  2005cited by this paper
• Fluid flow approximation of PEPA models

  2005influential reference
• A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)

  2005cited by this paper
• A Critical Review Of Emergency Evacuation Simulation Models

  2004influential reference
• A Temporal Logic of Nested Calls and Returns

  2004cited by this paper
• Verifying Temporal Heap Properties Specified via Evolution Logic

  2003cited by this paper
• Separation logic: a logic for shared mutable data structures

  2002cited by this paper
• Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning

  2002cited by this paper
• Automatic predicate abstraction of C programs

  2001cited by this paper
• Reasoning about Interactive Systems with Stochastic Models

  2001cited by this paper
• Modal Transition Systems: A Foundation for Three-Valued Program Analysis

  2001cited by this paper
• Bandera: extracting finite-state models from Java source code

  2000cited by this paper
• Model checking JAVA programs using JAVA PathFinder

  2000cited by this paper
• The pointer assertion logic engine

  2000cited by this paper
• dSPIN: A Dynamic Extension of SPIN

  1999cited by this paper
• Parametric shape analysis via 3-valued logic

  1999cited by this paper
• Shape types

  1997cited by this paper
• A compositional approach to performance modelling

  1996cited by this paper
• Modal and Temporal Logics for Processes

  1996cited by this paper
• An Analysis of Bitstate Hashing

  1995cited by this paper
• Graph types

  1993cited by this paper
• Abstractions for recursive pointer data structures: improving the analysis and transformation of imperative programs

  1992cited by this paper
• Handbook of Human Reliability Analysis With Emphasis on Nuclear Power Plant Applications

  1980cited by this paper
• Exact Stochastic Simulation of Coupled Chemical Reactions

  1977cited by this paper
• Solutions of ordinary differential equations as limits of pure jump markov processes

  1970cited by this paper
• Proceedings of the 5th Symposium on Operating Systems Design and Implementation Cmc: a Pragmatic Approach to Model Checking Real Code

  year unknowncited by this paper

• Stochastic Approximations in Model Checking: A New Scalable Approach to Collective Systems Verification

  2017cites this paper
• Combining Simulation and Mean Field Analysis in Quantitative Evaluation of Crowd Evacuation Scenarios

  2016cites this paper
• STOCHASTIC PROCESS CALCULI FOR HUMAN-COMPUTER INTERACTION

  2015cites this paper
• Performance modelling of applications in a smart environment

  2013cites this paper
• Continuous approximation of collective system behaviour: A tutorial

  2013cites this paper
• Invited Response to Computer Journal Lecture by Prof. Jane Hillston

  2012cites this paper
• Stochastic Process Algebras: From Individuals to Populations

  2012cites this paper
• Under consideration for publication in Formal Aspects of Computing Scalable Context-dependent Analysis of Emergency Egress Models

  2011cites this paper
• Modelling Non-linear Crowd Dynamics in Bio-PEPA

  2011cites this paper
• Scalable performance analysis of massively parallel stochastic systems

  2011cites this paper
• Higher Moment Analysis of a Spatial Stochastic Process Algebra

  2011cites this paper
• A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour

  2010cites this paper
• Modelling Crowd Dynamics in Bio-PEPA – Extended Abstract –

  2010cites this paper