User Tools

Site Tools


wp6_list

List of Publications for WP6

B. Re and M. Miculan, editors. MeTTeG14, Proceedings, Italy, 2014. Universitas Studiorum.

C. Cini, L. Tesei, G. Scarcella, C. A. Nieto Coria, E. Merelli: Probabilistic Modelling and Analysis of a Fish Population. SEFM Workshops 2015: 192-197, Lecture Notes in Computer Science 9509, Springer 2015.

F. Corradini, A. Polini, B. Re. Inter-organizational Business Process Verification in Public Administration. Business Proc. Manag. Journal 21(5): 1040-1065 (2015)

F. Corradini, R. Culmone, L. Mostarda, L. Tesei, F. Raimondi: A Constrained ECA Language Supporting Formal Verification of WSNs. AINA Workshops 2015: 187-192, IEEE 2015.

L. Gallina, A. Marin, S. Rossi, T. Han, M. Z. Kwiatkowska: A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks. MSWiM 2013: 255-262

L. Gallina, A. Marin, S. Rossi: Connectivity and energy-aware preorders for mobile ad-hoc networks,

M. Bugliesi, A. Marin, S. Rossi: Model checking adaptive service compositions. Sci. Comput. Program. 94: 289-306 (2014)

M. Bugliesi, L. Gallina, S. Hamadou, A. Marin, S. Rossi: Behavioural equivalences and interference metrics for mobile ad-hoc networks. Perform. Eval. 73: 41-72 (2014)

M. H. ter Beek, A. Fantechi, S. Gnesi, F. Mazzanti: Modelling and Analysing Variability in Product Families: Model Checking of Modal Transition Systems with Variability Constraints. J. Log. Algebr. Meth. Program. 85(2): 287-315 (2016).

M. H. ter Beek, A. Fantechi, S. Gnesi, F. Mazzanti: Using FMC for family-based analysis of software product lines. SPLC 2015: 432-439. ACM, 2015

M. H. ter Beek, A. Fantechi, S. Gnesi: Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. SPLC 2015: 321-326. ACM, 2015.

M. H. ter Beek, A. Fantechi, S. Gnesi: Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. ISoLA (1) 2014: 351-367. LNCS 8802, Springer, 2014.

M. H. ter Beek, A. Legay, A. Lluch-Lafuente, A. Vandin: Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. FMSPLE 2015: 56-70. EPTCS 182, 2015.

M. H. ter Beek, A. Legay, A. Lluch-Lafuente, A. Vandin: Statistical analysis of probabilistic models of software product lines with quantitative constraints. SPLC 2015: 11-15. ACM, 2015.

M. H. ter Beek, A. Lluch-Lafuente, M. Petrocchi: Combining declarative and procedural views in the specification and analysis of product families. SPLC Workshops 2013: 10-17. ACM, 2013

M. H. ter Beek, E. P. de Vink: Software product line analysis with mCRL2. SPLC Workshops 2014: 78-85. ACM, 2014.

M. H. ter Beek, E. P. de Vink: Using mCRL2 for the analysis of software product lines. FormaliSE 2014: 31-37. IEEE, 2014.

M. H. ter Beek, Erik P. de Vink: Towards Modular Verification of Software Product Lines with mCRL2. ISoLA (1) 2014: 368-385. LNCS 8802, Springer, 2014.

M. H. ter Beek, F. Damiani, S. Gnesi, F. Mazzanti, L. Paolini: From Featured Transition Systems to Modal Transition Systems with Variability Constraints. SEFM 2015: 344-359. LNCS 9276, Springer, 2015.

M. H. ter Beek, F. Gadducci, F. Santini: Validating reconfigurations of Reo circuits in an e-Banking scenario. ISARCS 2013: 39-48. ACM, 2013.

M. H. ter Beek, F. Mazzanti: VMC: recent advances and challenges ahead. SPLC Workshops 2014: 70-77. ACM, 2014.

M. H. ter Beek, S. Gnesi, D. Latella, M. Massink: Towards Automatic Decision Support for Bike-Sharing System Design. SEFM Workshops 2015: 266-280. LNCS 9509, Springer, 2015.

M. H. ter Beek, S. Gnesi, F. Mazzanti: Model Checking Value-Passing Modal Specifications. Ershov Memorial Conference 2014: 304-319. LNCS 8974, Springer, 2015.

P. Baldan, M. Bocci, D. Brigolin, N. Cocco, M. Simeoni: Petri nets for modelling and analysing trophic networks. BioPPN@Petri Nets 2015: 21-36

P. Baldan, M. Bocci, N. Cocco, M. Simeoni: Comparing metabolic pathways through potential fluxes: a selective opening approach. BioPPN@Petri Nets 2013: 1-15

P. Baldan, N. Cocco, Federica Giummolè, M. Simeoni: Comparing Metabolic Pathways through Reactions and Potential Fluxes. Trans. Petri Nets and Other Models of Concurrency 8: 1-23 (2013)

P. Baldan, N. Cocco, M. Simeoni: Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta. Electr. Notes Theor. Comput. Sci. 299: 5-13 (2013)

R. Cognini, F. Corradini, A. Polini, B. Re: Modelling Process Intensive Scenarios for the Smart City. EGOV 2014: 147-158, Lecture Notes in Computer Science 8653, Springer 2014.

T. Belder, M. H. ter Beek, E. P. de Vink: Coherent branching feature bisimulation. FMSPLE 2015: 14-30. EPTCS 182, 2015. Telecommunication Systems, pp. 1–27, 2015 (Disponibile online)

wp6_list.txt · Last modified: 2016/03/19 19:20 by imt