Search results for "stochastic process algebra"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle	An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA.	SOFSEM	2009	DBLP DOI BibTeX RDF	MTBDD, elimination of immediate transitions, stochastic process algebra
3	Lamia Djoudi, Leïla Kloul	Assembly Code Analysis Using Stochastic Process Algebra.	EPEW	2008	DBLP DOI BibTeX RDF	Performance analysis, Stochastic process algebra, Assembly code, Data dependencies graph, Code optimisation
2	Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore	Integrated Analysis from Abstract Stochastic Process Algebra Models.	CMSB	2008	DBLP DOI BibTeX RDF
2	Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas	Performance analysis of stochastic process algebra models using stochastic simulation.	IPDPS	2006	DBLP DOI BibTeX RDF
2	Jasen Markovski, Erik P. de Vink	Embedding Real Time in Stochastic Process Algebras.	EPEW	2006	DBLP DOI BibTeX RDF	Stochastic delay, weak choice, real-time and stochastic process algebra, race condition
2	Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero	Introducing the Iteration in sPBC.	FORTE	2004	DBLP DOI BibTeX RDF	Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra
2	Marco Bernardo, Lorenzo Donatiello, Paolo Ciancarini	Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language.	Performance	2002	DBLP DOI BibTeX RDF
2	Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink	First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders.	TACAS	2001	DBLP DOI BibTeX RDF
2	Graham Clark, William H. Sanders	Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
2	Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle	Towards Model Checking Stochastic Process Algebra.	IFM	2000	DBLP DOI BibTeX RDF
2	Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla	An example of performance evaluation by using the stochastic process algebra: ROSA.	RTCSA	2000	DBLP DOI BibTeX RDF	ROSA, algebraic language, performance indexes, Reasoning On Stochastic Algebras, average time to send a message, performance evaluation, performance evaluation, fault tolerance, real-time systems, formal methods, temporal logic, case studies, specification languages, process algebra, algebraic specification, stochastic process algebra, real-time requirements, designs specifications, Alternating Bit Protocol, temporal requirements
2	Henrik C. Bohnenkamp, Boudewijn R. Haverkort	Semi-numerical Solution of Stochastic Process Algebra Models.	ARTS	1999	DBLP DOI BibTeX RDF
1	Guang Zheng, Jinzhao Wu, Aiping Lu	Stochastic Process Algebra with Value-Passing and Weak Time Restrictions.	JSW	2011	DBLP DOI BibTeX RDF
1	Marcel C. Guenther, Jeremy T. Bradley	Higher Moment Analysis of a Spatial Stochastic Process Algebra.	EPEW	2011	DBLP DOI BibTeX RDF
1	Michael J. A. Smith	Compositional Abstractions for Long-Run Properties of Stochastic Systems.	QEST	2011	DBLP DOI BibTeX RDF	Stochastic Bounds, Compositional Abstraction, Performance Evaluation, Stochastic Process Algebra
1	Richard A. Hayden, Jeremy T. Bradley	Evaluating fluid semantics for passive stochastic process algebra cooperation.	Perform. Eval.	2010	DBLP DOI BibTeX RDF
1	Jie Ding, Jane Hillston	Fundamental Results on Fluid Approximations of Stochastic Process Algebra Models	CoRR	2010	DBLP BibTeX RDF
1	Jie Ding, Jane Hillston	Numerically Representing A Stochastic Process Algebra	CoRR	2010	DBLP BibTeX RDF
1	Jie Ding, Jane Hillston	Structural Analysis for Stochastic Process Algebra Models.	AMAST	2010	DBLP DOI BibTeX RDF
1	Mirco Tribastone	Relating layered queueing networks and process algebra models.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	pepa, process algebra, queueing networks
1	Vashti Galpin	Modelling Network Performance with a Spatial Stochastic Process Algebra.	AINA	2009	DBLP DOI BibTeX RDF
1	Jian Zhai, Qiusong Yang, Feng Su, Junchao Xiao, Qing Wang, Mingshu Li	Stochastic Process Algebra Based Software Process Simulation Modeling.	ICSP	2009	DBLP DOI BibTeX RDF
1	Leïla Kloul	From DFTs to PEPA: A Model-to-Model Transformation.	EPEW	2009	DBLP DOI BibTeX RDF
1	Guang Zheng, Jinzhao Wu, Lian Li	Stochastic Process Algebra with Value-Passing.	CSSE	2008	DBLP DOI BibTeX RDF
1	Martin Riedl, Johann Schuster, Markus Siegle	Recent Extensions to the Stochastic Process Algebra Tool CASPA.	QEST	2008	DBLP DOI BibTeX RDF
1	Jeremy T. Bradley	A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra.	EPEW	2008	DBLP DOI BibTeX RDF
1	Stephen Gilmore, Jane Hillston	Performance evaluation comes to life: quantitative methods applied to biological systems.	SIGMETRICS Performance Evaluation Review	2008	DBLP DOI BibTeX RDF	biochemical signalling pathways, systems biology, stochastic process algebra
1	Mirco Tribastone, Stephen Gilmore	Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile.	WOSP	2008	DBLP DOI BibTeX RDF	pepa, uml, marte
1	Thomas Krieger, Martin Riedl, Johann Schuster, Markus Siegle	A view-probability-matrix approach to the modelling of gossiping protocols.	SIGMETRICS Performance Evaluation Review	2008	DBLP DOI BibTeX RDF
1	Jasen Markovski, Erik P. de Vink	Extending Timed Process Algebra with Discrete Stochastic Time.	AMAST	2008	DBLP DOI BibTeX RDF
1	Wolfgang Renz, Jan Sudeikat	Modeling Feedback within MAS: A Systemic Approach to Organizational Dynamics.	AAMAS-OAMAS	2008	DBLP DOI BibTeX RDF
1	Allan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone	Partial Evaluation of PEPA Models for Fluid-Flow Analysis.	EPEW	2008	DBLP DOI BibTeX RDF
1	Luca Cardelli	From Processes to ODEs by Chemistry.	IFIP TCS	2008	DBLP DOI BibTeX RDF
1	Federica Ciocchetta, Jane Hillston	Process Algebras in Systems Biology.	SFM	2008	DBLP DOI BibTeX RDF
1	Jeremy T. Bradley, Richard A. Hayden, William J. Knottenbelt, Tamas Suto	Extracting Response Times from Fluid Analysis of Performance Models.	SIPEW	2008	DBLP DOI BibTeX RDF
1	Natalia López, Manuel Núñez, Fernando L. Pelayo	A Comparative Study of STOPA and RTPA.	Transactions on Computational Science	2008	DBLP DOI BibTeX RDF
1	Jane Hillston	Quantitative analysis of biochemical signalling pathways.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	biochemical signalling pathways, systems biology, stochastic process algebra
1	Ashok Argent-Katwala, Jeremy T. Bradley	Continuous PEPA queues: individual behaviour in continuous queueing networks.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	PEPA, continuous approximation, queueing networks, ODEs
1	Luca Cardelli	Invited Talk: A Process Algebra Master Equation.	QEST	2007	DBLP DOI BibTeX RDF
1	Allan Clark	The ipclib PEPA Library.	QEST	2007	DBLP DOI BibTeX RDF
1	Mirco Tribastone	The PEPA Plug-in Project.	QEST	2007	DBLP DOI BibTeX RDF
1	Joost-Pieter Katoen	Abstraction of Probabilistic Systems.	FORMATS	2007	DBLP DOI BibTeX RDF
1	Muffy Calder, Stephen Gilmore, Jane Hillston	Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA.	T. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF
1	Jeremy T. Bradley, Thomas Thorne	Stochastic Process Algebra Models of a Circadian Clock.	Simulation and Verification of Dynamic Systems	2006	DBLP BibTeX RDF
1	Tahiry Razafindralambo, Fabrice Valois	Performance evaluation of backoff algorithms in 802.11 ad-hoc networks.	PE-WASUN	2006	DBLP DOI BibTeX RDF	performance evaluation, ad-hoc networks, 802.11, backoffs algorithms
1	Ashok Argent-Katwala, Jeremy T. Bradley	Functional Performance Specification with Stochastic Probes.	EPEW	2006	DBLP DOI BibTeX RDF
1	Allan Clark, Stephen Gilmore	Evaluating Quality of Service for Service Level Agreements.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Adam Duguid	Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion.	FORMATS	2006	DBLP DOI BibTeX RDF
1	Tomasz Babczynski, Jan Magott	PERT Based Approach to Performance Analysis of Multi-Agent Systems.	ICAISC	2006	DBLP DOI BibTeX RDF
1	Tomasz Babczynski, Jan Magott	Estimation of mean response time of multi-agent systems.	SET	2006	DBLP DOI BibTeX RDF
1	Naoshi Tabuchi, Naoto Sato, Hiroaki Nakamura	Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra.	ECMDA-FA	2005	DBLP DOI BibTeX RDF
1	Jane Hillston	Fluid Flow Approximation of PEPA models.	QEST	2005	DBLP DOI BibTeX RDF
1	Peter G. Harrison	Performance Engineering and Stochastic Modelling.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
1	Paola Lecca, Corrado Priami, Paola Quaglia, B. Rossi, Carlo Laudanna, G. Constantin	A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment.	Simulation	2004	DBLP DOI BibTeX RDF
1	Natalia López, Manuel Núñez, Fernando L. Pelayo	STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems.	IEEE ICCI	2004	DBLP DOI BibTeX RDF
1	Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle	Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models.	WOSP	2004	DBLP DOI BibTeX RDF
1	Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo	Software performance modelling using PEPA nets.	WOSP	2004	DBLP DOI BibTeX RDF	PEPA nets, performance analysis, mobile objects
1	Andrew J. Bennett, A. J. Field	Performance Engineering with the UML Profile for Schedulability, Performance and Time: A Case Study.	MASCOTS	2004	DBLP DOI BibTeX RDF
1	Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko	Synthesis and Stochastic Assessment of Schedules for Lacquer Production.	QEST	2004	DBLP DOI BibTeX RDF
1	Jeremy T. Bradley, William J. Knottenbelt	The ipc/HYDRA Tool Chain for the Analysis of PEPA Models.	QEST	2004	DBLP DOI BibTeX RDF
1	Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas	How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
1	Matthias Kuntz, Markus Siegle, Edith Werner	Symbolic Performance and Dependability Evaluation with the Tool CASPA.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
1	Mario Bravetti	Real Time and Stochastic Time.	SFM	2004	DBLP DOI BibTeX RDF
1	Abdelmalek Benzekri, Osman Salem	A Software Performance Evaluation Approach Using Stochastic Process Algebra Tools.	Software Engineering Research and Practice	2003	DBLP BibTeX RDF
1	Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo	A New Synchronization in Finite Stochastic Petri Box Calculus.	ACSD	2003	DBLP DOI BibTeX RDF	Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra
1	Marco Bernardo	TwoTowers 3.0: Enhancing Usability. (PDF / PS)	MASCOTS	2003	DBLP DOI BibTeX RDF
1	Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt	Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler.	MASCOTS	2003	DBLP DOI BibTeX RDF
1	Ed Brinksma	Compositional Theories of Qualitative and Quantitative Behaviour.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Stephen Gilmore, Jane Hillston, Leïla Kloul	PEPA Nets.	MASCOTS Tutorials	2003	DBLP DOI BibTeX RDF
1	Stephen Gilmore, Leïla Kloul	A Unified Tool for Performance Modelling and Prediction.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Simonetta Balsamo, Marco Bernardo, Marta Simeoni	Performance Evaluation at the Software Architecture Level.	SFM	2003	DBLP DOI BibTeX RDF
1	Graham Clark, Jane Hillston	Product form solution for an insensitive stochastic process algebra structure.	Perform. Eval.	2002	DBLP DOI BibTeX RDF
1	Henrik C. Bohnenkamp	Compositional solution of stochastic process algebra models.		2002	RDF
1	Stephen Gilmore, Jane Hillston, Marina Ribaudo	PEPA Nets: A Structured Performance Modelling Formalism.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
1	Natalia López, Manuel Núñez, Fernando Rubio	Stochastic Process Algebras Meet Eden.	IFM	2002	DBLP DOI BibTeX RDF	functional programming, Process algebras
1	Matthias Kuntz, Markus Siegle	Deriving Symbolic Representations from Stochastic Process Algebras.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
1	Howard Bowman, Jeremy Bryans, John Derrick	Analysis of a Multimedia Stream using Stochastic Process Algebra.	Comput. J.	2001	DBLP DOI BibTeX RDF
1	Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort	Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
1	Alessandro Aldini, Marco Bernardo, Roberto Gorrieri, Marco Roccetti	Comparing the QoS of Internet audio mechanisms via formal methods.	ACM Trans. Model. Comput. Simul.	2001	DBLP DOI BibTeX RDF	Internet audio mechanisms, quality of service, software tools, case studies, discrete event simulation, stochastic process algebras
1	Holger Hermanns, Joost-Pieter Katoen	Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains.	CONCUR	2001	DBLP DOI BibTeX RDF
1	Nigel Thomas, Malcolm Munro, Peter J. B. King, Rob Pooley	Visual representation of stochastic process algebra models.	Workshop on Software and Performance	2000	DBLP DOI BibTeX RDF	model comprehension, process algebra, visualisation
1	Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo	Exploiting Modal Logic to Express Performance Measures.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
1	Holger Hermanns, Markus Siegle	Symbolic Minimisation of Stochastic Process Algebra Models.	FBT	1999	DBLP BibTeX RDF
1	Graham Clark, Stephen Gilmore, Jane Hillston	Specifying Performance Measures for PEPA.	ARTS	1999	DBLP DOI BibTeX RDF
1	Holger Hermanns, Vassilis Mertsiotakis, Markus Siegle	TIPPtool: Compositional Specification and Analysis of Markovian Performance Models.	CAV	1999	DBLP DOI BibTeX RDF
1	Marco Bernardo	An Algebra-Based Method to Associate Rewards with EMPA Terms.	ICALP	1997	DBLP DOI BibTeX RDF
1	Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach	A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP.	TACAS	1996	DBLP DOI BibTeX RDF
1	Corrado Priami	Integrating Behavioural and Performance Analysis with Topology Information. (PDF / PS)	HICSS	1996	DBLP DOI BibTeX RDF