Stochastic processes as concurrent constraint programs
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Let's evaluate performance algebraically
ACM Computing Surveys (CSUR)
Software engineering and performance: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Proceedings of the 2nd international workshop on Software and performance
An Efficient Algorithm for Aggregating PEPA Models
IEEE Transactions on Software Engineering
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
Process algebra for performance evaluation
Theoretical Computer Science
Exploiting structure in solution: decomposing compositional models
Lectures on formal methods and performance analysis
General distributions in process algebra
Lectures on formal methods and performance analysis
Language-based performance prediction for distributed and mobile systems
Information and Computation
The theory of interactive generalized semi-Markov processes
Theoretical Computer Science
Diagnosis of discrete-event systems from uncertain temporal observations
Artificial Intelligence
Combining stochastic process algebras and queueing networks for software architecture analysis
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
The Möbius Framework and Its Implementation
IEEE Transactions on Software Engineering
Performance measure sensitive congruences for Markovian process algebras
Theoretical Computer Science
Discrete time generative-reactive probabilistic processes with different advancing speeds
Theoretical Computer Science
Performance modelling of hierarchical cellular networks using PEPA
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Product form solution for an insensitive stochastic process algebra structure
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Integrating TwoTowers and GreatSPN through a compact net semantics
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Process algebras for systems diagnosis
Artificial Intelligence
Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Advances in Model Representations
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Possibilistic and Probabilistic Abstraction-Based Model Checking
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Deriving Symbolic Representations from Stochastic Process Algebras
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Reasoning about Interactive Systems with Stochastic Models
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Theory of Testing for Markovian Processes
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Compositional Performance Analysis Using Probabilistic I/O Automata
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Performance Evaluation: = (Process Algebra + Model Checking) × Markov Chains
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A Testing Theory for Generally Distributed Stochastic Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Automated Performance and Dependability Evaluation Using Model Checking
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
On Combining Functional Verification and Performance Evaluation Using CADP
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Compositional Performance Modelling with TIPPtool
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
A Passage-Time Preserving Equivalence for Semi-Markov Processes
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
PEPA Nets: A Structured Performance Modelling Formalism
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Towards Model Checking Stochastic Process Algebra
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Stochastic Process Algebras Meet Eden
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Specifying Performance Measures for PEPA
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Exploiting Modal Logic to Express Performance Measures
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Model checking stochastic automata
ACM Transactions on Computational Logic (TOCL)
PEPA nets: a structured performance modelling formalism
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Optimal state-space lumping in Markov chains
Information Processing Letters
Software performance modelling using PEPA nets
WOSP '04 Proceedings of the 4th international workshop on Software and performance
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Probabilistic weak simulation is decidable in polynomial time
Information Processing Letters
Merging paradigms of survivability and security: stochastic faults and designed faults
Proceedings of the 2003 workshop on New security paradigms
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Metrics for labelled Markov processes
Theoretical Computer Science - Logic, semantics and theory of programming
Simulation and verification I: design environments for complex systems
Proceedings of the 35th conference on Winter simulation: driving innovation
Performance modelling of computer networks
LANC '03 Proceedings of the 2003 IFIP/ACM Latin America conference on Towards a Latin American agenda for network research
A hierarchy of probabilistic system types
Theoretical Computer Science - Selected papers of CMCS'03
Predictive Performance Modelling of Parallel Component Composition
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 15 - Volume 16
QoS modelling and analysis with UML-statecharts: the StoCharts approach
ACM SIGMETRICS Performance Evaluation Review
Product-form and stochastic Petri nets: a structural approach
Performance Evaluation
A brief history of process algebra
Theoretical Computer Science - Process algebra
Comparative branching-time semantics for Markov chains
Information and Computation
The coarsest congruence for timed automata with deadlines contained in bisimulation
CONCUR 2005 - Concurrency Theory
A theory of stochastic systems: part II: process algebra
Information and Computation
Symmetry in temporal logic model checking
ACM Computing Surveys (CSUR)
Analysis of the SET e-commerce protocol using a true concurrency process algebra
Proceedings of the 2006 ACM symposium on Applied computing
Computation and communication refinement for multiprocessor SoC design: A system-level perspective
Proceedings of the 41st annual Design Automation Conference
Visual security protocol modeling
NSPW '05 Proceedings of the 2005 workshop on New security paradigms
Approximation in non-product form finite capacity queue systems
Future Generation Computer Systems - Systems performance analysis and evaluation
Simulation and verification for computational modelling of signalling pathways
Proceedings of the 38th conference on Winter simulation
Modal Logic Characterization of Markovian Testing and Trace Equivalences
Electronic Notes in Theoretical Computer Science (ENTCS)
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
Backward Bisimulation in Markov Chain Model Checking
IEEE Transactions on Software Engineering
Predictive performance modelling of parallel component compositions
Cluster Computing
Parametric Performance Contracts for Software Components with Concurrent Behaviour
Electronic Notes in Theoretical Computer Science (ENTCS)
Mixing logics and rewards for the component-oriented specification of performance measures
Theoretical Computer Science
Theoretical Computer Science
Probabilistic model checking of complex biological pathways
Theoretical Computer Science
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Continuous PEPA queues: individual behaviour in continuous queueing networks
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Quantitative analysis of biochemical signalling pathways
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
A congruence relation for sPBC
Formal Methods in System Design
Mathematical Structures in Computer Science
A framework for performance evaluation and functional verification in stochastic process algebras
Proceedings of the 2008 ACM symposium on Applied computing
Performance evaluation comes to life: quantitative methods applied to biological systems
ACM SIGMETRICS Performance Evaluation Review
Using probabilistic model checking in systems biology
ACM SIGMETRICS Performance Evaluation Review
Electronic Notes in Theoretical Computer Science (ENTCS)
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Relating continuous and discrete PEPA models of signalling pathways
Theoretical Computer Science
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Effective Minimization of Acyclic Phase-Type Representations
ASMTA '08 Proceedings of the 15th international conference on Analytical and Stochastic Modeling Techniques and Applications
Hybrid Semantics for Stochastic π-Calculus
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Modelling the CoCoME with the Java/A Component Model
The Common Component Modeling Example
Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Partial Evaluation of PEPA Models for Fluid-Flow Analysis
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Towards State Space Reduction Based on T-Lumpability-Consistent Relations
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
State-Aware Performance Analysis with eXtended Stochastic Probes
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
A simplified framework for stochastic workflow networks
Computers & Mathematics with Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
HYPE Applied to the Modelling of Hybrid Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Synapses as stochastic concurrent systems
Theoretical Computer Science
A Fluid Flow Approach to Usability Analysis of Multi-user Systems
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
Integrated Analysis from Abstract Stochastic Process Algebra Models
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
The Continuous π-Calculus: A Process Algebra for Biochemical Modelling
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation
Electronic Notes in Theoretical Computer Science (ENTCS)
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions
Fundamenta Informaticae
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
Transactions on Computational Systems Biology IX
The BlenX Language with Biological Transactions
Transactions on Computational Systems Biology IX
Theoretical Computer Science
Improved Continuous Approximation of PEPA Models through Epidemiological Examples
Electronic Notes in Theoretical Computer Science (ENTCS)
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
Electronic Notes in Theoretical Computer Science (ENTCS)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
ACM SIGMETRICS Performance Evaluation Review
Concurrency, σ -Algebras, and Probabilistic Fairness
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Scalable Analysis of Scalable Systems
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Trustworthy Global Computing
Compositionality for Markov reward chains with fast and silent transitions
Performance Evaluation
Quantitative Analysis of Web Services Using SRMC
Formal Methods for Web Services
Engineering crowd interaction within smart environments
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
From Coordination to Stochastic Models of QoS
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Mean Value Analysis for a Class of PEPA Models
EPEW '09 Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering
EPEW '09 Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering
Compositional Abstraction for Stochastic Systems
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach
INTERACT '09 Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part I
Equivalence and Discretisation in Bio-PEPA
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Formalisms for Specifying Markovian Population Models
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
Short communication: Product-forms and functional rates
Performance Evaluation
Mutation testing from probabilistic and stochastic finite state machines
Journal of Systems and Software
Electronic Notes in Theoretical Computer Science (ENTCS)
On the computational power of BlenX
Theoretical Computer Science
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
Fundamenta Informaticae - Application of Concurrency to System Design
Fundamenta Informaticae - Application of Concurrency to System Design
On a Uniform Framework for the Definition of Stochastic Process Languages
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
A Statistical Approach to Test Stochastic and Probabilistic Systems
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Response time distributions and network perturbation into product-form
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Performance Evaluation of Security Protocols Specified in LySa
Electronic Notes in Theoretical Computer Science (ENTCS)
Performability of a Secure Electronic Voting Algorithm
Electronic Notes in Theoretical Computer Science (ENTCS)
Securing Statically-verified Communications Protocols Against Timing Attacks
Electronic Notes in Theoretical Computer Science (ENTCS)
Continuous-Time Probabilistic KLAIM
Electronic Notes in Theoretical Computer Science (ENTCS)
A Quantitative Study of Two Attacks
Electronic Notes in Theoretical Computer Science (ENTCS)
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model
Electronic Notes in Theoretical Computer Science (ENTCS)
Trace Machines for Observing Continuous-Time Markov Chains
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantitative Analysis With the Probabilistic Model Checker PRISM
Electronic Notes in Theoretical Computer Science (ENTCS)
A theory of Stochastic systems. Part II: Process algebra
Information and Computation
Comparative branching-time semantics for Markov chains
Information and Computation
Relating layered queueing networks and process algebra models
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Synthesising PEPA nets from IODs for performance analysis
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Stochastic Models for Dependable Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Bio-PEPA for Epidemiological Models
Electronic Notes in Theoretical Computer Science (ENTCS)
A Langevin Interpretation of PEPA Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Evaluating fluid semantics for passive stochastic process algebra cooperation
Performance Evaluation
Evaluating quality of service for service level agreements
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Bisimulation minimisation mostly speeds up probabilistic model checking
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Component connectors with QoS guarantees
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
A survey of Markovian behavioral equivalences
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
A stochastic pi calculus for concurrent objects
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Performability assessment by model checking of Markov reward models
Formal Methods in System Design
Scalable analysis of collective behaviour in smart service systems
Proceedings of the 2010 ACM Symposium on Applied Computing
Formal testing of systems presenting soft and hard deadlines
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
SENSORIA process calculi for service-oriented computing
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Abstraction of probabilistic systems
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Compositionality for Markov reward chains with fast transitions
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
SPAMR: extending PAMR with stochastic time
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
Faster SPDL model checking through property-driven state space generation
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
Expressive models for synaptic plasticity
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Process algebras in systems biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
How fast and fat is your probabilistic model checker? an experimental performance comparison
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Formal analysis of BPMN via a translation into COWS
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Structural operational semantics for stochastic process calculi
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Replicating web services for scalability
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Location-aware quality of service measurements for service-level agreements
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
A comparative study of STOPA and RTPA
Transactions on computational science II
Semantics for structured systems modelling and simulation
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Experience of building an architecture-based generator using GenVoca for distributed systems
Science of Computer Programming
Efficient solutions of a PEPA model of a key distribution centre
Performance Evaluation
Structural operational semantics for weighted transition systems
Semantics and algebraic specification
Symbolic partition refinement with automatic balancing of time and space
Performance Evaluation
Wireless Personal Communications: An International Journal
Proceedings of the 6th ACM workshop on QoS and security for wireless and mobile networks
Weak bisimulation for Probabilistic Timed Automata
Theoretical Computer Science
Performance and security tradeoff
SFM'10 Proceedings of the Formal methods for quantitative aspects of programming languages, and 10th international conference on School on formal methods for the design of computer, communication and software systems
Performance analysis modeling applied to business processes
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Limit behavior of the hybrid approximation of stochastic process algebras
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
Characterising effective resource analyses for parallel and distributed coordination
FOPARA'09 Proceedings of the First international conference on Foundational and practical aspects of resource analysis
Process algebras for collective dynamics
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Towards architecture-centric software generation
ECSA'10 Proceedings of the 4th European conference on Software architecture
Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic processes
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Approximate model checking of stochastic COWS
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Performance analysis of stochastic Process algebra models using stochastic simulation
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Modelling job allocation where service duration is unknown
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
A design environment for mobile applications
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Role activity diagrams as finite state processes
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Process Algebra with Hooks for Models of Pattern Formation
Electronic Notes in Theoretical Computer Science (ENTCS)
Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional abstraction of PEPA models for transient analysis
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
The how and why of interactive Markov chains
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Performance prediction of service-oriented systems with layered queueing networks
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Modular performance modelling for mobile applications
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Probabilistic approximations of ODEs based bio-pathway dynamics
Theoretical Computer Science
A semantic equivalence for Bio-PEPA based on discretisation of continuous values
Theoretical Computer Science
Early model-analysis of logistics systems
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Design and development of software tools for Bio-PEPA
Winter Simulation Conference
Analysis of non-product form parallel queues using Markovian process algebra
Network performance engineering
Product-form solution in PEPA via the reversed process
Network performance engineering
Simulation of Markovian models using bootstrap method
Proceedings of the 2010 Summer Computer Simulation Conference
Transactions on computational systems biology XIII
Non-functional properties in the model-driven development of service-oriented systems
Software and Systems Modeling (SoSyM)
A probabilistic energy-aware model for mobile ad-hoc networks
ASMTA'11 Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications
Osteoporosis: a multiscale modeling viewpoint
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Equivalences for a biological process algebra
Theoretical Computer Science
On quantitative security policies
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
The SENSORIA reference modelling language
Rigorous software engineering for service-oriented systems
SoSL: a service-oriented stochastic logic
Rigorous software engineering for service-oriented systems
Evaluating service level agreements using observational probes
Rigorous software engineering for service-oriented systems
Scaling performance analysis using fluid-flow approximation
Rigorous software engineering for service-oriented systems
Passage-end analysis for analysing robot movement
Rigorous software engineering for service-oriented systems
Quantitative analysis of services
Rigorous software engineering for service-oriented systems
International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
Fluid computation of passage-time distributions in large Markov models
Theoretical Computer Science
Functional performance specification with stochastic probes
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Embedding real time in stochastic process algebras
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Implementation relations for stochastic finite state machines
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Probabilistic linda-based coordination languages
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Bio-PEPAd: A non-Markovian extension of Bio-PEPA
Theoretical Computer Science
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Probabilistic model checking of complex biological pathways
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Semantic-Based development of service-oriented systems
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Compositional specification and analysis of cost-based properties in probabilistic programs
FM'05 Proceedings of the 2005 international conference on Formal Methods
End-to-end integrated security and performance analysis on the DEGAS choreographer platform
FM'05 Proceedings of the 2005 international conference on Formal Methods
Embedded Systems Design
Abstract machines of systems biology
Transactions on Computational Systems Biology III
On evaluating the performance of security protocols
PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies
Stochastic transition systems for continuous state spaces and non-determinism
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Choreographing security and performance analysis for web services
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Efficient vector-descriptor product exploiting time-memory trade-offs
ACM SIGMETRICS Performance Evaluation Review
Weak stochastic bisimulation for non-markovian processes
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Model-Driven performance analysis of UML design models based on stochastic process algebra
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Quantitative refinement and model checking for the analysis of probabilistic systems
FM'06 Proceedings of the 14th international conference on Formal Methods
Probabilistic i/o automata: theories of two equivalences
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Programming-logic analysis of fault tolerance: expected performance of self-stabilisation
Rigorous Development of Complex Fault-Tolerant Systems
A compositional approach to the stochastic dynamics of gene networks
Transactions on Computational Systems Biology IV
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Assessing the expressivity of formal specification languages
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
A tactic-driven process for developing reusable components
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Stochastic reasoning about channel-based component connectors
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Transactions on Computational Systems Biology VII
Gene regulation in the pi calculus: simulating cooperativity at the lambda switch
Transactions on Computational Systems Biology VII
Modelling and analysis of the NF-κB pathway in bio-PEPA
Transactions on Computational Systems Biology XII
Model checking interactive markov chains
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Towards model checking stochastic aspects of the thinkteam user interface
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Lumpability abstractions of rule-based systems
Theoretical Computer Science
Typed stochastic semantics for the calculus of looping sequences
Theoretical Computer Science
Dynamic aspects and behaviors of complex systems in performance and reliability assessment
ACM SIGMETRICS Performance Evaluation Review
Higher moment analysis of a spatial stochastic process algebra
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Visualisation for stochastic process algebras: the graphic truth
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Stochastic specification and verification
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Compositional reasoning for markov decision processes
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
On the complexity of computing probabilistic bisimilarity
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Evolving Bio-PEPA process algebra models using genetic programming
Proceedings of the 14th annual conference on Genetic and evolutionary computation
New results for Constraint Markov Chains
Performance Evaluation
Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
Fundamenta Informaticae - Application of Concurrency to System Design
Fundamenta Informaticae - Application of Concurrency to System Design
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions
Fundamenta Informaticae
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
Weak markovian bisimulation congruences and exact CTMC-Level aggregations for sequential processes
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
MULE-Based wireless sensor networks: probabilistic modeling and quantitative analysis
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Evaluating resistance to jamming and casual interception in mobile wireless networks
Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
Exact fluid lumpability for Markovian process algebra
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Broadcast abstraction in a stochastic calculus for mobile networks
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
A formal framework to test soft and hard deadlines in timed systems
Software Testing, Verification & Reliability
CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology
Modelling trafficking of proteins within the mammalian cell using Bio-PEPA
CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology
Scale-Freeness of SPA models with weighted immediate actions
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Compositional approximate markov chain aggregation for PEPA models
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Formal performance modelling: from protocols to people
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Don't just go with the flow: cautionary tales of fluid flow approximation
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Scale-Freeness of SPA models with weighted immediate actions
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Compositional approximate markov chain aggregation for PEPA models
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Formal performance modelling: from protocols to people
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Don't just go with the flow: cautionary tales of fluid flow approximation
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Continuous approximation of collective system behaviour: A tutorial
Performance Evaluation
Structural operational semantics for stochastic and weighted transition systems
Information and Computation
A uniform definition of stochastic process calculi
ACM Computing Surveys (CSUR)
Electronic Notes in Theoretical Computer Science (ENTCS)
Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC
Electronic Notes in Theoretical Computer Science (ENTCS)
An approach for lifetime reliability analysis using theorem proving
Journal of Computer and System Sciences
From software verification to `everyware' verification
Computer Science - Research and Development
A compositional model to reason about end-to-end QoS in Stochastic Reo connectors
Science of Computer Programming
Tackling continuous state-space explosion in a Markovian process algebra
Theoretical Computer Science
Behavioural equivalences and interference metrics for mobile ad-hoc networks
Performance Evaluation
On Conditions for Modular Verification in Systems of Synchronising Components
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
| Hi-index | 0.02 |