[134] Alexander Kocian, Daniele Massa, Samantha Cannazzaro, Luca Incrocci, Sara Di Lonardo, Paolo Milazzo, and Stefano Chessa. Dynamic bayesian network for crop growth prediction in greenhouses. Comput. Electron. Agric., 169:105167, 2020. [ bib | DOI | http ]
[133] Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Isabel Garcia-Contreras, and Dusko Pavlovic. Abstract extensionality: on the properties of incomplete abstract interpretations. PACMPL, 4(POPL):28:1--28:28, 2020. [ bib | DOI | http ]
[132] Roberta Gori, Paolo Milazzo, and Lucia Nasti. Towards an efficient verification method for monotonicity properties of chemical reaction networks. In Elisabetta De Maria, Ana L. N. Fred, and Hugo Gamboa, editors, Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019) - Volume 3: BIOINFORMATICS, Prague, Czech Republic, February 22-24, 2019, pages 250--257. SciTePress, 2019. [ bib | DOI | http ]
[131] Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, and Roberta Gori. Correct approximation of IEEE 754 floating-point arithmetic for program verification. CoRR, abs/1903.06119, 2019. [ bib | arXiv | http ]
[130] Roberta Gori, Damas P. Gruska, and Paolo Milazzo. Studying opacity of reaction systems through formula based predictors. Fundam. Inform., 165(3-4):303--319, 2019. [ bib | DOI | http ]
[129] Giovanna Broccia, Paolo Milazzo, and Peter Csaba Ölveczky. Formal modeling and analysis of safety-critical human multitasking. ISSE, 15(3-4):169--190, 2019. [ bib | DOI | http ]
[128] Paolo Milazzo and Giovanni Pardini. Objective/mc: A high-level model checking language - formalization of the imperative core and translation into PRISM. J. Intell. Inf. Syst., 52(3):533--571, 2019. [ bib | DOI | http ]
[127] Vashti Galpin, Paolo Milazzo, and Anna Monreale. Guest editors' foreword. J. Log. Algebraic Methods Program., 109, 2019. [ bib | DOI | http ]
[126] G. Burchi, S. Chessa, F. Gambineri, A. Kocian, D. Massa, P. Milazzo, L. Rimediotti, and A. Ruggeri. Information technology controlled greenhouse: A system architecture. In 2018 IoT Vertical and Topical Summit on Agriculture - Tuscany (IOT Tuscany), pages 1--6, May 2018. [ bib | DOI ]
[125] Arti Ahluwalia, Anna Maria Bassi, and Paolo Milazzo. Inauguration of the centro 3r for the promotion of 3rs principles in teaching and research. ALTEX-Alternatives to animal experimentation, 35(2):260--261, 2018. [ bib ]
[124] Roberto Barbuti, Paolo Berni, and Paolo Milazzo. A mathematical model for the study of the impact of small commercial fishing on the biodiversity of artificial reefs. Atti della Soc. Toscana di Scienze Naturali, Memorie Serie B, 125:45--52, 2018. [ bib ]
[123] Roberto Barbuti, Pasquale Bove, Roberta Gori, Francesca Levi, and Paolo Milazzo. Simulating gene regulatory networks using reaction systems. In Bernd-Holger Schlingloff and Samira Akili, editors, Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018, volume 2240 of CEUR Workshop Proceedings. CEUR-WS.org, 2018. [ bib | .pdf ]
[122] Roberta Gori, Damas P. Gruska, and Paolo Milazzo. Hidden states in reaction systems. In Bernd-Holger Schlingloff and Samira Akili, editors, Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018, volume 2240 of CEUR Workshop Proceedings. CEUR-WS.org, 2018. [ bib | .pdf ]
[121] Giovanna Broccia, Paolo Masci, and Paolo Milazzo. Modeling and analysis of human memory load in multitasking scenarios: Late-breaking results. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2018, Paris, France, June 19-22, 2018, pages 9:1--9:7. ACM, 2018. [ bib | DOI | http ]
[120] Giovanna Broccia, Paolo Milazzo, and Peter Csaba Ölveczky. An executable formal framework for safety-critical human multitasking. In Aaron Dutle, César A. Muñoz, and Anthony Narkawicz, editors, NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings, volume 10811 of Lecture Notes in Computer Science, pages 54--69. Springer, 2018. [ bib | DOI | http ]
[119] Lucia Nasti, Roberta Gori, and Paolo Milazzo. Formalizing a notion of concentration robustness for biochemical networks. In Manuel Mazzara, Iulian Ober, and Gwen Salaün, editors, Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, volume 11176 of Lecture Notes in Computer Science, pages 81--97. Springer, 2018. [ bib | DOI | http ]
[118] Roberto Barbuti, Anna Bernasconi, Roberta Gori, and Paolo Milazzo. Computing preimages and ancestors in reaction systems. In David Fagan, Carlos Martín-Vide, Michael O'Neill, and Miguel A. Vega-Rodríguez, editors, Theory and Practice of Natural Computing - 7th International Conference, TPNC 2018, Dublin, Ireland, December 12-14, 2018, Proceedings, volume 11324 of Lecture Notes in Computer Science, pages 23--35. Springer, 2018. [ bib | DOI | http ]
[117] Roberto Bruni, Roberto Giacobazzi, and Roberta Gori. Code obfuscation against abstract model checking attacks. In Isil Dillig and Jens Palsberg, editors, Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings, volume 10747 of Lecture Notes in Computer Science, pages 94--115. Springer, 2018. [ bib | DOI | http ]
[116] Roberto Barbuti, Roberta Gori, Francesca Levi, and Paolo Milazzo. Generalized contexts for reaction systems: definition and study of dynamic causalities. Acta Inf., 55(3):227--267, 2018. [ bib | DOI | http ]
[115] Roberto Bruni, Roberto Giacobazzi, and Roberta Gori. Code obfuscation against abstraction refinement attacks. Formal Asp. Comput., 30(6):685--711, 2018. [ bib | DOI | http ]
[114] Lucia Nasti and Paolo Milazzo. A hybrid automata model of social networking addiction. J. Log. Algebraic Methods Program., 100:215--229, 2018. [ bib | DOI | http ]
[113] Roberto Barbuti, Roberta Gori, and Paolo Milazzo. Predictors for flat membrane systems. Theor. Comput. Sci., 736:79--102, 2018. [ bib | DOI | http ]
[112] Arnaud Gotlieb, Marine Louarn, Mari Nygård, Tomás Ruiz-López, Sagar Sen, and Roberta Gori. Constraint-based verification of a mobile app game designed for nudging people to attend cancer screening. In Satinder P. Singh and Shaul Markovitch, editors, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA, pages 4678--4685. AAAI Press, 2017. [ bib | http ]
[111] Roberto Barbuti, Roberta Gori, and Paolo Milazzo. Multiset patterns and their application to dynamic causalities in membrane systems. In Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, and Claudio Zandron, editors, Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers, volume 10725 of Lecture Notes in Computer Science, pages 54--73. Springer, 2017. [ bib | DOI | http ]
[110] Giovanna Broccia, Paolo Milazzo, and Peter Csaba Ölveczky. An algorithm for simulating human selective attention. In Antonio Cerone and Marco Roveri, editors, Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, volume 10729 of Lecture Notes in Computer Science, pages 48--55. Springer, 2017. [ bib | DOI | http ]
[109] Lucia Nasti and Paolo Milazzo. A computational model of internet addiction phenomena in social networks. In Antonio Cerone and Marco Roveri, editors, Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, volume 10729 of Lecture Notes in Computer Science, pages 86--100. Springer, 2017. [ bib | DOI | http ]
[108] Chiara Bodei, Linda Brodo, Roberta Gori, Francesca Levi, Antonio Bernini, and Diana Hermith. A static analysis for brane calculi providing global occurrence counting information. Theor. Comput. Sci., 696:11--51, 2017. [ bib | DOI | http ]
[107] Roberto Barbuti, Pasquale Bove, Paolo Milazzo, and Giovanni Pardini. Applications of P systems in population biology and ecology: The cases of MPP and APP systems. In Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, and Claudio Zandron, editors, Membrane Computing - 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers, volume 10105 of Lecture Notes in Computer Science, pages 28--48. Springer, 2016. [ bib | DOI | http ]
[106] Giovanni Pardini and Paolo Milazzo. A high-level model checking language with compile-time pruning of local variables. In Paolo Milazzo, Dániel Varró, and Manuel Wimmer, editors, Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, volume 9946 of Lecture Notes in Computer Science, pages 67--82. Springer, 2016. [ bib | DOI | http ]
[105] Roberto Bagnara, Michele Chiari, Roberta Gori, and Abramo Bagnara. A practical approach to interval refinement for math.h/cmath functions. CoRR, abs/1610.07390, 2016. [ bib | arXiv | http ]
[104] Roberto Barbuti, Roberta Gori, Francesca Levi, and Paolo Milazzo. Specialized predictor for reaction systems with context properties. Fundam. Inform., 147(2-3):173--191, 2016. [ bib | DOI | http ]
[103] Roberto Bagnara, Matthieu Carlier, Roberta Gori, and Arnaud Gotlieb. Exploiting binary floating-point representations for constraint propagation. INFORMS J. Comput., 28(1):31--46, 2016. [ bib | DOI | http ]
[102] Roberto Barbuti, Roberta Gori, Francesca Levi, and Paolo Milazzo. Investigating dynamic causalities in reaction systems. Theor. Comput. Sci., 623:114--145, 2016. [ bib | DOI | http ]
[101] Sheema Sameen, Roberto Barbuti, Paolo Milazzo, Antonio Cerone, Marzia Del Re, and Romano Danesi. Mathematical modeling of drug resistance due to kras mutation in colorectal cancer. Journal of theoretical biology, 389:263--273, 2016. [ bib ]
[100] Roberto Barbuti, Roberta Gori, Francesca Levi, and Paolo Milazzo. Specialized predictor for reaction systems with context properties. In Zbigniew Suraj and Ludwik Czaja, editors, Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015, volume 1492 of CEUR Workshop Proceedings, pages 31--43. CEUR-WS.org, 2015. [ bib | .pdf ]
[99] Paolo Milazzo, Giovanni Pardini, Dario Sestini, and Pasquale Bove. Case studies of application of probabilistic and statistical model checking in game design. In Walt Scacchi and Jim Whitehead, editors, 4th IEEE/ACM International Workshop on Games and Software Engineering, GAS 2015, Florence, Italy, May 18, 2015, pages 29--35. IEEE Computer Society, 2015. [ bib | DOI | http ]
[98] Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, and Francesca Levi. A global occurrence counting analysis for brane calculi. In Moreno Falaschi, editor, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers, volume 9527 of Lecture Notes in Computer Science, pages 179--200. Springer, 2015. [ bib | DOI | http ]
[97] Roberto Barbuti, Alessandro Bompadre, Pasquale Bove, Paolo Milazzo, and Giovanni Pardini. Attributed probabilistic P systems and their application to the modelling of social interactions in primates. In Domenico Bianculli, Radu Calinescu, and Bernhard Rumpe, editors, Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers, volume 9509 of Lecture Notes in Computer Science, pages 176--191. Springer, 2015. [ bib | DOI | http ]
[96] Suryana Setiawan, Antonio Cerone, and Paolo Milazzo. A tool for the modelling and simulation of ecological systems based on grid systems. In Domenico Bianculli, Radu Calinescu, and Bernhard Rumpe, editors, Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers, volume 9509 of Lecture Notes in Computer Science, pages 198--212. Springer, 2015. [ bib | DOI | http ]
[95] Roberto Barbuti, Pasquale Bove, Paolo Milazzo, and Giovanni Pardini. Minimal probabilistic P systems for modelling ecological systems. Theor. Comput. Sci., 608:36--56, 2015. [ bib | DOI | http ]
[94] Chiara Bodei, Roberta Gori, and Francesca Levi. Causal static analysis for brane calculi. Theor. Comput. Sci., 587:73--103, 2015. [ bib | DOI | http ]
[93] Giovanni Pardini, Paolo Milazzo, and Andrea Maggiolo-Schettini. Component identification in biochemical pathways. Theor. Comput. Sci., 587:104--124, 2015. [ bib | DOI | http ]
[92] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, and Simone Tini. Systolic automata and P systems. In Cristian S. Calude, Rusins Freivalds, and Kazuo Iwama, editors, Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday, volume 8808 of Lecture Notes in Computer Science, pages 17--31. Springer, 2014. [ bib | DOI | http ]
[91] Sheema Sameen, Roberto Barbuti, Paolo Milazzo, and Antonio Cerone. A mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer. In Carlos Canal and Akram Idani, editors, Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers, volume 8938 of Lecture Notes in Computer Science, pages 243--258. Springer, 2014. [ bib | DOI | http ]
[90] Vincenzo Manca and Giovanni Pardini. Morphogenesis through moving membranes. Natural Computing, 13(3):403--419, 2014. [ bib | DOI | http ]
[89] Giovanni Pardini, Paolo Milazzo, and Andrea Maggiolo-Schettini. Identification of components in biochemical pathways: extensive application to SBML models. Natural Computing, 13(3):351--365, 2014. [ bib | DOI | http ]
[88] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Giovanni Pardini. Simulation of spatial P system models. Theor. Comput. Sci., 529:11--45, 2014. [ bib | DOI | http ]
[87] Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Simone Tini. Compositional semantics and behavioural equivalences for reaction systems with restriction. Theor. Comput. Sci., 551:1--21, 2014. [ bib | DOI | http ]
[86] Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Simone Tini. A compositional semantics of reaction systems with restriction. In Paola Bonizzoni, Vasco Brattka, and Benedikt Löwe, editors, The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, volume 7921 of Lecture Notes in Computer Science, pages 330--339. Springer, 2013. [ bib | DOI | http ]
[85] Roberto Bagnara, Matthieu Carlier, Roberta Gori, and Arnaud Gotlieb. Symbolic path-oriented test data generation for floating-point programs. In Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, Luxembourg, Luxembourg, March 18-22, 2013, pages 1--10. IEEE Computer Society, 2013. [ bib | DOI | http ]
[84] Roberto Barbuti, Pasquale Bove, Andrea Maggiolo-Schettini, Paolo Milazzo, and Giovanni Pardini. A computational formal model of the invasiveness of eastern species in european water frog populations. In Steve Counsell and Manuel Núñez, editors, Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, volume 8368 of Lecture Notes in Computer Science, pages 329--344. Springer, 2013. [ bib | DOI | http ]
[83] Roberto Bagnara, Matthieu Carlier, Roberta Gori, and Arnaud Gotlieb. Filtering floating-point constraints by maximum ULP. CoRR, abs/1308.3847, 2013. [ bib | arXiv | http ]
[82] Andrea Maggiolo-Schettini, Paolo Milazzo, and Giovanni Pardini. Application of a semi-automatic algorithm for identification of molecular components in SBML models. In Alex Graudenzi, Giulio Caravagna, Giancarlo Mauri, and Marco Antoniotti, editors, Proceedings Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation, Milan, Italy, July 1-2, 2013, volume 130 of EPTCS, pages 43--52, 2013. [ bib | DOI | http ]
[81] Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo, and Giovanni Pardini. Modular verification of qualitative pathway models with fairness. Sci. Ann. Comp. Sci., 23(1):75--117, 2013. [ bib | DOI | http ]
[80] Chiara Bodei, Roberta Gori, and Francesca Levi. An analysis for causal properties of membrane interactions. Electron. Notes Theor. Comput. Sci., 299:15--31, 2013. [ bib | DOI | http ]
[79] Giovanni Pardini, Paolo Milazzo, and Andrea Maggiolo-Schettini. An algorithm for the identification of components in biochemical pathways. Electron. Notes Theor. Comput. Sci., 299:69--84, 2013. [ bib | DOI | http ]
[78] Roberta Gori and Francesca Levi. An analysis for proving probabilistic termination of biological systems. Theor. Comput. Sci., 471:27--73, 2013. [ bib | DOI | http ]
[77] Roberto Barbuti, Selma Mautner, Giorgio Carnevale, Paolo Milazzo, Aureliano Rama, and Christian Sturmbauer. Population dynamics with a mixed type of sexual and asexual reproduction in a fluctuating environment. BMC evolutionary biology, 12(1):1, 2012. [ bib ]
[76] Giulio Caravagna, Gabriele Costa, Luca Wiegand, and Giovanni Pardini. Lazy monitoring for distributed computing environments. In Ilsun You, Leonard Barolli, Antonio Gentile, Hae-Duck Joshua Jeong, Marek R. Ogiela, and Fatos Xhafa, editors, Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2012, Palermo, Italy, July 4-6, 2012, pages 259--265. IEEE Computer Society, 2012. [ bib | DOI | http ]
[75] Roberto Barbuti, Antonio Cerone, Andrea Maggiolo-Schettini, Paolo Milazzo, and Suryana Setiawan. Modelling population dynamics using grid systems. In Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, and Ioannis Stamelos, editors, Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers, volume 7991 of Lecture Notes in Computer Science, pages 172--189. Springer, 2012. [ bib | DOI | http ]
[74] Giulio Caravagna, Gabriele Costa, and Giovanni Pardini. Lazy security controllers. In Audun Jøsang, Pierangela Samarati, and Marinella Petrocchi, editors, Security and Trust Management - 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers, volume 7783 of Lecture Notes in Computer Science, pages 33--48. Springer, 2012. [ bib | DOI | http ]
[73] Giulio Caravagna, Roberto Barbuti, and Alberto d'Onofrio. Fine-tuning anti-tumor immunotherapies via stochastic simulations. BMC Bioinform., 13(S-4):S8, 2012. [ bib | DOI | http ]
[72] Peter Drábik, Andrea Maggiolo-Schettini, and Paolo Milazzo. Towards modular verification of pathways: fairness and assumptions. In Gabriel Ciobanu, editor, Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012, volume 100 of EPTCS, pages 63--81, 2012. [ bib | DOI | http ]
[71] Peter Drábik, Andrea Maggiolo-Schettini, and Paolo Milazzo. On conditions for modular verification in systems of synchronising components. Fundam. Inform., 120(3-4):259--274, 2012. [ bib | DOI | http ]
[70] Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, and Simone Tini. Foundational aspects of multiscale modeling of biological systems with process algebras. Theor. Comput. Sci., 431:96--116, 2012. [ bib | DOI | http ]
[69] Roberto Barbuti, Francesca Levi, Paolo Milazzo, and Guido Scatena. Probabilistic model checking of biological systems with uncertain kinetic rates. Theor. Comput. Sci., 419:2--16, 2012. [ bib | DOI | http ]
[68] Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, and Luca Tesei. A testing framework for P systems. CoRR, abs/1108.3424, 2011. [ bib | arXiv | http ]
[67] Peter Drábik, Andrea Maggiolo-Schettini, and Paolo Milazzo. Modular verification of interactive systems with an application to biology. Sci. Ann. Comp. Sci., 21(1):39--72, 2011. [ bib | http ]
[66] Roberto Barbuti, Francesca Levi, Paolo Milazzo, and Guido Scatena. Maximally parallel probabilistic semantics for multiset rewriting. Fundam. Inform., 112(1):1--17, 2011. [ bib | DOI | http ]
[65] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Simone Tini. An overview on operational semantics in membrane computing. Int. J. Found. Comput. Sci., 22(1):119--131, 2011. [ bib | DOI | http ]
[64] Roberto Barbuti, Giuditta Franco, and Gheorghe Puaun. Foreword. Natural Computing, 10(1):1--2, 2011. [ bib | DOI | http ]
[63] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, and Luca Tesei. Spatial P systems. Natural Computing, 10(1):3--16, 2011. [ bib | DOI | http ]
[62] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Giovanni Pardini. Spatial calculus of looping sequences. Theor. Comput. Sci., 412(43):5976--6001, 2011. [ bib | DOI | http ]
[61] Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, and Paolo Milazzo. Delay stochastic simulation of biological systems: A purely delayed approach. Trans. Computational Systems Biology, 13:61--84, 2011. [ bib | DOI | http ]
[60] Giulio Caravagna, Alberto d’Onofrio, Paolo Milazzo, and Roberto Barbuti. Tumour suppression by immune system through stochastic oscillations. Journal of theoretical biology, 265(3):336--345, 2010. [ bib ]
[59] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Simone Tini. Membrane systems working in generating and accepting modes: Expressiveness and encodings. In Marian Gheorghe, Thomas Hinze, Gheorghe Puaun, Grzegorz Rozenberg, and Arto Salomaa, editors, Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, volume 6501 of Lecture Notes in Computer Science, pages 103--118. Springer, 2010. [ bib | DOI | http ]
[58] Peter Drábik, Andrea Maggiolo-Schettini, and Paolo Milazzo. Dynamic sync-programs for modular verification of biological systems. In Henning Bordihn, Rudolf Freund, Markus Holzer, Thomas Hinze, Martin Kutrib, and Friedrich Otto, editors, Second Workshop on Non-Classical Models for Automata and Applications - NCMA 2010, Jena, Germany, August 23 - August 24, 2010. Proceedings, volume 263 of books@ocg.at, pages 71--83. Austrian Computer Society, 2010. [ bib ]
[57] Roberto Barbuti, Nicoletta De Francesco, and Luca Tesei. An abstract interpretation approach for enhancing the java bytecode verifier. Comput. J., 53(6):679--700, 2010. [ bib | DOI | http ]
[56] Chiara Bodei, Andrea Bracciali, Davide Chiarugi, and Roberta Gori. A taxonomy of causality-based biological properties. In Emanuela Merelli and Paola Quaglia, editors, Proceedings Third Workshop From Biology To Concurrency and back, FBTC 2010, Paphos, Cyprus, 27th March 2010, volume 19 of EPTCS, pages 116--133, 2010. [ bib | DOI | http ]
[55] Thomas Anung Basuki, Antonio Cerone, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Elisabetta Rossi. Modelling the dynamics of an aedes albopictus population. In Paolo Milazzo and Mario de J. Pérez-Jiménez, editors, Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology, AMCA-POP 2010, Jena, Germany, 25th August 2010, volume 33 of EPTCS, pages 18--36, 2010. [ bib | DOI | http ]
[54] Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, and Simone Tini. Aspects of multiscale modelling in a process algebra for biological systems. In Gabriel Ciobanu and Maciej Koutny, editors, Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010, volume 40 of EPTCS, pages 54--69, 2010. [ bib | DOI | http ]
[53] Roberto Barbuti, Giovanni A. Cignoni, and Paolo Milazzo. A model for configuration management of open software systems. CoRR, abs/1011.5389, 2010. [ bib | arXiv | http ]
[52] Peter Drábik, Andrea Maggiolo-Schettini, and Paolo Milazzo. Modular verification of interactive systems with an application to biology. Electron. Notes Theor. Comput. Sci., 268:61--75, 2010. [ bib | DOI | http ]
[51] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Damas P. Gruska. A notion of biological diagnosability inspired by the notion of opacity in systems security. Fundam. Inform., 102(1):19--34, 2010. [ bib | DOI | http ]
[50] Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, and Paolo Milazzo. A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday. Fundam. Inform., 103(1-4):1--29, 2010. [ bib | DOI | http ]
[49] Roberta Gori and Francesca Levi. Abstract interpretation based verification of temporal properties for bioambients. Inf. Comput., 208(8):869--921, 2010. [ bib | DOI | http ]
[48] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Simone Tini. Compositional semantics of spiking neural P systems. J. Log. Algebr. Program., 79(6):304--316, 2010. [ bib | DOI | http ]
[47] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina. A methodology for the stochastic modeling and simulation of sympatric speciation by sexual selection. Journal of Biological Systems, 17(03):349--376, 2009. [ bib ]
[46] Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, and Aureliano Rama. Simulation of kohn's molecular interaction maps through translation into stochastic CLS+. In Amir Pnueli, Irina B. Virbitskaite, and Andrei Voronkov, editors, Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers, volume 5947 of Lecture Notes in Computer Science, pages 58--69. Springer, 2009. [ bib | DOI | http ]
[45] Roberto Barbuti, Francesca Levi, Paolo Milazzo, and Guido Scatena. Probabilistic model checking of biological systems with uncertain kinetic rates. In Olivier Bournez and Igor Potapov, editors, Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, volume 5797 of Lecture Notes in Computer Science, pages 64--78. Springer, 2009. [ bib | DOI | http ]
[44] Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, and Andrea Maggiolo-Schettini. On the interpretation of delays in delay stochastic simulation of biological systems. In Ralph-Johan Back, Ion Petre, and Erik P. de Vink, editors, Proceedings Second International Workshop on Computational Models for Cell Processes, COMPMOD 2009, Eindhoven, the Netherlands, November 3, 2009, volume 6 of EPTCS, pages 17--29, 2009. [ bib | DOI | http ]
[43] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, and Aureliano Rama. A process calculus for molecular interaction maps. In Gabriel Ciobanu, editor, Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009, volume 11 of EPTCS, page 35, 2009. [ bib | DOI | http ]
[42] Roberta Gori and Francesca Levi. Abstract interpretation for probabilistic termination of biological systems. In Gabriel Ciobanu, editor, Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009, volume 11 of EPTCS, pages 137--153, 2009. [ bib | DOI | http ]
[41] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Giovanni Pardini. Spatial calculus of looping sequences. Electron. Notes Theor. Comput. Sci., 229(1):21--39, 2009. [ bib | DOI | http ]
[40] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Luca Tesei. Timed P automata. Electron. Notes Theor. Comput. Sci., 227:21--36, 2009. [ bib | DOI | http ]
[39] Thomas Anung Basuki, Antonio Cerone, and Paolo Milazzo. Translating stochastic CLS into maude. Electron. Notes Theor. Comput. Sci., 227:37--58, 2009. [ bib | DOI | http ]
[38] Alessio Coletta, Roberta Gori, and Francesca Levi. Approximating probabilistic behaviors of biological systems using abstract interpretation. Electron. Notes Theor. Comput. Sci., 229(1):165--182, 2009. [ bib | DOI | http ]
[37] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Simone Tini. P systems with transport and diffusion membrane channels. Fundam. Inform., 93(1-3):17--31, 2009. [ bib | DOI | http ]
[36] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Luca Tesei. Timed P automata. Fundam. Inform., 94(1):1--19, 2009. [ bib | DOI | http ]
[35] Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, and Paolo Milazzo. P systems with endosomes. Int. J. Comput. Commun. Control, 4(3):214--223, 2009. [ bib | DOI | http ]
[34] Roberto Barbuti. Giorgio levi in pisa. Theor. Comput. Sci., 410(46):4603--4604, 2009. [ bib | DOI | http ]
[33] Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, and Paolo Milazzo. An intermediate language for the stochastic simulation of biological systems. Theor. Comput. Sci., 410(33-34):3085--3109, 2009. [ bib | DOI | http ]
[32] Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, and Giovanni Pardini. The calculus of looping sequences. In Marco Bernardo, Pierpaolo Degano, and Gianluigi Zavattaro, editors, Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, volume 5016 of Lecture Notes in Computer Science, pages 387--423. Springer, 2008. [ bib | DOI | http ]
[31] Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, and Paolo Milazzo. An intermediate language for the simulation of biological systems. Electron. Notes Theor. Comput. Sci., 194(3):19--34, 2008. [ bib | DOI | http ]
[30] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina. Bisimulations in calculi modelling membranes. Formal Asp. Comput., 20(4-5):351--377, 2008. [ bib | DOI | http ]
[29] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Simone Tini. A P systems flat form preserving step-by-step behaviour. Fundam. Inform., 87(1):1--34, 2008. [ bib ]
[28] Damas P. Gruska, Andrea Maggiolo-Schettini, and Paolo Milazzo. Security in a model for long-running transactions. Fundam. Inform., 85(1-4):189--203, 2008. [ bib | http ]
[27] Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina. Design and verification of long-running transactions in a timed framework. Sci. Comput. Program., 73(2-3):76--94, 2008. [ bib | DOI | http ]
[26] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Simone Tini. Compositional semantics and behavioral equivalences for P systems. Theor. Comput. Sci., 395(1):77--100, 2008. [ bib | DOI | http ]
[25] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Paolo Tiberi, and Angelo Troina. Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways. Trans. Computational Systems Biology, 9:86--113, 2008. [ bib | DOI | http ]
[24] Paolo Milazzo. Formal Modeling in Systems Biology: An Approach from Theoretical Computer Science. VDM Verlag, 2008. [ bib ]
[23] Roberto Barbuti, Andrea Maggiolo-Schettini, and Paolo Milazzo. Extending the calculus of looping sequences to model protein interaction at the domain level. In Ion I. Mandoiu and Alexander Zelikovsky, editors, Bioinformatics Research and Applications, Third International Symposium, ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007, Proceedings, volume 4463 of Lecture Notes in Computer Science, pages 638--649. Springer, 2007. [ bib | DOI | http ]
[22] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina. The calculus of looping sequences for modeling biological membranes. In George Eleftherakis, Petros Kefalas, Gheorghe Puaun, Grzegorz Rozenberg, and Arto Salomaa, editors, Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, volume 4860 of Lecture Notes in Computer Science, pages 54--76. Springer, 2007. [ bib | DOI | http ]
[21] Paolo Milazzo. Qualitative and quantitative formal modeling of biological systems. PhD thesis, Ph. D. Thesis, University of Pisa, 2007. [ bib ]
[20] Roberta Gori and Francesca Levi. An analysis for proving temporal properties of biological systems. In Naoki Kobayashi, editor, Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, volume 4279 of Lecture Notes in Computer Science, pages 234--252. Springer, 2006. [ bib | DOI | http ]
[19] Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina. Modeling long-running transactions with communicating hierarchical timed automata. In Roberto Gorrieri and Heike Wehrheim, editors, Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings, volume 4037 of Lecture Notes in Computer Science, pages 108--122. Springer, 2006. [ bib | DOI | http ]
[18] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina. Bisimulation congruences in the calculus of looping sequences. In Kamel Barkaoui, Ana Cavalcanti, and Antonio Cerone, editors, Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings, volume 4281 of Lecture Notes in Computer Science, pages 93--107. Springer, 2006. [ bib | DOI | http ]
[17] Francesca Levi. A typed encoding of boxed into safe ambients. Acta Inf., 42(6-7):429--500, 2006. [ bib | DOI | http ]
[16] Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina. A calculus of looping sequences for modelling microbiological systems. Fundam. Inform., 72(1-3):21--35, 2006. [ bib | http ]
[15] Samuele Carpineti, Cosimo Laneve, and Paolo Milazzo. Bopi - A distributed machine for experimenting web services technologies. In Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France, pages 202--211. IEEE Computer Society, 2005. [ bib | DOI | http ]
[14] Roberta Gori and Francesca Levi. A new occurrence counting analysis for bioambients. In Kwangkeun Yi, editor, Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings, volume 3780 of Lecture Notes in Computer Science, pages 381--400. Springer, 2005. [ bib | DOI | http ]
[13] Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, and Gigliola Vaglini. Reduced models for efficient CCS verification. Formal Methods Syst. Des., 26(3):319--350, 2005. [ bib | DOI | http ]
[12] Roberto Barbuti and Stefano Cataudella. Abstract interpretation of an object calculus for synchronization optimizations. Fundam. Inform., 67(1-3):1--12, 2005. [ bib | http ]
[11] Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina. A probabilistic model for molecular systems. Fundam. Inform., 67(1-3):13--27, 2005. [ bib | http ]
[10] Roberta Gori and Giorgio Levi. On the verification of finite failure. J. Comput. Syst. Sci., 71(4):535--575, 2005. [ bib | DOI | http ]
[9] Francesca Levi and Chiara Bodei. A control flow analysis for safe and boxed ambients. In David A. Schmidt, editor, Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, volume 2986 of Lecture Notes in Computer Science, pages 188--203. Springer, 2004. [ bib | DOI | http ]
[8] Roberto Barbuti and Stefano Cataudella. Java bytecode verification on java cards. In Hisham Haddad, Andrea Omicini, Roger L. Wainwright, and Lorie M. Liebrock, editors, Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pages 431--438. ACM, 2004. [ bib | DOI | http ]
[7] Roberto Barbuti and Luca Tesei. Timed automata with urgent transitions. Acta Inf., 40(5):317--347, 2004. [ bib | DOI | http ]
[6] Roberto Barbuti, Cinzia Bernardeschi, and Nicoletta De Francesco. Analyzing information flow properties in assembly code by abstract interpretation. Comput. J., 47(1):25--45, 2004. [ bib | DOI | http ]
[5] Elisa Bertino, Barbara Catania, and Roberta Gori. Enhancing the expressive power of the u-datalog language. CoRR, cs.DB/0404003, 2004. [ bib | http ]
[4] Roberto Bagnara, Roberta Gori, Patricia M. Hill, and Enea Zaffanella. Finite-tree analysis for constraint logic-based languages: The complete unabridged version. CoRR, cs.PL/0404055, 2004. [ bib | http ]
[3] Roberto Barbuti, Stefano Cataudella, and Luca Tesei. Abstract interpretation against races. Fundam. Inform., 60(1-4):67--79, 2004. [ bib | http ]
[2] Roberto Bagnara, Roberta Gori, Patricia M. Hill, and Enea Zaffanella. Finite-tree analysis for constraint logic-based languages. Inf. Comput., 193(2):84--116, 2004. [ bib | DOI | http ]
[1] Francesca Levi and Sergio Maffeis. On abstract interpretation of mobile ambients. Inf. Comput., 188(2):179--240, 2004. [ bib | DOI | http ]

This file was generated by bibtex2html 1.98.