{back}

Publications

  1. A. Coen-Porisini, M. Pradella, P. San Pietro, A finite domain semantics for testing temporal logic specifications, Proc. of 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98) (Eds. A.P. Ravn and H. Rischel), LNCS, vol. 1486, Springer Verlag, September 1998, p 41-54 (file)
  2. A. Casazza, D. Comini, A. Morzenti, M. Pradella, P. San Pietro, F. Schreiber, Specification and Test Case Generation for the Safety Kernel of the Naples Subway, Proc. of 5th International Conference on Information Systems Analysis and Syntesis (ISAS'99), July 31-August 4, 1999, Vol. 1, p 533-540 (file)
  3. A. Morzenti, M. Pradella, M. Rossi, S. Russo, A. Sergio, A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications , Proc. of 2nd Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'99), Los Angeles (USA), May 1999, IEEE Computer Society Press, pp 217 - 223 (file)
  4. S. Crespi Reghizzi, M. Pradella, P. San Pietro, Conciseness of Associative Language Descriptions, Proc. of International Workshop on Descritional Complexity of Automata, Grammars and Related Structures (DCAGRS'99), J. Dassow and D. Wotschke (eds.), July 20-23, 1999, p 99-108 (file)
  5. A. Coen-Porisini, M. Pradella, M. Rossi, An Evolutionary Approach to the Design of Supervision and Control Systems, Proc. of International Workshop on Principles of Software Evolution (IWPSE'99), July 16-17, 1999, p 37-42 (file)
  6. A. Coen-Porisini, M. Pradella, M. Rossi, D. Mandrioli, A Formal Approach for Designing CORBA based Applications, Proc. of the 22-nd International Conference on Software Engineering (ICSE 2000), Limerick (IR), June 4-11, 2000 (file)
  7. M. Pradella, M. Colombetti, A Formal Description of a Practical Agent for E-Commerce, F. Dignum and U. Cortes (eds.), Lecture Notes on Artificial Intelligence (LNAI), vol. 2003, Springer-Verlag, 2001 (extended version of the paper in Proc. of 3rd International Workshop on Agent Mediated Electronic Commerce (AMEC-III), Barcelona, June 4, 2000). (file)
  8. S. Crespi Reghizzi, M. Pradella, P. San Pietro, Associative Definition of Programming Languages, Computer Languages, Vol 26/2-4, 2001, pp 105-123 (file)
  9. U. Foschi, M. Giuliani, A. Morzenti, M. Pradella, P. San Pietro, Software procurement and methods for specification and validation in the railway transportation industry, IEEE International Conference on System, Man and Cybernetics (SMC 2002), Hammamet, Tunisia, October 6-9, 2002
  10. U. Foschi, M. Giuliani, A. Morzenti, M. Pradella, P. San Pietro, The Role of Formal Methods in Software Procurement for the Railway Transportation Industry, Symposium on Formal Methods for Railway Operation and Control Systems (FORMS 2003), Budapest, Hungary, 15-16 May 2003 (file)
  11. M. Archer, E. Leonard, M. Pradella, Modeling Security-Enchanced Linux Policy Specifications for Analysis, Research Summaries for DISCEX III, Washington, DC, April 22-24, 2003.
  12. M. Archer, E. Leonard, M. Pradella, Analyzing Security-Enhanced Linux Policy Specifications, IEEE 4th International Workshop on Policies for Distributed Systems and Network (Policy 2003), Lake Como, Italy, June 4-6, 2003 (file)
  13. S. Crespi Reghizzi, M. Pradella, Tile Rewriting Grammars, 7th International Conference on Developments in Language Theory (DLT 2003), LNCS 2710, Szeged, Hungary, July 7-11, 2003 (file)
  14. A. Morzenti, M. Pradella, P. San Pietro, P. Spoletini, Model-checking TRIO specifications in SPIN, FM 2003: 12th International FME Symposium, LNCS 2805, Pisa, Italy - September 8-14, 2003 (file)
  15. A. Coen-Porisini, M. Pradella, M. Rossi, D. Mandrioli, A Formal Approach for Designing CORBA based Applications, ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 12, n. 2, April 2003 (file)
  16. M. Pradella, P. San Pietro, P. Spoletini, A. Morzenti, Practical Model Checking of LTL with Past, 1st Int. Workshop on Automated Technology for Verification and Analysis, National Taiwan University, 10-13 December 2003 (file)
  17. S. Crespi Reghizzi, M. Pradella, Tile Rewriting Grammars and Picture Languages, Theoretical Computer Science, Vol 340/2 pp 257-272, 2005 (file)
  18. M. Pradella, M. Rossi, D. Mandrioli, A UML-compatible formal language for system architecture description, SDL 2005: 12th International SDL Forum, LNCS 3530, June 20-24, 2005 (file)
  19. M. Pradella, M. Rossi, D. Mandrioli, ArchiTRIO: a UML-compatible language for architectural description and its formal semantics, FORTE 2005: 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, LNCS 3731, National Taiwan University, Sunday 2 October - Wednesday 5 October 2005 (file)
  20. P. Colombo, M. Pradella, M. Rossi, G. Sassaroli, A UML 2-compatible language and tool for formal modeling real-time system architectures, SAC 2006: 21st Annual ACM Symposium on Applied Computing, Dijon, France April 23-27, 2006 (file)
  21. S. Crespi Reghizzi, M. Pradella, On parsing some classes of 2D languages (Abstract), ESF Workshop "Advances on Two-dimensional language theory", Salerno, Italy, May 3-5, 2006 (file)
  22. A. Cherubini, S. Crespi Reghizzi, M. Pradella, P. San Pietro, Picture languages: Tiling Systems versus Tile Rewriting Grammars, Theoretical Computer Science, Vol 356/1-2 pp 90-103, 2006 (file)
  23. C. A. Furia, A. Morzenti, M. Pradella, M. G. Rossi, Comments on "An Interval Logic for Real-Time System Specication", IEEE Transactions on Software Engineering, Vol 32/6, pp 424-427, 2006 (file)
  24. D. Bianculli, P. Spoletini, A. Morzenti, M. Pradella, P. San Pietro, Model checking temporal metric specifications with Trio2Promela, IPM International Symposium on Fundamentals of Software Engineering (FSEN 2007), LNCS 4767, pp 388-395, 2007
  25. D. Bianculli, A. Morzenti, M. Pradella, P. San Pietro, P. Spoletini, Trio2Promela: a model checker for temporal metric specifications, 29th Int. Conference on Software Engineering (ICSE 2007), Research Demonstrations Track, pp 61-62, 2007 (file)
  26. M. Pradella, S. Crespi Reghizzi, SAT-TS: a SAT-based tool to recognize and complete pictures specified by tiling (Extended abstract), DLT 2007, Workshop on Tilings and Self-Assembly, TUCS General Publication N. 45, Part III, pp 33-35, June 2007 (file)
  27. M. Pradella, A. Morzenti, P. San Pietro, The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties, Proceedings of The 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), Dubrovnik, Croatia, September 3-7, 2007 (file)
  28. M. Pradella, S. Crespi Reghizzi, A SAT-based parser and completer for pictures specified by tiling, Pattern Recognition, Vol 41, pp 555-566, 2008 (file)
  29. S. Crespi Reghizzi, M. Pradella, A CKY parser for picture grammars, Information Processing Letters, Vol 105/6, pp 213-217, 2008 (file)
  30. C. A. Furia, M. Pradella, M. Rossi, Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation, Proc. of 15th International Symposium on Formal Methods (FM 2008), volume 5014 of Lecture Notes in Computer Science, pages 132-147. Springer-Verlag, May 2008. (file)
  31. M. Pradella, A. Morzenti, P. San Pietro, Benchmarking Model- and Satisfiability-Checking on bi-infinite time, Proc. of 5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008), volume 5160 of Lecture Notes in Computer Science, pages 290-304. Springer-Verlag, 2008. (file)
  32. A. Cherubini, S. Crespi Reghizzi, M. Pradella, Regional languages and tiling: a unifying approach to picture grammars, Proc. of 33th International Symposium on Mathematical Foundations of Computer Science (MFCS 2008), volume 5162 of Lecture Notes in Computer Science, pages 253-264. Springer-Verlag, 2008. (file)
  33. M. Pradella, A. Morzenti, P. San Pietro, Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking, Proc. of 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008). (file)
  34. C. A. Furia, M. Pradella, and M. Rossi. Practical Automated Partial Verification of Multi-Paradigm Real-Time Models, Proc. of 10th International Conference on Formal Engineering Methods (ICFEM 2008). (file)
  35. C. A. Furia, M. Pradella, M. Rossi, Comments on "Temporal Logics for Real-Time System Specification", Computing Surveys Vol 41(2), February 2009. (file)
  36. V. Lonati, M. Pradella, Snake-Deterministic Tiling Systems, Proc. of 34th International Symposium on Mathematical Foundations of Computer Science (MFCS 2009), LNCS 5734, pp 549-560, 2009. (file)
  37. A. Cherubini, M. Pradella, Picture Languages: From Wang Tiles to 2D Grammars, Proc. of 3rd International Conference on Algebraic Informatics (CAI 2009), LNCS 5725, pp 13-46, 2009. (file)
  38. V. Lonati, M. Pradella, Deterministic recognizability of picture languages by Wang automata, Proc. of 11th Italian Conference on Theoretical Computer Science (ICTCS 2009). (file)
  39. M. Pradella, A. Morzenti, P. San Pietro, A Metric Encoding for Bounded Model Checking, Proc. of 16th International Symposium on Formal Methods (FM 2009), LNCS 5850, pp. 741-756, 2009. (file)
  40. M. M. Bersani, C. A. Furia, M. Pradella, M. Rossi, Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms, Proc. of 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009), pp. 13-22, 2009. (file)
  41. L. Cavallaro, E. Di Nitto, M. Pradella, An Automatic Approach to Enable Replacement of Conversational Services, Proc. of 7th International Conference on Service Oriented Computing (ICSOC - ServiceWave 2009), LNCS 5900, pp. 159-174, 2009. (file)
  42. V. Lonati, M. Pradella, Picture recognizability with automata based on Wang tiles, Proc. of 36th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2010), LNCS 5901, pp. 576-587, 2010. (file)
  43. L. Cavallaro, E. Di Nitto, C. A. Furia, M. Pradella, A Tile-based Approach for Self-assembling Service Compositions, Proc. of 15th IEEE International Conference on Engineering of Complex Computer Systems St. Anne's College, University of Oxford, 22-26 March 2010. (file)
  44. L. Cavallaro, E. Di Nitto, P. Pelliccione, M. Pradella, M. Tivoli, Synthesizing adapters for conversational web-services from their WSDL interface, Proc. of ICSE 2010 SEAMS Workshop on Software Engineering for Adaptive and Self-Managing Systems, pp 104-113, 2010. (file)
  45. C. Ghezzi, M. Pradella, G. Salvaneschi, Programming Language Support to Context-Aware Adaptation - A Case-Study with Erlang, Proc. of ICSE 2010 SEAMS Workshop on Software Engineering for Adaptive and Self-Managing Systems, pp 59-68, 2010. (file)
  46. C. Ghezzi, M. Pradella, G. Salvaneschi, Context Oriented Programming in Highly Concurrent Systems, Proc. of 2nd International Workshop on Context-oriented Programming (COP), 2010. (file)
  47. M. Bersani, A. Frigeri, A. Morzenti, M. Pradella, M. Rossi, P. San Pietro, Bounded Reachability for Temporal Logic over Constraint Systems, Proc. of 17th International Symposium on Temporal Representation and Reasoning (TIME), 2010. (file)
  48. M. Bersani, L. Cavallaro, A. Frigeri, M. Pradella, M. Rossi, SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability , Proc. of 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM), 2010. (file)
  49. V. Lonati, M. Pradella. Deterministic recognizability of picture languages with Wang automata, Discrete Mathematics & Theoretical Computer Science, vol. 12:4, pp 73-94, 2010. (file)
  50. V. Lonati, M. Pradella. Strategies to scan pictures with automata based on Wang tiles, RAIRO - Theoretical Informatics and Applications, vol. 45, pp 163-180, 2011. (file)
  51. C. Ghezzi, M. Pradella, G. Salvaneschi, An evaluation of the adaptation capabilities in programming languages, 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), May 23-24, 2011 (file)
  52. V. Lonati, D. Mandrioli, M. Pradella, Precedence Automata and Languages, The 6th International Computer Science Symposium in Russia (CSR), LNCS 6651, pp. 291-304, June 14-18, 2011 (file)
  53. V. Lonati, M. Pradella, Towards more expressive 2D deterministic automata, 6th International Conference on Implementation and Application of Automata (CIAA), LNCS 6807, pp 225-237, July 13-16, 2011 (file)
  54. M. Pradella, A. Cherubini, S. Crespi Reghizzi, A unifying approach to picture grammars, Information and Computation, vol. 209(9): 1246-1267, 2011, DOI: 10.1016/j.ic.2011.07.001 (file)

Recently accepted

Technical Reports

  1. M. Pradella, Associative Language Descriptions: a portable compendium, Rapporto Interno n. 99-26, Dipartimento di Elettronica e Informazione, Politecnico di Milano, 1999
  2. M. Pradella, A formal description of a practical agent for e-commerce, Rapporto Interno n. 2000-7, Dipartimento di Elettronica e Informazione, Politecnico di Milano, 2000
  3. M. Archer, E. Leonard, M. Pradella, Towards a methodology and tool for the analysis of Security-Enhanced Linux security policies, Technical Report NRL/MR/5540-02-8629, NRL, Washington, DC, 2002
  4. M. Pradella, Finite-Domain Temporal Logic in ACL2: a semantics-based approach, Rapporto Interno n. 2002.53, Dipartimento di Elettronica e Informazione, Politecnico di Milano, 2002 (file)
  5. M. Archer, E. Leonard, M. Pradella, Analyzing Security-Enhanced Linux Policy Specifications, Technical Report NRL/MR/5540--03-8659, NRL, Washington, DC, March 27, 2003
  6. C. A. Furia, D. Mandrioli, A. Morzenti, M. Pradella, M. Rossi, P. San Pietro, Higher Order TRIO, Internal Report 2004.28, Dipartimento di Elettronica ed Informazione, Politecnico di Milano, September 2004 (file)
  7. C. A. Furia, M. Pradella, M. Rossi. Dense-Time MTL Verification Through Sampling. Technical Report 2007.37, Dipartimento di Elettronica e Informazione, Politecnico di Milano, 2007. (file)
  8. C. A. Furia, M. Pradella, and M. Rossi. Practical Automated Partial Verification of Multi-Paradigm Real-Time Models. arXiv:0804.4383, April 2008.
  9. M. Pradella, A. Morzenti, P. San Pietro, A Metric Encoding for Bounded Model Checking (extended version). arXiv:0907.3085, July 2009.
  10. M. M. Bersani, C. A. Furia, M. Pradella, M. Rossi, Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. arXiv:0907.5074, July 2009.
  11. M. Pradella, A. Cherubini, S. Crespi Reghizzi, A unifying approach to picture grammars. arXiv:0910.2829, October 2009.
  12. M. Pradella, A User's Guide to Zot, arXiv:0912.5014, December 2009.
  13. V. Lonati, D. Mandrioli, M. Pradella, Precedence Automata and Languages arXiv:0912.5014, December 2010.
  14. V. Lonati, D. Mandrioli, M. Pradella, Logic Characterization of Floyd Languages arXiv:0912.5014, April 2012.

Ph.D. dissertation

Disclaimer: Some of these are preliminary versions of articles that are about to be published or have been published in journals or conference proceedings. For final versions, please refer to cited journals or proceedings.