Dino Mandrioli

128 papers A* 2A 2B 9C 8Misc 2Journal 71Unranked 29
YearRankTypeTitle / Venue / Authors
2025 B conf
Boosting Parallel Parsing through Cyclic Operator Precedence Grammars.
SLE
Michele Chiari, Michele Giornetta, Dino Mandrioli, Matteo Pradella
2025 J jnl
Cyclic operator precedence grammars for parallel parsing.
Inf. Comput.
Michele Chiari, Dino Mandrioli, Matteo Pradella
2024 C conf
Cyclic Operator Precedence Grammars for Improved Parallel Parsing.
DLT
Michele Chiari, Dino Mandrioli, Matteo Pradella
2023 J jnl
A Model Checker for Operator Precedence Languages.
ACM Trans. Program. Lang. Syst.
Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella
2023 J jnl
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages.
Log. Methods Comput. Sci.
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi
2023 J jnl
Cyclic Operator Precedence Grammars for Parallel Parsing.
CoRR
Michele Chiari, Dino Mandrioli, Matteo Pradella
2023 J jnl
Lecture Notes on Monadic First- and Second-Order Logic on Strings.
CoRR
Dino Mandrioli, Davide Martinenghi, Angelo Morzenti, Matteo Pradella, Matteo Rossi
2022 J jnl
A First-Order Complete Temporal Logic for Structured Context-Free Languages.
Log. Methods Comput. Sci.
Michele Chiari, Dino Mandrioli, Matteo Pradella
2022 J jnl
Weighted operator precedence languages.
Inf. Comput.
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
2021 J jnl
A First-Order Complete Temporal Logic for Structured Context-Free Languages.
CoRR
Michele Chiari, Dino Mandrioli, Matteo Pradella
2021 — conf
Model-Checking Structured Context-Free Languages.
CAV (2)
Michele Chiari, Dino Mandrioli, Matteo Pradella
2020 J jnl
Aperiodicity, Star-freeness, and First-order Definability of Structured Context-Free Languages.
CoRR
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi
2020 — conf
Linear Temporal Logics for Structured Context-Free Languages.
ICTCS
Michele Chiari, Davide Bergamaschi, Dino Mandrioli, Matteo Pradella
2020 J jnl
Operator precedence temporal logic and model checking.
Theor. Comput. Sci.
Michele Chiari, Dino Mandrioli, Matteo Pradella
2020 J jnl
Safety Assessment of Collaborative Robotics Through Automated Formal Verification.
IEEE Trans. Robotics
Federico Vicentini, Mehrnoosh Askarpour, Matteo Rossi, Dino Mandrioli
2020 C conf
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages.
ICTAC
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi
2019 — conf
Formal Methods in Designing Critical Cyber-Physical Systems.
From Software Engineering to Formal Methods and Tools, and Back
Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos
2019 J jnl
POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages.
CoRR
Michele Chiari, Dino Mandrioli, Matteo Pradella
2019 — conf
Word- and Tree-based Temporal Logics for Operator Precedence Languages.
ICTCS
Michele Chiari, Dino Mandrioli, Matteo Pradella
2018 J jnl
Generalizing input-driven languages: Theoretical and practical benefits.
Comput. Sci. Rev.
Dino Mandrioli, Matteo Pradella
2018 — conf
Temporal Logic and Model Checking for Operator Precedence Languages.
GandALF
Michele Chiari, Dino Mandrioli, Matteo Pradella
2017 — conf
A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications.
Ershov Informatics Conference
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
2017 J jnl
Generalizing input-driven languages: theoretical and practical benefits.
CoRR
Dino Mandrioli, Matteo Pradella
2017 B conf
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications.
SAFECOMP
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
2017 J jnl
Toward a theory of input-driven locally parsable languages.
Theor. Comput. Sci.
Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella
2017 B conf
Weighted Operator Precedence Languages.
MFCS
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
2017 J jnl
Weighted Operator Precedence Languages.
CoRR
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
2016 J jnl
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications.
Theor. Comput. Sci.
Matteo Rossi, Dino Mandrioli, Angelo Morzenti, Luca Ferrucci
2016 B conf
SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration.
SAFECOMP
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
2015 Misc conf
First-Order Logic Definability of Free Languages.
CSR
Violetta Lonati, Dino Mandrioli, Federica Panella, Matteo Pradella
2015 — conf
Locally Chain-Parsable Languages.
MFCS (1)
Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella
2015 — conf
On the Heroism of Really Pursuing Formal Methods.
FormaliSE@ICSE
Dino Mandrioli
2015 J jnl
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization.
SIAM J. Comput.
Violetta Lonati, Dino Mandrioli, Federica Panella, Matteo Pradella
2015 J jnl
Parallel parsing made practical.
Sci. Comput. Program.
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella
2015 J jnl
Programming Languages shouldn't be "too Natural".
ACM SIGSOFT Softw. Eng. Notes
Dino Mandrioli, Matteo Pradella
2015 J jnl
Syntactic-semantic incrementality for agile verification.
Sci. Comput. Program.
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
2015 — conf
Syntax-Driven Program Verification of Matching Logic Properties.
FormaliSE@ICSE
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi
2014 J jnl
Automated formal verification for flexible manufacturing systems.
J. Intell. Manuf.
Emanuele Carpanzano, Luca Ferrucci, Dino Mandrioli, Mauro Mazzolini, Angelo Morzenti, Matteo Rossi
2014 — conf
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows.
ISoLA (1)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
2014 B conf
The PAPAGENO Parallel-Parser Generator.
CC
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella
2013 J jnl
A Syntactic-Semantic Approach to Incremental Verification
CoRR
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
2013 B conf
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages.
SOFSEM
Violetta Lonati, Dino Mandrioli, Matteo Pradella
2013 C conf
Operator Precedence ω-Languages.
Developments in Language Theory
Federica Panella, Matteo Pradella, Violetta Lonati, Dino Mandrioli
2013 J jnl
Operator Precedence ω-languages
CoRR
Federica Panella, Matteo Pradella, Dino Mandrioli, Violetta Lonati
2013 J jnl
Parallel parsing of operator precedence grammars.
Inf. Process. Lett.
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella
2012 C conf
A Metric Temporal Logic for Dealing with Zero-Time Transitions.
TIME
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2012 J jnl
Logic Characterization of Floyd Languages
CoRR
Violetta Lonati, Dino Mandrioli, Matteo Pradella
2012 — book
Modeling Time in Computing.
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2012 C conf
Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.
FMICS
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2012 J jnl
Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach
CoRR
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2012 J jnl
Operator precedence and the visibly pushdown property.
J. Comput. Syst. Sci.
Stefano Crespi-Reghizzi, Dino Mandrioli
2012 B conf
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars.
SLE
Alessandro Barenghi, Ermes Viviani, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella
2011 Misc conf
Precedence Automata and Languages.
CSR
Violetta Lonati, Dino Mandrioli, Matteo Pradella
2010 — conf
Computers Foster Education and Education Fosters Computer Science - The Politecnico's Approach.
CSEDU (2)
Dino Mandrioli, Aldo Torrebruno, Luisa Marini
2010 J jnl
Modeling time in computing: A taxonomy and a comparative survey.
ACM Comput. Surv.
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2010 C conf
Operator Precedence and the Visibly Pushdown Property.
LATA
Stefano Crespi-Reghizzi, Dino Mandrioli
2010 J jnl
Precedence Automata and Languages
CoRR
Violetta Lonati, Dino Mandrioli, Matteo Pradella
2010 J jnl
Refinement and Verification of Real-Time Systems
CoRR
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer, Dino Mandrioli
2010 J jnl
SCORE: the first student contest on software engineering.
ACM SIGSOFT Softw. Eng. Notes
Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young
2009 J jnl
Algebraic properties of structured context-free languages: old approaches and novel developments
CoRR
Stefano Crespi-Reghizzi, Dino Mandrioli
2009 — conf
SCORE: The first student Contest in Software Engineering.
ICSE Companion
Mehdi Jazayeri, Dino Mandrioli
2008 J jnl
Modeling Time in Computing: A Taxonomy and a Comparative Survey
CoRR
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2007 J jnl
Automated compositional proofs for real-time systems.
Theor. Comput. Sci.
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
2007 C conf
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems.
ICTAC
Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio
2007 — conf
Modeling the Environment in Software-Intensive Systems.
MiSE@ICSE
Carlo A. Furia, Matteo Rossi, Dino Mandrioli
2006 — conf
A formal approach to sensor placement and configuration in a network intrusion detection system.
SESS@ICSE
Marco Rolando, Matteo Rossi, Niccolò Sanarico, Dino Mandrioli
2006 J jnl
The industrialization of formal methods.
Int. J. Softw. Tools Technol. Transf.
John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli
2005 — conf
A UML-Compatible Formal Language for System Architecture Description.
SDL Forum
Matteo Pradella, Matteo Rossi, Dino Mandrioli
2005 C conf
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.
FORTE
Matteo Pradella, Matteo Rossi, Dino Mandrioli
2005 B conf
Automated Compositional Proofs for Real-Time Systems.
FASE
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
2005 — conf
The Challenges of Software Engineering Education.
Software Education and Training Sessions @ ICSE
Carlo Ghezzi, Dino Mandrioli
2005 A* conf
The challenges of software engineering education.
ICSE
Carlo Ghezzi, Dino Mandrioli
2004 A conf
A formal approach for modeling and verification of RTCORBA-based applications.
ISSTA
Matteo Rossi, Dino Mandrioli
2004 — conf
Advertising Formal Methods and Organizing Their Teaching: Yes, but ....
TFM
Dino Mandrioli
2003 J jnl
A formal approach for designing CORBA-based applications.
ACM Trans. Softw. Eng. Methodol.
Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli
2003 — ed.
FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings
FME
Keijiro Araki, Stefania Gnesi, Dino Mandrioli
2003 — book
Fundamentals of software engineering (2. ed.).
Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli
2002 — conf
Real-Time Synchronised Petri Nets.
ICATPN
Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi
2001 A conf
Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications.
ICDCS
Fernando Marotta, Angelo Morzenti, Dino Mandrioli
2000 A* conf
A formal approach for designing CORBA based applications.
ICSE
Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini
2000 J jnl
A framework architecture for supervision and control systems.
ACM Comput. Surv.
Riccardo Capobianchi, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti
2000 B conf
Parallel Refinement Mechanisms for Real-Time Systems.
FASE
Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli
2000 J jnl
Using TRIO for designing a CORBA-based application.
Concurr. Pract. Exp.
Alberto Coen-Porisini, Dino Mandrioli
1999 J jnl
Dealing with Zero-Time Transitions in Axiom Systems.
Inf. Comput.
Angelo Gargantini, Dino Mandrioli, Angelo Morzenti
1999 J jnl
From Formal Models to Formally Based Methods: An Industrial Experience.
ACM Trans. Softw. Eng. Methodol.
Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti
1997 — ch.
Software Qualities and Principles.
The Computer Science and Engineering Handbook
Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli
1996 — conf
Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language.
AMAST
Dino Mandrioli
1995 — conf
A Formal Framework for ASTRAL Inter-level Proof Obligations.
ESEC
Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli
1995 J jnl
Generating Test Cases for Real-Time Systems from Logic Specifications.
ACM Trans. Comput. Syst.
Dino Mandrioli, Sandro Morasca, Angelo Morzenti
1994 J jnl
A Formal Framework for ASTRAL Intralevel Proof Obligations.
IEEE Trans. Software Eng.
Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli
1994 J jnl
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.
IEEE Trans. Software Eng.
Miguel Felder, Dino Mandrioli, Angelo Morzenti
1993 — conf
A Formal Framework for ASTRAL Intra-Level Proof Obligations.
ESEC
Alberto Coen-Porisini, Dino Mandrioli
1993 J jnl
Executable Specifications with Data-flow Diagrams.
Softw. Pract. Exp.
Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti
1993 — conf
The Object-Oriented Specification of Real-Time Systems.
TOOLS (10)
Dino Mandrioli
1992 J jnl
A Model Parametric Real-Time Logic.
ACM Trans. Program. Lang. Syst.
Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi
1992 — conf
Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach.
TOOLS (8)
Dino Mandrioli
1992 — conf
The Object-Oriented Specification of Real-Time Systems.
TOOLS (8)
Dino Mandrioli
1991 J jnl
A Unified High-Level Petri Net Formalism for Time-Critical Systems.
IEEE Trans. Software Eng.
Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè
1991 — conf
Dealing with different time scales in formal specifications.
IWSSD
Edoardo Corsetti, Ernani Crivelli, Dino Mandrioli, Angelo Montanari, Angelo Morzenti, Pierluigi San Pietro, Elena Ratto
1991 — book
Fundamentals of software engineering.
Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli
1991 J jnl
QRT FIFO Automata, Breath-First Grammars and Their Relations.
Theor. Comput. Sci.
Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli
1991 J jnl
Software Specialization Via Symbolic Execution.
IEEE Trans. Software Eng.
Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli
1990 J jnl
Breath and Depth Grammars and Deque Automata.
Int. J. Found. Comput. Sci.
Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli
1990 J jnl
TRIO: A logic language for executable specifications of real-time systems.
J. Syst. Softw.
Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti
1989 — conf
A general way to put time in Petri nets.
IWSSD
Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè
1989 J jnl
Some Consideration on Real-Time Bahavior of Concurrent Programs.
IEEE Trans. Software Eng.
Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli
1989 J jnl
Symbolic Execution of Concurrent Systems Using Petri Nets.
Comput. Lang.
Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè
1987 — conf
On the Specification of Real-Time Systems Using Logic Programming.
ESEC
Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti
1986 J jnl
On Deterministic Multi-Pass Analysis.
SIAM J. Comput.
Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli
1985 J jnl
Modeling the Ada Task System by Petri Nets.
Comput. Lang.
Dino Mandrioli, Roberto V. Zicari, Carlo Ghezzi, Francesco Tisato
1985 — conf
Program Simplification via Symbolic Interpretation.
FSTTCS
Carlo Ghezzi, Dino Mandrioli, Antonio Tecchio
1985 J jnl
The Ada Task System and Real-Time Applications: An Implementation Schema.
Comput. Lang.
Nicoletta Cocco, Dino Mandrioli, Vitaliano Milanese
1982 J jnl
Language Constructs for Real-Time Distributed Systems.
Comput. Lang.
Daniel M. Berry, Carlo Ghezzi, Dino Mandrioli, Francesco Tisato
1982 J jnl
On teaching theoretical foundations of Computer Science.
SIGACT News
Dino Mandrioli
1982 J jnl
On teaching theoretical foundations of computer science.
SIGACT News
Dino Mandrioli
1981 J jnl
Operator Precedence Grammars and the Noncounting Property.
SIAM J. Comput.
Stefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli
1980 J jnl
Augmenting Parsers to Support Incrementality.
J. ACM
Carlo Ghezzi, Dino Mandrioli
1980 J jnl
Separate Compilation and Partial Specification in Pascal.
IEEE Trans. Software Eng.
Augusto Celentano, Pierluigi Della Vigna, Carlo Ghezzi, Dino Mandrioli
1979 J jnl
Incremental Parsing.
ACM Trans. Program. Lang. Syst.
Carlo Ghezzi, Dino Mandrioli
1978 J jnl
A Class of Grammar Generating Non-Counting Languages.
Inf. Process. Lett.
Stefano Crespi-Reghizzi, Dino Mandrioli
1978 J jnl
Algebraic Properties of Operator Precedence Languages
Inf. Control.
Stefano Crespi-Reghizzi, Dino Mandrioli, David F. Martin
1978 J jnl
Noncounting Context-Free Languages.
J. ACM
Stefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli
1977 J jnl
A Note on Petri Net Languages
Inf. Control.
Dino Mandrioli
1977 J jnl
An integrated model of problem solver.
Inf. Sci.
Giovanni Guida, Dino Mandrioli, Marco Somalvico
1976 J jnl
n-Reconstructability of Context-Free Grammars.
Inf. Process. Lett.
Dino Mandrioli
1975 J jnl
A Decidability Theorem for a Class of Vector-Addition Systems.
Inf. Process. Lett.
Stefano Crespi-Reghizzi, Dino Mandrioli
1975 — conf
An Integrated Theory of Problems as an Algebraic Base for Complexity Understanding and Automatic Problem Solving.
Optimization Techniques
Giovanni Guida, Dino Mandrioli, Amedeo Paci, Marco Somalvico
1975 J jnl
Erratum: A Decidability Theorem for a Class of Vector-Addition Systems.
Inf. Process. Lett.
Stefano Crespi-Reghizzi, Dino Mandrioli