Journals

1. S. Crespi Reghizzi, M. Pradella, P. San Pietro, Associative Definition of Programming Languages, Computer Languages, Vol 26/2-4, 2001, pp 105-123 (file)
2. 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)
3. S. Crespi Reghizzi, M. Pradella, Tile Rewriting Grammars and Picture Languages, Theoretical Computer Science, Vol 340/2 pp 257-272, 2005 (file)
4. 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)
5. 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)
6. 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)
7. S. Crespi Reghizzi, M. Pradella, A CKY parser for picture grammars, Information Processing Letters, Vol 105/6, pp 213-217, 2008 (file)
8. C. A. Furia, M. Pradella, M. Rossi, Comments on "Temporal Logics for Real-Time System Specification", Computing Surveys Vol 41(2), February 2009. (file)
9. 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)
10. 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)
11. 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)
12. G. Salvaneschi, C. Ghezzi, M. Pradella, Context-oriented programming: a software engineering perspective, Journal of Systems and Software, 85(8): 1801-1817, 2012, DOI: 10.1016/j.jss.2012.03.024 (file)
13. A. Barenghi, S. Crespi Reghizzi, D. Mandrioli, M. Pradella, Parallel Parsing of Operator Precedence Grammars, Information Processing Letters, vol. 113(7), 245-249, 2013, DOI: 10.1016/j.ipl.2013.01.008 (file)
14. G. Salvaneschi, C. Ghezzi, M. Pradella, An analysis language-level support for self-adaptive software, ACM Transactions on Autonomous and Adaptive Systems, vol 8(2), 2013, DOI: 10.1145/2491465.2491466 (file)
15. M. Pradella, A. Morzenti, P. San Pietro, Bounded Satisfiability Checking of Metric Temporal Logic Specifications, ACM Transactions on Software Engineering and Methodology (TOSEM), vol 22(3), 2013, DOI: 10.1145/2491509.2491514 (file)
16. M. M. Bersani, A. Frigeri, A. Morzenti, M. Pradella, M. Rossi, P. San Pietro, Constraint LTL Satisfiability Checking without Automata, Journal of Applied Logic, vol 12, pp. 522-557, 2014, DOI: 10.1016/j.jal.2014.07.005 (file)
17. G. Salvaneschi, C. Ghezzi, M. Pradella, ContextErlang: A Language for Distributed Context-Aware Self-Adaptive Applications, Science of Computer Programming, 102: 20-43, 2015, DOI: 10.1016/j.scico.2014.11.016 (file)
18. V. Lonati, D. Mandrioli, F. Panella, M. Pradella, Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization, SIAM Journal on Computing (SICOMP), 44(4), 1026-1088, 2015 DOI: 10.1137/140978818 (file)
19. A. Barenghi, S. Crespi Reghizzi, D. Mandrioli, F. Panella, M. Pradella, Parallel Parsing Made Practical, Science of Computer Programming, 112: 195-226 (2015) DOI: 10.1016/j.scico.2015.09.002 (file)
20. S. Crespi Reghizzi, V. Lonati, D. Mandrioli, M. Pradella, Toward a theory of input-driven locally parsable languages, Theoretical Computer Science, 658: 105-121 (2017) DOI: 10.1016/j.tcs.2016.05.003 (file)
21. D. Mandrioli, M. Pradella, Generalizing input-driven languages: theoretical and practical benefits, Computer Science Review, Computer Science Review 27 (2018) 61-87 DOI: 10.1016/j.cosrev.2017.12.001 (file)
22. S. Crespi Reghizzi, M. Pradella, Beyond operator-precedence grammars and languages, Journal of Computer and System Sciences (JCSS), 113 (2020) DOI: 10.1016/j.jcss.2020.04.006 (file)
23. M. Chiari, D. Mandrioli, M. Pradella, Operator Precedence Temporal Logic and Model Checking, Theoretical Computer Science, 848: 47-81 (2020) DOI: 10.1016/j.tcs.2020.08.034 (file)
24. M. Droste, S. Dueck, D. Mandrioli, M. Pradella, Weighted Operator Precedence Languages, Information and Computation, 282: 104658 (2022) DOI: 10.1007/978-3-319-30000-9_11 (file)
25. M. Chiari, D. Mandrioli, M. Pradella, A First-Order Complete Temporal Logic for Structured Context-Free Languages, Logical Methods in Computer Science, Volume 18, Issue 3, pp. 11:1-11:49 (2022) DOI: 10.46298/LMCS-18(3:11)2022 (file)
26. M. Chiari, D. Mandrioli, F. Pontiggia, M. Pradella, A Model Checker for Operator Precedence Languages, ACM Transactions on Programming Languages and Systems, Vol. 45, No. 3, Article 19, September 2023 (file)
27. D. Mandrioli, M. Pradella, S. Crespi Reghizzi, Aperiodicity, Star-freeness, and First-order Definability of Operator Precedence Languages, lmcs:9684 - Logical Methods in Computer Science, Volume 19, Issue 4 (2023) DOI: 10.46298/lmcs-19(4:12)2023 (link)

Conferences and workshops

• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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
• 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)
• 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.
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• V. Lonati, M. Pradella, Deterministic recognizability of picture languages by Wang automata, Proc. of 11th Italian Conference on Theoretical Computer Science (ICTCS 2009). (file)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• G. Salvaneschi, C. Ghezzi, M. Pradella, ContextErlang: Introducing Context-oriented Programming in the Actor Model, AOSD 2012, 191-202, 2012 (file)
• A. Barenghi, E. Viviani, S. Crespi Reghizzi, D. Mandrioli, M. Pradella, PAPAGENO: a parallel parser generator for operator precedence grammars, SLE 2012, LNCS 7745, pp. 264-274, 2013, DOI: 10.1007/978-3-642-36089-3_15 (file)
• V. Lonati, D. Mandrioli, M. Pradella, Logic Characterization of Invisibly Structured Languages: the Case of Floyd Languages, SOFSEM 2013, LNCS 7741, pp. 307-318, 2013, DOI: 10.1007/978-3-642-35843-2_27 (file)
• F. Panella, M. Pradella, V. Lonati, D. Mandrioli, Operator Precedence omega-languages, 17th International Conference on Developments in Language Theory (DLT 2013), LNCS 7907, pp. 396-408, 2013, DOI: 10.1007/978-3-642-38771-5_35 (file)
• V. Lonati, D. Mandrioli, F. Panella, M. Pradella, Free Grammars and Languages, 14th Italian Conference on Theoretical Computer Science (ICTCS), 2013 (file)
• A. Barenghi, S. Crespi Reghizzi, D. Mandrioli, F. Panella, M. Pradella, The PAPAGENO parallel-parser generator (Tool paper), 23rd International Conference on Compiler Construction (CC), Lecture Notes in Computer Science Volume 8409, 2014, pp 192-196 (file)
• D. Mandrioli, M. Pradella, Programming Languages shouldn't be "too Natural", ACM SIGSOFT Software Engineering Notes 40(1): 1-4, 2015, DOI: 10.1145/2693208.2693232 (file)
• V. Lonati, D. Mandrioli, F. Panella, M. Pradella, First-order Logic Definability of Free Languages, The 10th International Computer Science Symposium in Russia (CSR), LNCS 9139, pp. 310-324, 2015 DOI: 10.1007/978-3-319-20297-6_20 (file)
• G. Cugola, A. Margara, M. Pezze, M. Pradella, Efficient Analysis of Event Processing Applications, The 9th ACM International Conference on Distributed Event-Based Systems (DEBS), 2015 DOI: 10.1145/2675743.2771834 (file)
• S. Crespi Reghizzi, V. Lonati, D. Mandrioli, M. Pradella, Locally Chain-Parsable Languages, MFCS 2015, Lecture Notes in Computer Science Volume 9234, 2015, pp 154-166 DOI: 10.1007/978-3-662-48057-1_12 (file)
• M. Droste, S. Dueck, D. Mandrioli, M. Pradella, Weighted Operator Precedence Languages, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS) August 21-25, 2017, Aalborg (Denmark) (2017) DOI: 10.4230/LIPIcs.MFCS.2017.31 (file)
• S. Crespi Reghizzi, M. Pradella, Higher-order Operator Precedence Languages, 15th International Conference on Automata and Formal Languages (AFL), September 4-6, 2017, Debrecen, Hungary, (2017) DOI: 10.4204/EPTCS.252.11 (file)
• M. Chiari, D. Mandrioli, M. Pradella, Temporal Logic and Model Checking for Operator Precedence Languages In Andrea Orlandini and Martin Zimmermann: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018), Saarbrucken, Germany, 26-28th September 2018, Electronic Proceedings in Theoretical Computer Science 277, pp. 161-175. (file)
• D. Mandrioli, M. Pradella, S. Crespi Reghizzi, Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages. In: Pun V.K.I., Stolz V., Simao A. (eds) Theoretical Aspects of Computing ICTAC 2020. Lecture Notes in Computer Science, vol. 12545. Springer, Cham. DOI: 10.1007/978-3-030-64276-1 9 (file)
• J. Alonso, C. Joubert, L. Orue-Echevarria, M. Pradella, D. Vladusic, PIACERE: Programming trustworthy infrastructure as code in a secure framework, CEUR Workshop Proceedings, Volume 2878, Pages 8-15, 1st SWForum Workshop on Trustworthy Software and Open Source, TSOS 2021, 23 March 2021 - 25 March 2021 (file)
• M. Chiari, D. Mandrioli, M. Pradella, Model-Checking Structured Context-Free Languages A. Silva and K. R. M. Leino (Eds.): CAV 2021, LNCS 12760, pp. 387–410, 2021. DOI: 10.1007/978-3-030-81688-9_18 (file)
• F. Pontiggia, M. Chiari, M. Pradella, Verification of Programs with Exceptions Through Operator Precedence Automata Volume 13085 LNCS, 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, pp. 293-311 DOI: 10.1007/978-3-030-92124-8_17 (file)
• M. Chiari, M. De Pascalis, M. Pradella, Static Analysis of Infrastructure as Code: A Survey 1st International Workshop on the Foundations of Infrastructure Specification and Testing (FIST), 19th IEEE International Conference on Software Architecture Companion (ICSA-C), pp 218-225, 12-15 March 2022 DOI: 10.1109/ICSA-C54293.2022.00049 (file)
• M. Chiari, L. Geatti, N. Gigante, M. Pradella, SMT-based Symbolic Model-Checking for Operator Precedence Languages, CAV 2024 (to appear)

Technical Reports

• M. Pradella, Associative Language Descriptions: a portable compendium, Rapporto Interno n. 99-26, Dipartimento di Elettronica e Informazione, Politecnico di Milano, 1999
• 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
• 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
• 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)
• 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
• 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)
• 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)
• C. A. Furia, M. Pradella, and M. Rossi. Practical Automated Partial Verification of Multi-Paradigm Real-Time Models. arXiv:0804.4383, April 2008.
• M. Pradella, A. Morzenti, P. San Pietro, A Metric Encoding for Bounded Model Checking (extended version). arXiv:0907.3085, July 2009.
• 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.
• M. Pradella, A. Cherubini, S. Crespi Reghizzi, A unifying approach to picture grammars. arXiv:0910.2829, October 2009.
• M. Pradella, A User's Guide to Zot, arXiv:0912.5014, December 2009.
• V. Lonati, D. Mandrioli, M. Pradella, Precedence Automata and Languages arXiv:0912.5014, December 2010.
• G. Salvaneschi, C. Ghezzi, M. Pradella, JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming arXiv:1104.1351 , April 2011.
• G. Salvaneschi, C. Ghezzi, M. Pradella, Context-Oriented Programming: A Programming Paradigm for Autonomic Systems arXiv:1105.0069 , April 2011.
• V. Lonati, D. Mandrioli, M. Pradella, Logic Characterization of Floyd Languages arXiv:1204.4639, April 2012.
• M. Bersani, A. Frigeri, A. Morzenti, M. Pradella, M. Rossi, P. San Pietro Constraint LTL Satisfiability Checking without Automata arXiv:1205.0946, May 2012.
• F. Panella, M. Pradella, V. Lonati, D. Mandrioli, Operator Precedence omega-languages arXiv:1301.2476, January 2013.
• M. Droste, S. Dueck, D. Mandrioli, M. Pradella, Weighted Operator Precedence Languages, arXiv:1702.04597, February 2017.
• D. Mandrioli, M. Pradella, Generalizing input-driven languages: theoretical and practical benefits, arXiv:1705.00984, May 2017.
• S. Crespi Reghizzi, M. Pradella, Higher-order Operator Precedence Languages, arXiv:1705.09093, May 2017.
• M. Chiari, D. Mandrioli, M. Pradella, POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages, arXiv:1910.09327, October 2019.
• D. Mandrioli, M. Pradella, S. Crespi Reghizzi, Aperiodicity, Star-freeness, and First-order Definability of Structured Context-Free Languages, arxiv:2006.01236, June 2020.

Ph.D. dissertation

Matteo Pradella, Methods and Tools for the Design and Analysis of Distributed Supervision and Control Systems, December 2000 (file)