Skip header Section
Skip Bibliometrics Section
A compositional approach to performance modellingOctober 1996
- Author:
- Jane Hillston
Abstract
No abstract available.
Cited By
Olliaro D, Casale G, Marin A and Rossi S (2024). A Product-form Network for Systems with Job Stealing Policies, ACM Transactions on Modeling and Performance Evaluation of Computing Systems, 9:2, (1-26), Online publication date: 30-Jun-2024.- Ding J, Sun H, Chen X and Fang H (2022). Response time analysis of a manufacturing supply chain with performance evaluation process algebra, Computers and Industrial Engineering, 167:C, Online publication date: 1-May-2022.
- Marin A, Piazza C and Rossi S (2021). D_PSNI, Theoretical Computer Science, 884:C, (116-135), Online publication date: 7-Sep-2021.
- Chiaradonna S, Di Giandomenico F and Masetti G (2022). On identity-aware replication in stochastic modeling for simulation-based dependability analysis of large interconnected systems, Performance Evaluation, 147:C, Online publication date: 1-May-2021.
- Das S and Sharma A Embeddings between state and action labeled probabilistic systems Proceedings of the 36th Annual ACM Symposium on Applied Computing, (1759-1767)
- Piho P and Hillston J A Case Study of Policy Synthesis for Swarm Robotics Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, (491-506)
- Bernardo M and Mezzina C Towards Bridging Time and Causal Reversibility Formal Techniques for Distributed Objects, Components, and Systems, (22-38)
- Bortolussi L, Hillston J and Loreti M (2020). Fluid approximation of broadcasting systems, Theoretical Computer Science, 816:C, (221-248), Online publication date: 6-May-2020.
- Masetti G and Robol L (2020). Computing performability measures in Markov chains by means of matrix functions, Journal of Computational and Applied Mathematics, 368:C, Online publication date: 1-Apr-2020.
- De Nicola R, Di Stefano L and Inverso O (2020). Multi-agent systems with virtual stigmergy, Science of Computer Programming, 187:C, Online publication date: 15-Feb-2020.
- Béger P, Leriche S and Prun D A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops Formal Methods. FM 2019 International Workshops, (443-464)
- Gómez A, Rodríguez R, Cambronero M and Valero V (2019). Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets, Software and Systems Modeling (SoSyM), 18:5, (2973-3003), Online publication date: 1-Oct-2019.
- Bortolussi L, Cardelli L, Kwiatkowska M and Laurenti L (2019). Central Limit Model Checking, ACM Transactions on Computational Logic, 20:4, (1-35), Online publication date: 7-Sep-2019.
- Sun H, Zhao X and Ding J Response Time of an Apparel Supply Chain Proceedings of the 7th International Conference on Computer and Communications Management, (110-114)
- Cardelli L, Tribastone M, Tschaikowski M and Vandin A (2022). Symbolic computation of differential equivalences, Theoretical Computer Science, 777:C, (132-154), Online publication date: 19-Jul-2019.
- Berardinelli L, Bernardo M, Cortellessa V and Di Marco A (2019). Multidimensional context modeling applied to non-functional analysis of software, Software and Systems Modeling (SoSyM), 18:3, (2137-2176), Online publication date: 1-Jun-2019.
- Bodei C, Chessa S and Galletta L (2019). Measuring security in IoT communications, Theoretical Computer Science, 764:C, (100-124), Online publication date: 11-Apr-2019.
- Hillston J, Marin A, Piazza C and Rossi S Delimited Persistent Stochastic Non-Interference Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, (135-142)
- Papadopoulos C, Li J and O'Kelly M (2019). A classification and review of timed Markov models of manufacturing systems, Computers and Industrial Engineering, 128:C, (219-244), Online publication date: 1-Feb-2019.
- Galpin V, Georgoulas A, Loreti M and Vandin A Statistical analysis of CARMA models Proceedings of the 2018 Winter Simulation Conference, (395-409)
- Liu P, Wang R, Ding J and Yin X (2018). Performance modeling and evaluating workflow of ITS, Multimedia Tools and Applications, 77:9, (10867-10881), Online publication date: 1-May-2018.
- Hillston J (2018). Stochastic process algebras and their markovian semantics, ACM SIGLOG News, 5:2, (20-35), Online publication date: 30-Apr-2018.
- Ardagna D, Barbierato E, Evangelinou A, Gianniti E, Gribaudo M, Pinto T, Guimarães A, Couto da Silva A and Almeida J Performance Prediction of Cloud-Based Big Data Applications Proceedings of the 2018 ACM/SPEC International Conference on Performance Engineering, (192-199)
- Georgoulas A, Hillston J and Sanguinetti G (2018). ProPPA, ACM Transactions on Modeling and Computer Simulation, 28:1, (1-23), Online publication date: 31-Jan-2018.
- Marin A and Rossi S (2017). On the relations between Markov chain lumpability and reversibility, Acta Informatica, 54:5, (447-485), Online publication date: 1-Aug-2017.
- Miculan M and Peressotti M (2016). Structural operational semantics for non-deterministic processes with quantitative aspects, Theoretical Computer Science, 655:PB, (135-154), Online publication date: 6-Dec-2016.
- Czekster R, Fernandes P, Lopes L, Sales A, Santos A and Webber T (2016). Stochastic Performance Analysis of Global Software Development Teams, ACM Transactions on Software Engineering and Methodology, 25:3, (1-32), Online publication date: 22-Aug-2016.
- Vandin A and Tribastone M Quantitative Abstractions for Collective Adaptive Systems Advanced Lectures of the 16th International School on Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Volume 9700, (202-232)
- Loreti M and Hillston J Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools Advanced Lectures of the 16th International School on Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Volume 9700, (83-119)
- Cardelli L, Tribastone M, Tschaikowski M and Vandin A (2016). Symbolic computation of differential equivalences, ACM SIGPLAN Notices, 51:1, (137-150), Online publication date: 8-Apr-2016.
- Waizmann T and Tribastone M DiffLQN Companion Publication for ACM/SPEC on International Conference on Performance Engineering, (63-68)
- Cardelli L, Tribastone M, Tschaikowski M and Vandin A Symbolic computation of differential equivalences Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (137-150)
- Naser S, Kamil S and Thomas N (2015). A Case Study in Inspecting the Cost of Security in Cloud Computing, Electronic Notes in Theoretical Computer Science (ENTCS), 318:C, (179-196), Online publication date: 25-Nov-2015.
- Kowal M, Tschaikowski M, Tribastone M and Schaefer I Scaling size and parameter spaces in variability-aware software performance models Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, (407-417)
- Marin A and Rossi S Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses Proceedings of the 12th International Conference on Quantitative Evaluation of Systems - Volume 9259, (160-175)
- Rodrigues P, Lupu E and Kramer J Compositional reliability analysis for probabilistic component automata Proceedings of the Seventh International Workshop on Modeling in Software Engineering, (19-24)
- Ceccarelli M, Cerulo L, De Ruvo G, Nardone V and Santone A Infer gene regulatory networks from time series data with probabilistic model checking Proceedings of the Third FME Workshop on Formal Methods in Software Engineering, (26-32)
- Bortolussi L, Hillston J and Tribastone M (2015). Fluid Performability Analysis of Nested Automata Models, Electronic Notes in Theoretical Computer Science (ENTCS), 310:C, (27-47), Online publication date: 5-Jan-2015.
- Marin A and Rossi S On discrete time reversibility modulo state renaming and its applications Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, (225-232)
- Tschaikowski M and Tribastone M A partial-differential approximation for spatial stochastic process algebra Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, (74-81)
- Cardelli L and Mardare R (2014). The Measurable Space of Stochastic Processes, Fundamenta Informaticae, 131:3-4, (351-371), Online publication date: 1-Jul-2014.
- Zeng K, Nielson F and Nielson H The Stochastic Quality Calculus Proceedings of the 16th IFIP WG 6.1 International Conference on Coordination Models and Languages - Volume 8459, (179-193)
- Hillston J and Loreti M Specification and Analysis of Open-Ended Systems with CARMA Revised Selected and Invited Papers of the 4th International Workshop on Agent Environments for Multi-Agent Systems IV - Volume 9068, (95-116)
- Hillston J, Marin A, Rossi S and Piazza C Contextual lumpability Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, (194-203)
- Balsamo S, dei Rossi G and Marin A Queueing networks and conditional product-forms Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, (204-213)
- Pourranjbar A and Hillston J An aggregation technique for large-scale PEPA models with non-uniform populations Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, (20-29)
- Montecchi L, Lollini P and Bondavalli A A reusable modular toolchain for automated dependability evaluation Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, (298-303)
- Bortolussi L and Tribastone M Differential analysis of interacting automata with immediate actions Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, (49-58)
- Fahrenberg U and Legay A Generalized Quantitative Analysis of Metric Transition Systems Proceedings of the 11th Asian Symposium on Programming Languages and Systems - Volume 8301, (192-208)
- Kwiatkowska M (2013). From software verification to `everyware' verification, Computer Science - Research and Development, 28:4, (295-310), Online publication date: 1-Nov-2013.
- Nicola R, Latella D, Loreti M and Massink M (2013). A uniform definition of stochastic process calculi, ACM Computing Surveys, 46:1, (1-35), Online publication date: 1-Oct-2013.
- Bernardo M, De Nicola R and Loreti M (2013). A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences, Information and Computation, 225, (29-82), Online publication date: 1-Apr-2013.
- Kolesnichenko A, Senni V, Pourranjabar A and Remke A Applying Mean-Field Approximation to Continuous Time Markov Chains Advanced Lectures of the International Autumn School on Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - Volume 8453, (242-280)
- Gallina L, Dei Rossi G, Marin A and Rossi S 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, (151-158)
- Song L and Godskesen J Broadcast abstraction in a stochastic calculus for mobile networks Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science, (342-356)
- Tschaikowski M and Tribastone M Exact fluid lumpability for Markovian process algebra Proceedings of the 23rd international conference on Concurrency Theory, (380-394)
- Paoletti N, Lio P, Merelli E and Viceconti M (2012). Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 9:5, (1366-1378), Online publication date: 1-Sep-2012.
- Milios D and Gilmore S Compositional approximate markov chain aggregation for PEPA models Proceedings of the 9th European conference on Computer Performance Engineering, (96-110)
- Thomas N, Harrison M, Zhao Y and Chen X Formal performance modelling Proceedings of the 9th European conference on Computer Performance Engineering, (127-139)
- Schuster J and Siegle M Scale-Freeness of SPA models with weighted immediate actions Proceedings of the 9th European conference on Computer Performance Engineering, (48-62)
- Pourranjbar A, Hillston J and Bortolussi L Don't just go with the flow Proceedings of the 9th European conference on Computer Performance Engineering, (156-171)
- Marco D, Shankland C and Cairns D Evolving Bio-PEPA process algebra models using genetic programming Proceedings of the 14th annual conference on Genetic and evolutionary computation, (177-184)
- Drábik P, Maggiolo-Schettini A and Milazzo P (2012). On Conditions for Modular Verification in Systems of Synchronising Components, Fundamenta Informaticae, 120:3-4, (259-274), Online publication date: 1-Jul-2012.
- Markovski J, D’Argenio P, Baeten J and de Vink E (2012). Reconciling real and stochastic time: the need for probabilistic refinement, Formal Aspects of Computing, 24:4-6, (497-518), Online publication date: 1-Jul-2012.
- Kazemeyni F, Johnsen E, Owe O and Balasingham I MULE-Based wireless sensor networks Proceedings of the 9th international conference on Integrated Formal Methods, (143-157)
- Chen D, van Breugel F and Worrell J On the complexity of computing probabilistic bisimilarity Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures, (437-451)
- Distefano S, Puliafito A and Trivedi K (2012). Dynamic aspects and behaviors of complex systems in performance and reliability assessment, ACM SIGMETRICS Performance Evaluation Review, 39:4, (71-78), Online publication date: 9-Mar-2012.
- Czekster R, Fernandes P and Webber T (2011). Efficient vector-descriptor product exploiting time-memory trade-offs, ACM SIGMETRICS Performance Evaluation Review, 39:3, (2-9), Online publication date: 21-Dec-2011.
- Guenther M and Bradley J Higher moment analysis of a spatial stochastic process algebra Proceedings of the 8th European conference on Computer Performance Engineering, (87-101)
- Smith M and Gilmore S Visualisation for stochastic process algebras Proceedings of the 8th European conference on Computer Performance Engineering, (310-324)
- Paoletti N, Liò P, Merelli E and Viceconti M Osteoporosis Proceedings of the 9th International Conference on Computational Methods in Systems Biology, (183-193)
- Gilmore S, Gönczy L, Koch N, Mayer P, Tribastone M and Varró D (2011). Non-functional properties in the model-driven development of service-oriented systems, Software and Systems Modeling (SoSyM), 10:3, (287-311), Online publication date: 1-Jul-2011.
- Gallina L, Hamadou S, Marin A and Rossi S A probabilistic energy-aware model for mobile ad-hoc networks Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications, (316-330)
- Coles A, Coles A, Clark A and Gilmore S Cost-sensitive concurrent planning under duration uncertainty for service-level agreements Proceedings of the Twenty-First International Conference on International Conference on Automated Planning and Scheduling, (34-41)
- Bernardo M Weak markovian bisimulation congruences and exact CTMC-Level aggregations for sequential processes Proceedings of the 6th international conference on Trustworthy Global Computing, (89-103)
- Deng Y and Hennessy M Compositional reasoning for markov decision processes Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering, (143-157)
- Arijo N, Heckel R, Tribastone M and Gilmore S Modular performance modelling for mobile applications Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering, (329-334)
- Cappello I, Clark A, Gilmore S, Latella D, Loreti M, Quaglia P and Schivo S Quantitative analysis of services Rigorous software engineering for service-oriented systems, (522-540)
- Clark A, Duguid A and Gilmore S Passage-end analysis for analysing robot movement Rigorous software engineering for service-oriented systems, (506-521)
- Tribastone M and Gilmore S Scaling performance analysis using fluid-flow approximation Rigorous software engineering for service-oriented systems, (486-505)
- Clark A and Gilmore S Evaluating service level agreements using observational probes Rigorous software engineering for service-oriented systems, (467-485)
- De Nicola R, Latella D, Loreti M and Massink M SoSL Rigorous software engineering for service-oriented systems, (447-466)
- Fiadeiro J, Lopes A, Bocchi L and Abreu J The SENSORIA reference modelling language Rigorous software engineering for service-oriented systems, (61-114)
- Loewe L, Guerriero M, Watterson S, Moodie S, Ghazal P and Hillston J Translation from the quantified implicit process flow abstraction in SBGN-PD diagrams to bio-PEPA illustrated on the cholesterol pathway Transactions on computational systems biology XIII, (13-38)
- Harrison P and Thomas N Product-form solution in PEPA via the reversed process Network performance engineering, (343-356)
- Thomas N and Bradley J Analysis of non-product form parallel queues using Markovian process algebra Network performance engineering, (331-342)
- Azmat F, Bocchi L and Fiadeiro J Early model-analysis of logistics systems Proceedings of the 2010 international conference on Service-oriented computing, (225-236)
- Abo R, Barkoui K and Zayani H A probabilistic analysis of energy efficiency of wireless sensor network duty-cycled MAC protocols Proceedings of the 6th ACM workshop on QoS and security for wireless and mobile networks, (41-48)
- Tribastone M, Mayer P and Wirsing M Performance prediction of service-oriented systems with layered queueing networks Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II, (51-65)
- Smith M Compositional abstraction of PEPA models for transient analysis Proceedings of the 7th European performance engineering conference on Computer performance engineering, (252-267)
- Lung C, Balasubramaniam B, Selvarajah K, Elankeswaran P and Gopalasundaram U Towards architecture-centric software generation Proceedings of the 4th European conference on Software architecture, (38-52)
- Czekster R, Fernandes P, Sales A, Taschetto D and Webber T Simulation of Markovian models using bootstrap method Proceedings of the 2010 Summer Computer Simulation Conference, (564-569)
- Wang H, Laurenson D and Hillston J (2010). A Reservation Optimised Advance Resource Reservation Scheme for Deploying RSVP in Mobile Environments, Wireless Personal Communications: An International Journal, 54:2, (251-275), Online publication date: 1-Jul-2010.
- Hillston J Process algebras for collective dynamics Proceedings of the 10th international conference on Mathematics of program construction, (20-21)
- Wolter K and Reinecke P Performance and security tradeoff 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, (135-167)
- Bortolussi L Limit behavior of the hybrid approximation of stochastic process algebras Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications, (367-381)
- Braghetto K, Ferreira J and Vincent J Performance analysis modeling applied to business processes Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
- Massink M, Harrison M and Latella D Scalable analysis of collective behaviour in smart service systems Proceedings of the 2010 ACM Symposium on Applied Computing, (1173-1180)
- Collinson M, Monahan B and Pym D Semantics for structured systems modelling and simulation Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques, (1-8)
- Quaglia P and Schivo S Approximate model checking of stochastic COWS Proceedings of the 5th international conference on Trustworthly global computing, (335-347)
- Bernardo M, De Nicola R and Loreti M Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic processes Proceedings of the 5th international conference on Trustworthly global computing, (35-56)
- Baier C, Cloth L, Haverkort B, Hermanns H and Katoen J (2010). Performability assessment by model checking of Markov reward models, Formal Methods in System Design, 36:1, (1-36), Online publication date: 1-Feb-2010.
- Slegers J (2010). A Langevin Interpretation of PEPA Models, Electronic Notes in Theoretical Computer Science (ENTCS), 261, (71-89), Online publication date: 1-Feb-2010.
- Ciocchetta F and Hillston J (2010). Bio-PEPA for Epidemiological Models, Electronic Notes in Theoretical Computer Science (ENTCS), 261, (43-69), Online publication date: 1-Feb-2010.
- Harrison M and Massink M (2010). Modelling Interactive Experience, Function and Performance in Ubiquitous Systems, Electronic Notes in Theoretical Computer Science (ENTCS), 261, (23-42), Online publication date: 1-Feb-2010.
- Wolter K and Reinecke P (2010). Stochastic Models for Dependable Services, Electronic Notes in Theoretical Computer Science (ENTCS), 261, (5-21), Online publication date: 1-Feb-2010.
- Bowles J and Kloul L Synthesising PEPA nets from IODs for performance analysis Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering, (195-200)
- Tribastone M Relating layered queueing networks and process algebra models Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering, (183-194)
- Ciocchetta F, Degasperi A, Heath J and Hillston J Modelling and analysis of the NF-κB pathway in bio-PEPA Transactions on Computational Systems Biology XII, (229-262)
- Romanel A and Priami C (2010). On the computational power of BlenX, Theoretical Computer Science, 411:2, (542-565), Online publication date: 1-Jan-2010.
- Duguid A, Gilmore S, Guerriero M, Hillston J and Loewe L Design and development of software tools for Bio-PEPA Winter Simulation Conference, (956-967)
- Hermanns H and Katoen J The how and why of interactive Markov chains Proceedings of the 8th international conference on Formal methods for components and objects, (311-337)
- Hierons R and Merayo M (2009). Mutation testing from probabilistic and stochastic finite state machines, Journal of Systems and Software, 82:11, (1804-1818), Online publication date: 1-Nov-2009.
- Bernardo M (2009). Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes, Electronic Notes in Theoretical Computer Science (ENTCS), 253:3, (3-23), Online publication date: 1-Nov-2009.
- Harrison P and Vigliotti M Response time distributions and network perturbation into product-form Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools, (1-9)
- Llana L and Núuñez M (2009). Testing Semantics for RTPA, Fundamenta Informaticae, 90:3, (305-335), Online publication date: 1-Aug-2009.
- Harrison M, Massink M and Latella D Engineering crowd interaction within smart environments Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems, (117-122)
- Clark A, Duguid A and Gilmore S Passage-End Analysis Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering, (110-115)
- Thomas N and Zhao Y Mean Value Analysis for a Class of PEPA Models Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering, (59-72)
- Tribastone M, Duguid A and Gilmore S (2009). The PEPA eclipse plugin, ACM SIGMETRICS Performance Evaluation Review, 36:4, (28-33), Online publication date: 25-Mar-2009.
- Abbes S and Benveniste A Concurrency, Ï?-Algebras, and Probabilistic Fairness Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures - Volume 5504, (380-394)
- Kwiatkowska M, Norman G, Parker D and Vigliotti M (2009). Probabilistic Mobile Ambients, Theoretical Computer Science, 410:12-13, (1272-1303), Online publication date: 20-Mar-2009.
- Llana L and Núuñez M (2009). Testing Semantics for RTPA, Fundamenta Informaticae, 90:3, (305-335), Online publication date: 1-Mar-2009.
- Dingle N and Knottenbelt W (2009). Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens, Electronic Notes in Theoretical Computer Science (ENTCS), 232, (75-88), Online publication date: 1-Mar-2009.
- Ciocchetta F, Degasperi A, Hillston J and Calder M (2009). Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA, Electronic Notes in Theoretical Computer Science (ENTCS), 229:1, (145-163), Online publication date: 1-Feb-2009.
- Benkirane S, Hillston J, McCaig C, Norman R and Shankland C (2009). Improved Continuous Approximation of PEPA Models through Epidemiological Examples, Electronic Notes in Theoretical Computer Science (ENTCS), 229:1, (59-74), Online publication date: 1-Feb-2009.
- Markovski J and de Vink E (2009). Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra, Fundamenta Informaticae, 95:1, (157-186), Online publication date: 1-Jan-2009.
- Meng S and Arbab F (2009). QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata, Fundamenta Informaticae, 95:1, (103-128), Online publication date: 1-Jan-2009.
- Klin B Structural operational semantics for weighted transition systems Semantics and algebraic specification, (121-139)
- Markovski J and de Vink E (2009). Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra, Fundamenta Informaticae, 95:1, (157-186), Online publication date: 1-Jan-2009.
- Meng S and Arbab F (2009). QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata, Fundamenta Informaticae, 95:1, (103-128), Online publication date: 1-Jan-2009.
- Bortolussi L (2008). On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation, Electronic Notes in Theoretical Computer Science (ENTCS), 220:3, (163-180), Online publication date: 1-Dec-2008.
- Blom S, Haverkort B, Kuntz M and van de Pol J (2008). Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking, Electronic Notes in Theoretical Computer Science (ENTCS), 220:2, (35-50), Online publication date: 1-Dec-2008.
- Macià H, Valero V, Cuartero F and Ruiz M (2008). sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions, Fundamenta Informaticae, 87:3-4, (367-406), Online publication date: 30-Nov-2008.
- Krivine J, Milner R and Troina A (2008). Stochastic Bigraphs, Electronic Notes in Theoretical Computer Science (ENTCS), 218, (73-96), Online publication date: 1-Oct-2008.
- Galpin V, Hillston J and Bortolussi L (2008). HYPE Applied to the Modelling of Hybrid Biological Systems, Electronic Notes in Theoretical Computer Science (ENTCS), 218, (33-51), Online publication date: 1-Oct-2008.
- Macià H, Valero V, Cuartero F and Ruiz M (2008). sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions, Fundamenta Informaticae, 87:3-4, (367-406), Online publication date: 1-Aug-2008.
- Tribastone M and Gilmore S Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile Proceedings of the 7th international workshop on Software and performance, (67-78)
- Prandi D, Quaglia P and Zannone N Formal analysis of BPMN via a translation into COWS Proceedings of the 10th international conference on Coordination models and languages, (249-263)
- Ciocchetta F and Hillston J Process algebras in systems biology Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology, (265-312)
- Klin B and Sassone V Structural operational semantics for stochastic process calculi Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures, (428-442)
- Hojjat H, Mousavi M and Sirjani M A framework for performance evaluation and functional verification in stochastic process algebras Proceedings of the 2008 ACM symposium on Applied computing, (339-346)
- Kwiatkowska M, Norman G and Parker D (2008). Using probabilistic model checking in systems biology, ACM SIGMETRICS Performance Evaluation Review, 35:4, (14-21), Online publication date: 1-Mar-2008.
- Gilmore S and Hillston J (2008). Performance evaluation comes to life, ACM SIGMETRICS Performance Evaluation Review, 35:4, (3-13), Online publication date: 1-Mar-2008.
- Bernardo M and Botta S (2008). A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems, Mathematical Structures in Computer Science, 18:1, (29-55), Online publication date: 1-Feb-2008.
- Lopez N, Núñez M and Pelayo F A comparative study of STOPA and RTPA Transactions on computational science II, (224-245)
- Argent-Katwala A, Bradley J, Clark A and Gilmore S Location-aware quality of service measurements for service-level agreements Proceedings of the 3rd conference on Trustworthy global computing, (222-239)
- Bravetti M, Gilmore S, Guidi C and Tribastone M Replicating web services for scalability Proceedings of the 3rd conference on Trustworthy global computing, (204-221)
- Jansen D, Katoen J, Oldenkamp M, Stoelinga M and Zapreev I How fast and fat is your probabilistic model checker? an experimental performance comparison Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing, (69-85)
- Hillston J Quantitative analysis of biochemical signalling pathways Proceedings of the 2nd international conference on Performance evaluation methodologies and tools, (1-5)
- Argent-Katwala A and Bradley J Continuous PEPA queues Proceedings of the 2nd international conference on Performance evaluation methodologies and tools, (1-9)
- Katoen J Abstraction of probabilistic systems Proceedings of the 5th international conference on Formal modeling and analysis of timed systems, (1-3)
- Kuntz M and Haverkort B Faster SPDL model checking through property-driven state space generation Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation, (80-96)
- López N, Núñez M and Rodríguez I SPAMR Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation, (63-79)
- Markovski J, Sokolova A, Trčka N and De Vink E Compositionality for Markov reward chains with fast transitions Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation, (18-32)
- Prandi D and Quaglia P Stochastic COWS Proceedings of the 5th international conference on Service-Oriented Computing, (245-256)
- Kuttler C, Lhoussaine C and Niehren J A stochastic pi calculus for concurrent objects Proceedings of the 2nd international conference on Algebraic biology, (232-246)
- Arbab F, Chothia T, Meng S and Moon Y Component connectors with QoS guarantees Proceedings of the 9th international conference on Coordination models and languages, (286-304)
- Bernardo M A survey of Markovian behavioral equivalences Proceedings of the 7th international conference on Formal methods for performance evaluation, (180-219)
- Clark A, Gilmore S, Hillston J and Tribastone M Stochastic process algebras Proceedings of the 7th international conference on Formal methods for performance evaluation, (132-179)
- Merayo M, Núñez M and Rodrguez I Formal testing of systems presenting soft and hard deadlines Proceedings of the 2007 international conference on Fundamentals of software engineering, (160-174)
- Katoen J, Kemna T, Zapreev I and Jansen D Bisimulation minimisation mostly speeds up probabilistic model checking Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems, (87-101)
- Tarasyuk I (2007). Stochastic Petri Box Calculus with Discrete Time, Fundamenta Informaticae, 76:1-2, (189-218), Online publication date: 1-Feb-2007.
- Tarasyuk I (2007). Stochastic Petri Box Calculus with Discrete Time, Fundamenta Informaticae, 76:1-2, (189-218), Online publication date: 1-Jan-2007.
- Kwiatkowska M, Norman G, Parker D, Tymchyshyn O, Heath J and Gaffney E Simulation and verification for computational modelling of signalling pathways Proceedings of the 38th conference on Winter simulation, (1666-1674)
- Wirsing M, De Nicola R, Gilmore S, Hölzl M, Lucchi R, Tribastone M and Zavattaro G SENSORIA process calculi for service-oriented computing Proceedings of the 2nd international conference on Trustworthy global computing, (30-50)
- Calder M, Duguid A, Gilmore S and Hillston J Stronger computational modelling of signalling pathways using both continuous and discrete-state methods Proceedings of the 2006 international conference on Computational Methods in Systems Biology, (63-77)
- Heath J, Kwiatkowska M, Norman G, Parker D and Tymchyshyn O Probabilistic model checking of complex biological pathways Proceedings of the 2006 international conference on Computational Methods in Systems Biology, (32-47)
- Miller A, Donaldson A and Calder M (2006). Symmetry in temporal logic model checking, ACM Computing Surveys, 38:3, (8-es), Online publication date: 30-Sep-2006.
- Duguid A Coping with the parallelism of bittorrent Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems, (156-170)
- Stark E, Cleaveland R and Smolka S Probabilistic i/o automata Proceedings of the 17th international conference on Concurrency Theory, (343-357)
- Clark A and Gilmore S Evaluating quality of service for service level agreements Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology, (181-194)
- Sproston J and Donatelli S (2006). Backward Bisimulation in Markov Chain Model Checking, IEEE Transactions on Software Engineering, 32:8, (531-546), Online publication date: 1-Aug-2006.
- Thomas N (2006). Approximation in non-product form finite capacity queue systems, Future Generation Computer Systems, 22:7, (820-827), Online publication date: 1-Aug-2006.
- López N, Núñez M and Rodríguez I Assessing the expressivity of formal specification languages Proceedings of the 11th international conference on Algebraic Methodology and Software Technology, (220-234)
- Merayo M, Núñez M and Rodríguez I Implementation relations for stochastic finite state machines Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation, (123-137)
- Markovski J and de Vink E Embedding real time in stochastic process algebras Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation, (47-62)
- Argent-Katwala A and Bradley J Functional performance specification with stochastic probes Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation, (31-46)
- Baier C and Wolf V Stochastic reasoning about channel-based component connectors Proceedings of the 8th international conference on Coordination Models and Languages, (1-15)
- Kakarontzas G and Stamelos I A tactic-driven process for developing reusable components Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components, (273-286)
- Yaikhom G, Cole M and Gilmore S Combining measurement and stochastic modelling to enhance scheduling decisions for a parallel mean value analysis algorithm Proceedings of the 6th international conference on Computational Science - Volume Part II, (929-936)
- Wolf V, Baier C and Majster-Cederbaum M (2006). Trace Machines for Observing Continuous-Time Markov Chains, Electronic Notes in Theoretical Computer Science (ENTCS), 153:2, (259-277), Online publication date: 1-May-2006.
- Kwiatkowska M, Norman G and Parker D (2006). Quantitative Analysis With the Probabilistic Model Checker PRISM, Electronic Notes in Theoretical Computer Science (ENTCS), 153:2, (5-31), Online publication date: 1-May-2006.
- Gilmore S, Haenel V, Hillston J and Tenzer J A design environment for mobile applications Proceedings of the 20th international conference on Parallel and distributed processing, (326-326)
- Thomas N Modelling job allocation where service duration is unknown Proceedings of the 20th international conference on Parallel and distributed processing, (322-322)
- Bradley J, Gilmore S and Thomas N Performance analysis of stochastic Process algebra models using stochastic simulation Proceedings of the 20th international conference on Parallel and distributed processing, (321-321)
- Ruiz M, Cazorla D, Cuartero F and Pardo J Analysis of the SET e-commerce protocol using a true concurrency process algebra Proceedings of the 2006 ACM symposium on Applied computing, (879-886)
- Kuttler C and Niehren J Gene regulation in the pi calculus Transactions on Computational Systems Biology VII, (24-55)
- Calder M, Gilmore S and Hillston J Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA Transactions on Computational Systems Biology VII, (1-23)
- Blossey R, Cardelli L and Phillips A A compositional approach to the stochastic dynamics of gene networks Transactions on Computational Systems Biology IV, (99-122)
- Morgan C and McIver A Programming-logic analysis of fault tolerance Rigorous Development of Complex Fault-Tolerant Systems, (288-305)
- Tabuchi N, Sato N and Nakamura H Model-Driven performance analysis of UML design models based on stochastic process algebra Proceedings of the First European conference on Model Driven Architecture: foundations and Applications, (41-58)
- McDermott J Visual security protocol modeling Proceedings of the 2005 workshop on New security paradigms, (97-109)
- Bodei C, Buchholtz M, Curti M, Degano P, Nielson F, Nielson H and Priami C On evaluating the performance of security protocols Proceedings of the 8th international conference on Parallel Computing Technologies, (1-15)
- Gilmore S, Haenel V, Kloul L and Maidl M Choreographing security and performance analysis for web services 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, (200-214)
- Celiku O and McIver A Compositional specification and analysis of cost-based properties in probabilistic programs Proceedings of the 2005 international conference on Formal Methods, (107-122)
- Buchholtz M, Gilmore S, Haenel V and Montangero C End-to-end integrated security and performance analysis on the DEGAS choreographer platform Proceedings of the 2005 international conference on Formal Methods, (286-301)
- ter Beek M, Massink M and Latella D Towards model checking stochastic aspects of the thinkteam user interface Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification, (39-50)
- Zhao L, Jarvis S, Spooner D and Nudd G Predictive Performance Modelling of Parallel Component Composition Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 15 - Volume 16
- Buchholtz M, Gilmore S, Hillston J and Nielson F (2005). Securing Statically-verified Communications Protocols Against Timing Attacks, Electronic Notes in Theoretical Computer Science (ENTCS), 128:4, (123-143), Online publication date: 1-Apr-2005.
- Thomas N (2005). Performability of a Secure Electronic Voting Algorithm, Electronic Notes in Theoretical Computer Science (ENTCS), 128:4, (45-58), Online publication date: 1-Apr-2005.
- Jansen D and Hermanns H (2005). QoS modelling and analysis with UML-statecharts, ACM SIGMETRICS Performance Evaluation Review, 32:4, (28-33), Online publication date: 1-Mar-2005.
- Bodei C, Curti M, Degano P and Priami C (2005). A Quantitative Study of Two Attacks, Electronic Notes in Theoretical Computer Science (ENTCS), 121:C, (65-85), Online publication date: 4-Feb-2005.
- Cardelli L Abstract machines of systems biology Transactions on Computational Systems Biology III, (145-168)
- Bouyssounouse B and Sifakis J References Embedded Systems Design, (204-215)
- Di Pierro A, Hankin C and Wiklicky H Probabilistic linda-based coordination languages Proceedings of the Third international conference on Formal Methods for Components and Objects, (120-140)
- Bartels F, Sokolova A and de Vink E (2004). A hierarchy of probabilistic system types, Theoretical Computer Science, 327:1-2, (3-22), Online publication date: 25-Oct-2004.
- Marculescu R, Ogras U and Zamora N Computation and communication refinement for multiprocessor SoC design Proceedings of the 41st annual Design Automation Conference, (564-592)
- Baier C, Hermanns H and Katoen J (2004). Probabilistic weak simulation is decidable in polynomial time, Information Processing Letters, 89:3, (123-130), Online publication date: 14-Feb-2004.
- Argent-Katwala A, Bradley J and Dingle N Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models Proceedings of the 4th international workshop on Software and performance, (49-58)
- Gilmore S, Hillston J, Kloul L and Ribaudo M Software performance modelling using PEPA nets Proceedings of the 4th international workshop on Software and performance, (13-23)
- Argent-Katwala A, Bradley J and Dingle N (2004). Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models, ACM SIGSOFT Software Engineering Notes, 29:1, (49-58), Online publication date: 1-Jan-2004.
- Gilmore S, Hillston J, Kloul L and Ribaudo M (2004). Software performance modelling using PEPA nets, ACM SIGSOFT Software Engineering Notes, 29:1, (13-23), Online publication date: 1-Jan-2004.
- Nicol D, Sanders W and Trivedi K (2004). Model-Based Evaluation, IEEE Transactions on Dependable and Secure Computing, 1:1, (48-65), Online publication date: 1-Jan-2004.
- Priami C Simulation and verification I Proceedings of the 35th conference on Winter simulation: driving innovation, (897-905)
- Puigjaner R Performance modelling of computer networks Proceedings of the 2003 IFIP/ACM Latin America conference on Towards a Latin American agenda for network research, (106-123)
- Gilmore S, Hillston J, Kloul L and Ribaudo M (2003). PEPA nets, Performance Evaluation, 54:2, (79-104), Online publication date: 1-Oct-2003.
- McDermott J, Kim A and Froscher J Merging paradigms of survivability and security Proceedings of the 2003 workshop on New security paradigms, (19-25)
- Brinksma E Compositional theories of qualitative and quantitative behaviour Proceedings of the 24th international conference on Applications and theory of Petri nets, (37-42)
- Bravetti M and Aldini A (2003). Discrete time generative-reactive probabilistic processes with different advancing speeds, Theoretical Computer Science, 290:1, (355-406), Online publication date: 1-Jan-2003.
- Bernardo M and Bravetti M (2003). Performance measure sensitive congruences for Markovian process algebras, Theoretical Computer Science, 290:1, (117-160), Online publication date: 1-Jan-2003.
- Harrison P (2002). Product-forms from a CAT and DOG, ACM SIGMETRICS Performance Evaluation Review, 30:3, (41-43), Online publication date: 1-Dec-2002.
- Deavours D, Clark G, Courtney T, Daly D, Derisavi S, Doyle J, Sanders W and Webster P (2002). The Möbius Framework and Its Implementation, IEEE Transactions on Software Engineering, 28:10, (956-969), Online publication date: 1-Oct-2002.
- Balsamo S, Bernardo M and Simeoni M Combining stochastic process algebras and queueing networks for software architecture analysis Proceedings of the 3rd international workshop on Software and performance, (190-202)
- Bravetti M and Gorrieri R (2002). The theory of interactive generalized semi-Markov processes, Theoretical Computer Science, 282:1, (5-32), Online publication date: 7-Jun-2002.
- Lamperti G and Zanella M (2002). Diagnosis of discrete-event systems from uncertain temporal observations, Artificial Intelligence, 137:1-2, (91-163), Online publication date: 1-May-2002.
- Sanders W, Polychronopoulos C, Huang T, Courtney T, Daly D, Deavours D and Derisavi S Overview Proceedings of the 16th International Parallel and Distributed Processing Symposium
- Katoen J and D'Argenio P General distributions in process algebra Lectures on formal methods and performance analysis, (375-429)
- Hillston J Exploiting structure in solution Lectures on formal methods and performance analysis, (278-314)
- Haverkort B Markovian models for performance and dependability evaluation Lectures on formal methods and performance analysis, (38-83)
- Herzog U Formal methods for performance evaluation Lectures on formal methods and performance analysis, (1-37)
- Nottegar C, Priami C and Degano P (2001). Performance Evaluation of Mobile Processes via Abstract Machines, IEEE Transactions on Software Engineering, 27:10, (867-889), Online publication date: 1-Oct-2001.
- Degano P and Priami C (2001). Enhanced operational semantics, ACM Computing Surveys, 33:2, (135-176), Online publication date: 1-Jun-2001.
- Gilmore S, Hillston J and Ribaudo M (2001). An Efficient Algorithm for Aggregating PEPA Models, IEEE Transactions on Software Engineering, 27:5, (449-464), Online publication date: 1-May-2001.
- Bernardo M, Ciancarini P and Donatiello L ÆMPA Proceedings of the 2nd international workshop on Software and performance, (1-11)
- Pooley R Software engineering and performance Proceedings of the Conference on The Future of Software Engineering, (189-199)
- Gupta V, Jagadeesan R and Panangaden P Stochastic processes as concurrent constraint programs Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (189-202)
- Hermanns H, Herzog U, Mertsiotakis V and Rettelbach M Exploiting Stochastic Process Algebra Achievements for Generalized Stochastic Petri Nets Proceedings of the 6th International Workshop on Petri Nets and Performance Models
- Fahrenberg U, Legay A and Quaas K Computing Branching Distances Using Quantitative Games Theoretical Aspects of Computing – ICTAC 2019, (59-75)
- Marin A, Piazza C and Rossi S A Process Algebra for (Delimited) Persistent Stochastic Non-Interference Quantitative Evaluation of Systems, (222-238)
- Marin A, Piazza C and Rossi S Proportional Lumpability Formal Modeling and Analysis of Timed Systems, (265-281)
Index Terms
- A compositional approach to performance modelling
Recommendations
On compositional modelling
Many solutions to AI problems require the task to be represented in one of a multitude of rigorous mathematical formalisms. The construction of such mathematical models forms a difficult problem which is often left to the user of the problem-solver. ...
Compositional Performance Modelling with TIPPtool
TOOLS '98: Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and ToolsStochastic Process Algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool. It ...
Compositional Modelling of Workflow Processes
EurAsia-ICT '02: Proceedings of the First EurAsian Conference on Information and Communication TechnologyModelling workflow processes includes transformation of the process logic into a formal representation. Petri net-based modelling is popular in academia, but it suffers from the modelling difficulties and complicated structure which make the technique ...