Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Matteo Pradella
2010 – today
- 2013
[j13]Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella: Parallel parsing of operator precedence grammars. Inf. Process. Lett. 113(7): 245-249 (2013)- [c36]Federica Panella, Matteo Pradella, Violetta Lonati, Dino Mandrioli: Operator Precedence ω-Languages. Developments in Language Theory 2013: 396-408
- [c35]Violetta Lonati, Dino Mandrioli, Matteo Pradella: Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages. SOFSEM 2013: 307-318
- [i13]Federica Panella, Matteo Pradella, Dino Mandrioli, Violetta Lonati: Operator Precedence ω-languages. CoRR abs/1301.2476 (2013)
- 2012
- [j12]Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella: Context-oriented programming: A software engineering perspective. Journal of Systems and Software 85(8): 1801-1817 (2012)
- [c34]Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella: ContextErlang: introducing context-oriented programming in the actor model. AOSD 2012: 191-202
- [c33]Alessandro Barenghi, Ermes Viviani, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella: PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars. SLE 2012: 264-274
- [i12]Violetta Lonati, Dino Mandrioli, Matteo Pradella: Logic Characterization of Floyd Languages. CoRR abs/1204.4639 (2012)
- [i11]Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro: Constraint LTL Satisfiability Checking without Automata. CoRR abs/1205.0946 (2012)
- 2011
- [j11]Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi: A unifying approach to picture grammars. Inf. Comput. 209(9): 1246-1267 (2011)
- [j10]Violetta Lonati, Matteo Pradella: Strategies to scan pictures with automata based on Wang tiles. RAIRO - Theor. Inf. and Applic. 45(1): 163-180 (2011)
- [c32]Violetta Lonati, Dino Mandrioli, Matteo Pradella: Precedence Automata and Languages. CSR 2011: 291-304
- [c31]Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi: An evaluation of the adaptation capabilities in programming languages. SEAMS 2011: 50-59
- [c30]Violetta Lonati, Matteo Pradella: Towards More Expressive 2D Deterministic Automata. CIAA 2011: 225-237
- [i10]Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella: JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming. CoRR abs/1104.1351 (2011)
- [i9]Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella: Context-Oriented Programming: A Programming Paradigm for Autonomic Systems. CoRR abs/1105.0069 (2011)
- 2010
- [j9]Violetta Lonati, Matteo Pradella: Deterministic recognizability of picture languages with Wang automata. Discrete Mathematics & Theoretical Computer Science 12(4): 73-94 (2010)
- [c29]Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella: A Tile-Based Approach for Self-Assembling Service Compositions. ICECCS 2010: 43-52
- [c28]Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi: SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. SEFM 2010: 244-254
- [c27]Violetta Lonati, Matteo Pradella: Picture Recognizability with Automata Based on Wang Tiles. SOFSEM 2010: 576-587
- [c26]Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro: Bounded Reachability for Temporal Logic over Constraint Systems. TIME 2010: 43-50
- [i8]Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro: Bounded Reachability for Temporal Logic over Constraint Systems. CoRR abs/1004.1077 (2010)
- [i7]Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi: SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability. CoRR abs/1004.2873 (2010)
- [i6]Violetta Lonati, Dino Mandrioli, Matteo Pradella: Precedence Automata and Languages. CoRR abs/1012.2321 (2010)
2000 – 2009
- 2009
- [j8]Carlo A. Furia, Matteo Pradella, Matteo Rossi: Comments on temporal logics for real-time system specification. ACM Comput. Surv. 41(2) (2009)
- [c25]Alessandra Cherubini, Matteo Pradella: Picture Languages: From Wang Tiles to 2D Grammars. CAI 2009: 13-46
- [c24]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro: A Metric Encoding for Bounded Model Checking. FM 2009: 741-756
- [c23]Luca Cavallaro, Elisabetta Di Nitto, Matteo Pradella: An Automatic Approach to Enable Replacement of Conversational Services. ICSOC/ServiceWave 2009: 159-174
- [c22]Violetta Lonati, Matteo Pradella: Deterministic recognizability of picture languages by Wang automata. ICTCS 2009: 150-154
- [c21]
- [c20]Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi: Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. SEFM 2009: 13-22
- [i5]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro: A Metric Encoding for Bounded Model Checking (extended version). CoRR abs/0907.3085 (2009)
- [i4]Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi: Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. CoRR abs/0907.5074 (2009)
- [i3]Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi: A unifying approach to picture grammars. CoRR abs/0910.2829 (2009)
- [i2]
- 2008
- [j7]Stefano Crespi-Reghizzi, Matteo Pradella: A CKY parser for picture grammars. Inf. Process. Lett. 105(6): 213-217 (2008)
- [j6]Matteo Pradella, Stefano Crespi-Reghizzi: A SAT-based parser and completer for pictures specified by tiling. Pattern Recognition 41(2): 555-566 (2008)
- [c19]Carlo A. Furia, Matteo Pradella, Matteo Rossi: Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. FM 2008: 132-147
- [c18]Carlo A. Furia, Matteo Pradella, Matteo Rossi: Practical Automated Partial Verification of Multi-paradigm Real-Time Models. ICFEM 2008: 298-317
- [c17]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro: Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. ICTAC 2008: 290-304
- [c16]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro: Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. ASE 2008: 119-127
- [c15]Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella: Regional Languages and Tiling: A Unifying Approach to Picture Grammars. MFCS 2008: 253-264
- [i1]Carlo A. Furia, Matteo Pradella, Matteo Rossi: Practical Automated Partial Verification of Multi-Paradigm Real-Time Models. CoRR abs/0804.4383 (2008)
- 2007
- [c14]Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro: Model Checking Temporal Metric Specifications with Trio2Promela. FSEN 2007: 388-395
- [c13]Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini: Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion 2007: 61-62
- [c12]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro: The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. ESEC/SIGSOFT FSE 2007: 312-320
- 2006
- [j5]Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro: Picture languages: Tiling systems versus tile rewriting grammars. Theor. Comput. Sci. 356(1-2): 90-103 (2006)
- [j4]Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi: Comments on "An Interval Logic for Real-Time System Specification'. IEEE Trans. Software Eng. 32(6): 424-427 (2006)
- [c11]Pietro Colombo, Matteo Pradella, Matteo Rossi: A UML 2-compatible language and tool for formal modeling real-time system architectures. SAC 2006: 1785-1790
- 2005
- [j3]Stefano Crespi-Reghizzi, Matteo Pradella: Tile rewriting grammars and picture languages. Theor. Comput. Sci. 340(1): 257-272 (2005)
- [c10]Matteo Pradella, Matteo Rossi, Dino Mandrioli: ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. FORTE 2005: 381-395
- [c9]Matteo Pradella, Matteo Rossi, Dino Mandrioli: A UML-Compatible Formal Language for System Architecture Description. SDL Forum 2005: 234-246
- 2003
- [j2]Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli: A formal approach for designing CORBA-based applications. ACM Trans. Softw. Eng. Methodol. 12(2): 107-151 (2003)
- [c8]Myla Archer, Elizabeth I. Leonard, Matteo Pradella: Modeling Security-Enhanced Linux Policy Specifications for Analysis. DISCEX (2) 2003: 164-169
- [c7]Stefano Crespi-Reghizzi, Matteo Pradella: Tile Rewriting Grammars. Developments in Language Theory 2003: 206-217
- [c6]Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini: Model-Checking TRIO Specifications in SPIN. FME 2003: 542-561
- [c5]Myla Archer, Elizabeth I. Leonard, Matteo Pradella: Analyzing Security-Enhanced Linux Policy Specifications. POLICY 2003: 158-
- 2000
- [j1]Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro: Associative definition of programming languages. Comput. Lang. 26(2-4): 105-123 (2000)
- [c4]Matteo Pradella, Marco Colombetti: A Formal Description of a Practical Agent for E-Commerce. AMEC 2000: 84-95
- [c3]Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini: A formal approach for designing CORBA based applications. ICSE 2000: 188-197
1990 – 1999
- 1999
- [c2]Angelo Morzenti, Matteo Pradella, Matteo Rossi, Stefano Russo, Antonio Sergio: A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications. PDSE 1999: 217-223
- 1998
- [c1]Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro: A Finite-Domain Semantics for Testing Temporal Logic Specifications. FTRTFT 1998: 41-54
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 21:45 CEST by the dblp team