Dino Mandrioli

Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella: Parallel parsing of operator precedence grammars. Inf. Process. Lett. 113(7): 245-249 (2013)

Violetta Lonati, Dino Mandrioli, Matteo Pradella: Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages. SOFSEM 2013: 307-318

Federica Panella, Matteo Pradella, Dino Mandrioli, Violetta Lonati: Operator Precedence ω-languages. CoRR abs/1301.2476 (2013)

Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli: A Syntactic-Semantic Approach to Incremental Verification. CoRR abs/1304.8034 (2013)

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: Modeling Time in Computing. Monographs in theoretical computer science, Springer 2012, isbn 978-3-642-32331-7, pp. I-XVI, 1-423

Stefano Crespi-Reghizzi, Dino Mandrioli: Operator precedence and the visibly pushdown property. J. Comput. Syst. Sci. 78(6): 1837-1867 (2012)

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. FMICS 2012: 162-176

Alessandro Barenghi, Ermes Viviani, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella: PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars. SLE 2012: 264-274

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: A Metric Temporal Logic for Dealing with Zero-Time Transitions. TIME 2012: 81-88

Violetta Lonati, Dino Mandrioli, Matteo Pradella: Logic Characterization of Floyd Languages. CoRR abs/1204.4639 (2012)

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach. CoRR abs/1206.0911 (2012)

Violetta Lonati, Dino Mandrioli, Matteo Pradella: Precedence Automata and Languages. CSR 2011: 291-304

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: Modeling time in computing: A taxonomy and a comparative survey. ACM Comput. Surv. 42(2) (2010)

Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young: SCORE: the first student contest on software engineering. ACM SIGSOFT Software Engineering Notes 35(4): 24-30 (2010)

Dino Mandrioli, Aldo Torrebruno, Luisa Marini: Computers Foster Education and Education Fosters Computer Science - The Politecnico's Approach. CSEDU (2) 2010: 289-296

Stefano Crespi-Reghizzi, Dino Mandrioli: Operator Precedence and the Visibly Pushdown Property. LATA 2010: 214-226

Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer, Dino Mandrioli: Refinement and Verification of Real-Time Systems. CoRR abs/1002.1796 (2010)

Violetta Lonati, Dino Mandrioli, Matteo Pradella: Precedence Automata and Languages. CoRR abs/1012.2321 (2010)

Mehdi Jazayeri, Dino Mandrioli: SCORE: The first student Contest in Software Engineering. ICSE Companion 2009: 487-488

Stefano Crespi-Reghizzi, Dino Mandrioli: Algebraic properties of structured context-free languages: old approaches and novel developments. CoRR abs/0907.2130 (2009)

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: Modeling Time in Computing: A Taxonomy and a Comparative Survey. CoRR abs/0807.4132 (2008)

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti: Automated compositional proofs for real-time systems. Theor. Comput. Sci. 376(3): 164-184 (2007)

Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio: FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. ICTAC 2007: 366-380

John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli: The industrialization of formal methods. STTT 8(4-5): 301-302 (2006)

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti: Automated Compositional Proofs for Real-Time Systems. FASE 2005: 326-340

Matteo Pradella, Matteo Rossi, Dino Mandrioli: ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. FORTE 2005: 381-395

Carlo Ghezzi, Dino Mandrioli: The Challenges of Software Engineering Education. Software Education and Training Sessions @ ICSE 2005: 115-127

Carlo Ghezzi, Dino Mandrioli: The challenges of software engineering education. ICSE 2005: 637-638

Matteo Pradella, Matteo Rossi, Dino Mandrioli: A UML-Compatible Formal Language for System Architecture Description. SDL Forum 2005: 234-246

Matteo Rossi, Dino Mandrioli: A formal approach for modeling and verification of RTCORBA-based applications. ISSTA 2004: 263-273

Dino Mandrioli: Advertising Formal Methods and Organizing Their Teaching: Yes, but .... TFM 2004: 214-224

Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli: Fundamentals of software engineering (2. ed.). Prentice Hall 2003, isbn 978-0-13-305699-0, pp. I-XX, 1-604

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)

Keijiro Araki, Stefania Gnesi, Dino Mandrioli (Eds.): FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings. Lecture Notes in Computer Science 2805, Springer 2003, isbn 3-540-40828-2

Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi: Real-Time Synchronised Petri Nets. ICATPN 2002: 142-162

Fernando Marotta, Angelo Morzenti, Dino Mandrioli: Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications. ICDCS 2001: 567-574

Alberto Coen-Porisini, Dino Mandrioli: Using TRIO for designing a CORBA-based application. Concurrency - Practice and Experience 12(10): 981-1015 (2000)

Riccardo Capobianchi, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti: A framework architecture for supervision and control systems. ACM Comput. Surv. 32(1es): 26 (2000)

Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli: Parallel Refinement Mechanisms for Real-Time Systems. FASE 2000: 35-50

Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini: A formal approach for designing CORBA based applications. ICSE 2000: 188-197

Angelo Gargantini, Dino Mandrioli, Angelo Morzenti: Dealing with Zero-Time Transitions in Axiom Systems. Inf. Comput. 150(2): 119-131 (1999)

Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti: From Formal Models to Formally Based Methods: An Industrial Experience. ACM Trans. Softw. Eng. Methodol. 8(1): 79-113 (1999)

Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli: Software Qualities and Principles. The Computer Science and Engineering Handbook 1997: 2278-2301

Dino Mandrioli: Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language. AMAST 1996: 33-42

Dino Mandrioli, Sandro Morasca, Angelo Morzenti: Generating Test Cases for Real-Time Systems from Logic Specifications. ACM Trans. Comput. Syst. 13(4): 365-398 (1995)

Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli: A Formal Framework for ASTRAL Inter-level Proof Obligations. ESEC 1995: 90-108

Miguel Felder, Dino Mandrioli, Angelo Morzenti: Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. IEEE Trans. Software Eng. 20(2): 127-141 (1994)

Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli: A Formal Framework for ASTRAL Intralevel Proof Obligations. IEEE Trans. Software Eng. 20(8): 548-561 (1994)

Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti: Executable Specifications with Data-flow Diagrams. Softw., Pract. Exper. 23(6): 629-653 (1993)

Alberto Coen-Porisini, Dino Mandrioli: A Formal Framework for ASTRAL Intra-Level Proof Obligations. ESEC 1993: 483-500

Dino Mandrioli: The Object-Oriented Specification of Real-Time Systems. TOOLS (10) 1993: 347

Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi: A Model Parametric Real-Time Logic. ACM Trans. Program. Lang. Syst. 14(4): 521-573 (1992)

Dino Mandrioli: The Object-Oriented Specification of Real-Time Systems. TOOLS (8) 1992: 275

Dino Mandrioli: Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach. TOOLS (8) 1992: 277

Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli: Fundamentals of software engineering. Prentice Hall 1991, isbn 978-0-13-818204-5, pp. I-XV, 1-573

Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli: QRT FIFO Automata, Breath-First Grammars and Their Relations. Theor. Comput. Sci. 85(1): 171-203 (1991)

Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè: A Unified High-Level Petri Net Formalism for Time-Critical Systems. IEEE Trans. Software Eng. 17(2): 160-172 (1991)

Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli: Software Specialization Via Symbolic Execution. IEEE Trans. Software Eng. 17(9): 884-899 (1991)

Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli: Breath and Depth Grammars and Deque Automata. Int. J. Found. Comput. Sci. 1(3): 219-232 (1990)

Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti: TRIO: A logic language for executable specifications of real-time systems. Journal of Systems and Software 12(2): 107-123 (1990)

Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè: Symbolic Execution of Concurrent Systems Using Petri Nets. Comput. Lang. 14(4): 263-281 (1989)

Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli: Some Consideration on Real-Time Bahavior of Concurrent Programs. IEEE Trans. Software Eng. 15(3): 356-359 (1989)

Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti: On the Specification of Real-Time Systems Using Logic Programming. ESEC 1987: 180-190

Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli: On Deterministic Multi-Pass Analysis. SIAM J. Comput. 15(3): 668-693 (1986)

Dino Mandrioli, Roberto Zicari, Carlo Ghezzi, Francesco Tisato: Modeling the Ada Task System by Petri Nets. Comput. Lang. 10(1): 43-61 (1985)

Nicoletta Cocco, Dino Mandrioli, Vitaliano Milanese: The Ada Task System and Real-Time Applications: An Implementation Schema. Comput. Lang. 10(3/4): 189-209 (1985)

Carlo Ghezzi, Dino Mandrioli, Antonio Tecchio: Program Simplification via Symbolic Interpretation. FSTTCS 1985: 116-128

Daniel M. Berry, Carlo Ghezzi, Dino Mandrioli, Francesco Tisato: Language Constructs for Real-Time Distributed Systems. Comput. Lang. 7(1): 11-20 (1982)

Stefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli: Operator Precedence Grammars and the Noncounting Property. SIAM J. Comput. 10(1): 174-191 (1981)

Carlo Ghezzi, Dino Mandrioli: Augmenting Parsers to Support Incrementality. J. ACM 27(3): 564-579 (1980)

Augusto Celentano, Pierluigi Della Vigna, Carlo Ghezzi, Dino Mandrioli: Separate Compilation and Partial Specification in Pascal. IEEE Trans. Software Eng. 6(4): 320-328 (1980)

Carlo Ghezzi, Dino Mandrioli: Incremental Parsing. ACM Trans. Program. Lang. Syst. 1(1): 58-70 (1979)

Stefano Crespi-Reghizzi, Dino Mandrioli, David F. Martin: Algebraic Properties of Operator Precedence Languages. Information and Control 37(2): 115-133 (1978)

Stefano Crespi-Reghizzi, Dino Mandrioli: A Class of Grammar Generating Non-Counting Languages. Inf. Process. Lett. 7(1): 24-26 (1978)

Stefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli: Noncounting Context-Free Languages. J. ACM 25(4): 571-580 (1978)

Dino Mandrioli: A Note on Petri Net Languages. Information and Control 34(2): 169-171 (1977)

Giovanni Guida, Dino Mandrioli, Marco Somalvico: An integrated model of problem solver. Inf. Sci. 13(1): 11-33 (1977)

Dino Mandrioli: n-Reconstructability of Context-Free Grammars. Inf. Process. Lett. 5(2): 58-62 (1976)

Stefano Crespi-Reghizzi, Dino Mandrioli: A Decidability Theorem for a Class of Vector-Addition Systems. Inf. Process. Lett. 3(3): 78-80 (1975)

Stefano Crespi-Reghizzi, Dino Mandrioli: Erratum: A Decidability Theorem for a Class of Vector-Addition Systems. Inf. Process. Lett. 3(5): 164 (1975)

Giovanni Guida, Dino Mandrioli, Amedeo Paci, Marco Somalvico: An Integrated Theory of Problems as an Algebraic Base for Complexity Understanding and Automatic Problem Solving. Optimization Techniques 1975: 98-129