Search results for "pepa"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Juliana Küster Filipe Bowles, Leïla Kloul	A Strongly Consistent Transformation from UML Interactions to PEPA Nets.	ICCSA (5)	2014	DBLP DOI BibTeX RDF
22	Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, Mauro Birattari	On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics.	Swarm Intell.	2013	DBLP DOI BibTeX RDF
22	Alireza Pourranjbar, Jane Hillston	An Aggregation Technique For Large-Scale PEPA Models With Non-Uniform Populations.	CoRR	2013	DBLP BibTeX RDF
22	Alireza Pourranjbar, Jane Hillston	An aggregation technique for large-scale PEPA models with non-uniform populations.	VALUETOOLS	2013	DBLP DOI BibTeX RDF
22	Nigel Thomas, Peter G. Harrison	Semi-Product-Form Solution for PEPA Models with Functional Rates.	ASMTA	2013	DBLP DOI BibTeX RDF
22	Anastasis Georgoulas, Maria Luisa Guerriero	A Software Interface Between the Narrative Language and Bio-PEPA.	CS2Bio	2012	DBLP DOI BibTeX RDF
22	Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston	Conservation of Mass Analysis for Bio-PEPA.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
22	Xian Yang 0001, Rui Han 0001, Yike Guo, Jeremy T. Bradley, Benita Cox, Robert Dickinson, Richard Kitney	Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA.	BMC Bioinform.	2012	DBLP DOI BibTeX RDF
22	Giulio Caravagna, Jane Hillston	Bio-PEPAd: A non-Markovian extension of Bio-PEPA.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
22	Dimitrios Milios, Stephen Gilmore	Compositional Approximate Markov Chain Aggregation for PEPA Models.	EPEW/UKPEW	2012	DBLP DOI BibTeX RDF
22	Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, Mauro Birattari	Analysing Robot Swarm Decision-Making with Bio-PEPA.	ANTS	2012	DBLP DOI BibTeX RDF
22	Soufiene Benkirane, Rachel Norman, Erin Scott, Carron Shankland	Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra.	FM	2012	DBLP DOI BibTeX RDF
22	David Marco, Carron Shankland, David E. Cairns	Evolving Bio-PEPA process algebra models using genetic programming.	GECCO	2012	DBLP DOI BibTeX RDF
22	David Marco, Erin Scott, David E. Cairns, Andrea Graham, Judi Allen, Simmi Mahajan, Carron Shankland	Investigating Co-infection Dynamics through Evolution of Bio-PEPA Model Parameters: A Combined Process Algebra and Evolutionary Computing Approach.	CMSB	2012	DBLP DOI BibTeX RDF
22	Vashti Galpin	Modelling Trafficking of Proteins within the Mammalian Cell Using Bio-PEPA.	CMSB	2012	DBLP DOI BibTeX RDF
22	Ismail Fakhfakh, Marc Le Goc, Luis Torres, Corinne Curt	Modeling Dynamic Systems for Diagnosis - PEPA/TOM4D Comparison.	ICEIS (1)	2012	DBLP BibTeX RDF
22	Peter G. Harrison, Nigel Thomas	Product-Form Solution in PEPA via the Reversed Process.	Network Performance Engineering	2011	DBLP DOI BibTeX RDF
22	Laurence Loewe, Maria Luisa Guerriero, Steven Watterson, Stuart L. Moodie, Peter Ghazal, Jane Hillston	Translation from the Quantified Implicit Process Flow Abstraction in SBGN-PD Diagrams to Bio-PEPA Illustrated on the Cholesterol Pathway.	Trans. Comp. Sys. Biology	2011	DBLP DOI BibTeX RDF
22	Vashti Galpin, Jane Hillston	A semantic equivalence for Bio-PEPA based on discretisation of continuous values.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
22	Jie Ding, Zhigui Lin, Ting Yu	On reaction-diffusion equations derived from a PEPA model.	Appl. Math. Lett.	2011	DBLP DOI BibTeX RDF
22	Nigel Thomas, Yishi Zhao	Mean value analysis for a class of PEPA models.	Comput. J.	2011	DBLP DOI BibTeX RDF
22	Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston	Modelling Non-linear Crowd Dynamics in Bio-PEPA.	FASE	2011	DBLP DOI BibTeX RDF
22	Yishi Zhao, Nigel Thomas	A Simplified Solution of a PEPA Model of Kerberos Protocol.	CyberC	2011	DBLP DOI BibTeX RDF
22	Yishi Zhao	Practical applications of performance modelling of security protocols using PEPA.		2011	RDF
22	Federica Ciocchetta, Andrea Degasperi, John K. Heath, Jane Hillston	Modelling and Analysis of the NF-kappaB Pathway in Bio-PEPA.	Trans. Comp. Sys. Biology	2010	DBLP DOI BibTeX RDF
22	Giulio Caravagna, Jane Hillston	Modeling biological systems with delays in Bio-PEPA	MeCBIC	2010	DBLP DOI BibTeX RDF
22	Yishi Zhao, Nigel Thomas	Efficient solutions of a PEPA model of a key distribution centre.	Perform. Evaluation	2010	DBLP DOI BibTeX RDF
22	Vashti Galpin	Continuous approximation of PEPA models and Petri nets.	Int. J. Comput. Aided Eng. Technol.	2010	DBLP DOI BibTeX RDF
22	Michael J. A. Smith	Compositional Abstraction of PEPA Models for Transient Analysis.	EPEW	2010	DBLP DOI BibTeX RDF
22	Michael J. A. Smith	Abstraction and Model Checking in the PEPA Plug-In for Eclipse.	QEST	2010	DBLP DOI BibTeX RDF
22	Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone	Hybrid Semantics for PEPA.	QEST	2010	DBLP DOI BibTeX RDF
22	Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Peter Kemper	On verifying Bio-PEPA models.	CMSB	2010	DBLP DOI BibTeX RDF
22	Mirco Tribastone, Stephen Gilmore	Large-Scale Modelling with the PEPA Eclipse Plug-In.	OR	2010	DBLP DOI BibTeX RDF
22	Federica Ciocchetta, Jane Hillston	Bio-PEPA for Epidemiological Models.	PASM@MASCOTS	2009	DBLP DOI BibTeX RDF
22	Joris Slegers	A Langevin Interpretation of PEPA Models.	PASM@MASCOTS	2009	DBLP DOI BibTeX RDF
22	Mirco Tribastone, Adam Duguid, Stephen Gilmore	The PEPA eclipse plugin.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF	Eclipse
22	Federica Ciocchetta, Jane Hillston	Bio-PEPA: A framework for the modelling and analysis of biological systems.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
22	Laurence Loewe, Stuart L. Moodie, Jane Hillston	Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA	COMPMOD	2009	DBLP DOI BibTeX RDF
22	Federica Ciocchetta, Adam Duguid, Maria Luisa Guerriero	A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA	MeCBIC	2009	DBLP DOI BibTeX RDF
22	Federica Ciocchetta, Andrea Degasperi, John K. Heath, Jane Hillston	Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA.	Formal Methods in Molecular Biology	2009	DBLP BibTeX RDF
22	Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston	The Bio-PEPA Tool Suite.	QEST	2009	DBLP DOI BibTeX RDF
22	Adam Duguid, Stephen T. Gilmore, Maria Luisa Guerriero, Jane Hillston, Laurence Loewe	Design and Development of Software Tools for Bio-PEPA.	WSC	2009	DBLP DOI BibTeX RDF
22	Yishi Zhao, Nigel Thomas	Comparing Methods for the Efficient Analysis of PEPA Models of Non-repudiation Protocols.	ICPADS	2009	DBLP DOI BibTeX RDF
22	Hongwu Lv, Huiqiang Wang, Qian Zhao, Chunguang Ma	Modeling and Analysis of Self-Reflection Based on Continuous State-Space Approximation of PEPA.	DASC	2009	DBLP DOI BibTeX RDF
22	Federica Ciocchetta, Maria Luisa Guerriero	Modelling Biological Compartments in Bio-PEPA.	MeCBIC	2008	DBLP DOI BibTeX RDF
22	Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder	Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA.	FBTC@ICALP	2008	DBLP DOI BibTeX RDF
22	Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland	Improved Continuous Approximation of PEPA Models through Epidemiological Examples.	FBTC@ICALP	2008	DBLP DOI BibTeX RDF
22	Nil Geisweiller, Jane Hillston, Marco Stenico	Relating continuous and discrete PEPA models of signalling pathways.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
22	Ashok Argent-Katwala, Jeremy T. Bradley	PEPA Queues: Capturing Customer Behaviour in Queueing Networks.	QAPL	2007	DBLP DOI BibTeX RDF
22	Jane Hillston, Leïla Kloul	Formal techniques for performance analysis: blending SAN and PEPA.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF
22	Jane Hillston	Population models from PEPA descriptions.	Simulation and Verification of Dynamic Systems	2006	DBLP BibTeX RDF
22	Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston	Scheduling Skeleton-Based Grid Applications Using PEPA and NWS.	Comput. J.	2005	DBLP DOI BibTeX RDF
22	Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo	PEPA nets: a structured performance modelling formalism.	Perform. Evaluation	2003	DBLP DOI BibTeX RDF
22	Jean-Michel Fourneau, Leïla Kloul, Fabrice Valois	Performance modelling of hierarchical cellular networks using PEPA.	Perform. Evaluation	2002	DBLP DOI BibTeX RDF
22	Jane Hillston, J. Tomasik	Amalgamation of Transition Sequences in the PEPA Formalism.	ICALP Satellite Workshops	2000	DBLP BibTeX RDF
22	Stephen Gilmore, Jane Hillston	The PEPA Feature Construct.	FIREworks	2000	DBLP DOI BibTeX RDF
22	Luca Console, Claudia Picardi, Marina Ribaudo	Diagnosis and Diagnosability Analysis Using PEPA.	ECAI	2000	DBLP BibTeX RDF
22	Graham Clark, Stephen Gilmore, Jane Hillston, Nigel Thomas	Experiences with the PEPA performance modelling.	IEE Proc. Softw.	1999	DBLP DOI BibTeX RDF
22	Jane Hillston, Nigel Thomas	Product Form Solution for a Class of PEPA Models.	Perform. Evaluation	1999	DBLP DOI BibTeX RDF
22	D. R. W. Holton	A PEPA Specification of an Industrial Production Cell.	Comput. J.	1995	DBLP DOI BibTeX RDF
16	Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink	A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems.	EICS	2009	DBLP DOI BibTeX RDF	performance evaluation, human computer interaction, interruptions, formal description techniques, model-based approaches
16	Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink	On a Uniform Framework for the Definition of Stochastic Process Languages.	FMICS	2009	DBLP DOI BibTeX RDF
16	Hossein Hojjat, Mohammad Reza Mousavi 0001, Marjan Sirjani	A framework for performance evaluation and functional verification in stochastic process algebras.	SAC	2008	DBLP DOI BibTeX RDF
16	Allan Clark, Stephen Gilmore	State-Aware Performance Analysis with eXtended Stochastic Probes.	EPEW	2008	DBLP DOI BibTeX RDF
16	Hao Wang, David I. Laurenson, Jane Hillston	Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra.	ICC	2008	DBLP DOI BibTeX RDF
16	Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti	A Fluid Flow Approach to Usability Analysis of Multi-user Systems.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	Model-based usability analysis, Performance Evaluation Process Algebra, Formal Methods, Ordinary Differential Equations, Groupware Systems
16	Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone	Replicating Web Services for Scalability.	TGC	2007	DBLP DOI BibTeX RDF
16	Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone	Stochastic Process Algebras.	SFM	2007	DBLP DOI BibTeX RDF
16	Joost-Pieter Katoen	Abstraction of Probabilistic Systems.	FORMATS	2007	DBLP DOI BibTeX RDF
16	Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro	SensoriaProcess Calculi for Service-Oriented Computing.	TGC	2006	DBLP DOI BibTeX RDF
16	Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer	A design environment for mobile applications.	IPDPS	2006	DBLP DOI BibTeX RDF
16	Nigel Thomas	Modelling job allocation where service duration is unknown.	IPDPS	2006	DBLP DOI BibTeX RDF
16	Gagarine Yaikhom, Murray Cole, Stephen Gilmore	Combining Measurement and Stochastic Modelling to Enhance Scheduling Decisions for a Parallel Mean Value Analysis Algorithm.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
16	Jane Hillston	Process Algebras for Quantitative Analysis.	LICS	2005	DBLP DOI BibTeX RDF
16	Leïla Kloul, Fabrice Valois	Investigating unfairness scenarios in MANET using 802.11b.	PE-WASUN	2005	DBLP DOI BibTeX RDF	ad hoc networks, performance analysis, process algebra, 802.11b, unfairness
16	Jane Hillston, Leïla Kloul, Amdjed Mokhtari	Towards a Feasible Active Networking Scenario.	Telecommun. Syst.	2004	DBLP DOI BibTeX RDF	node latency, performance analysis, packets loss, active rules, active nodes
16	K. N. Sridhar, Gabriel Ciobanu	Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
16	Stephen Gilmore, Leïla Kloul	A Unified Tool for Performance Modelling and Prediction.	SAFECOMP	2003	DBLP DOI BibTeX RDF
16	Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami	Performance Evaluation for Global Computation.	Global Computing	2003	DBLP DOI BibTeX RDF
16	Graham Clark, William H. Sanders	Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
16	William J. Stewart 0001	Numerical Analysis Methods.	Performance Evaluation	2000	DBLP DOI BibTeX RDF