Mandrioli's main publications

Journal papers

Gatto M., Mandrioli D. Equivalenza tra grammatiche, sistemi di equazioni in variabili di linguaggio e serie formali Calcolo, Vol. 11, N.1 pp. 91-109, 1974

Gatto M., Mandrioli D., Rinaldi S. Pseudoequilibrium in Dynamical Systems Int. J. on System Science, Vol. 4, N. 5 pp. 809-823, 1973

Crespi-Reghizzi S., Mandrioli D. A Decidability Theorem for a Class of Vector Addition Systems Information Processing Letters, Vol. 3, N. 3 pp. 78-80, 1975

Mandrioli D. n-Reconstructability of Context-free Grammars Information Processing Letters, Vol. 5, N. 2 pp. 58-62, 1976

Crespi-Reghizzi S., Mandrioli D. Petri Nets and Szilard Languages Information and Control, Vol. 33, N. 2 pp. 177-192, 1977

Mandrioli D. A Note on Petri Net Languages Information and Control, Vol. 34, N. 2 pp. 169-172, 1977

Crespi-Reghizzi S., Mandrioli D. A class of Grammars Generating Non Counting Languages Information Processing Letters, Vol. 7, N. 1 pp. 24-26, 1978

Crespi-Reghizzi S., Mandrioli D., Martin D. Algebraic Properties of Operator Precedence Languages Information and Control, Vol. 37, N. 2 pp. 115-133, 1978

Crespi-Reghizzi S., Guida G., Mandrioli D. Non-Counting Context-free Languages Journal of the ACM, Vol. 25, N. 4, pp. 571-580, 1978

Ghezzi C., Mandrioli D. Incremental Parsing ACM TOPLAS, Vol. 1, N. 1, pp. 58-70, 1979

Ghezzi C., Mandrioli D. Augmenting Parsers to Support Incrementality Journal of the ACM, Vol. 27, N. 3, pp. 564-579, 1980

Celentano A., Della Vigna P., Ghezzi C., Mandrioli D. Separate Compilation and Partial Specification in Pascal IEEE Trans. on Soft. Eng., Vol. SE-6, N. 4, pp. 320-328, 1980

Celentano A., Della Vigna P., Ghezzi C., Mandrioli D. SIMPLE: A Program Development System J. of Computer Languages, Vol. 5, n. 2, pp. 103-114, 1980.

Crespi-Reghizzi S., Guida G., Mandrioli D. Operator Precedence Grammars and the Non-Counting Property SIAM J. on Computing, Vol. 10, N. 1, pp. 174-191, 1981

Berry D., Ghezzi C., Mandrioli D., Tisato F. Language Constructs for Real-Time Distributed Systems J. of Computer Languages, Vol. 7, n. 1, 1982.

Mandrioli D., Zicari R., Ghezzi C., Tisato F. Modelingthe Ada Task System by Petri Nets. J. of Computer Languages, Vol. 10, n. 1, pp. 43-61, 1985.

Cocco N., Mandrioli D., Milanese V. The Ada Task System and Real-time Applications: an Implementation Schema J. of Computer Languages, Vol. 10, n. 3/4, pp. 189-209, 1985.

Citrini C., Crespi-Reghizzi S., Mandrioli D. On Deterministic Multipass Analysis. SIAM J. On Computing, Vol. 15, N. 3, pp. 668-693, 1986.

Fuggetta A., Ghezzi C., Mandrioli D. On the Behavior of Concurrent and Real-Time Systems. IEEE Trans. on Soft. Eng., Vol. 15, N.3, 1989.

Ghezzi C., Mandrioli D., Morasca S., Pezzè M. Symbolic Execution of Concurrent Systems Using Petri Nets J. of Computer Languages , Vol. 14, N. 4, pp. 263-281, 1989.

Coen A., De Paoli F., Ghezzi C., Mandrioli D. Software Specialization via Symbolic Execution IEEE Transactions on Software Engineeering, September 1991.

Ghezzi C., Mandrioli D., Morasca S., Pezzè M. A Unified High-level Petri Net Model for Time Critical Systems IEEE Trans. on Software Engineering, February 1991

Ghezzi C., Mandrioli D., Morzenti A. TRIO a Logic Language for Executable Specifications of Real-time Systems Journal of Systems and Software, June 1990

Cherubini A., Citrini C., Crespi-Reghizzi S., Mandrioli D. Breadth and Depth Grammars and Dequeue Automata International Journal of Foundations of Computer Science, Vol. 1, N. 3, pp. 219-232, 1990 (also in Proc. Third Italian Conference on Theoretical Computer Science, Mantova, 1989, pp. 176-187).

Cherubini A., Citrini C., Crespi-Reghizzi S., Mandrioli D. Quasi-real-time FIFO Automata, Breadth-first Grammars, and their Relations. Theoretical Computer Science, Vol. 85, pp. 171-203, 1991.

Morzenti A., Mandrioli D., Ghezzi C. A Model Parametric Real-Time Logic ACM Trans. on Prog. Languages and System, October 1992.

Fuggetta A., Ghezzi C., Mandrioli D, Morzenti A. Executable Specifications with Dataflow Diagrams. Software, Practice and Experience, Vol. 23, N. 6, pp 629-653, June 1993.

Felder M., Mandrioli D., Morzenti A. Proving Properties of Real-Time Systems through Logical Specifications and Petri Net Models IEEE Trans. on Software Engineering, vol.20, no.2, Feb.1994, pp.127-141.

Coen-Porisini, A., Kemmerer R., Mandrioli D. "A Formal Framework for ASTRAL Intra-level Proof Obligations" IEEE Trans. on Software Engineering, vol.20, no.8, August.1994, pp.548-561.

Mandrioli D., Morasca S., Morzenti A. "Generating Test Cases for Real-Time Systems from Logic Specifications" ACM Trans. on Computer Systems, November 1995.

Gargantini A., Mandrioli D., Morzenti A.  "Dealing with Zero-time Transitions in Axiom Systems", Information and Computation, Vol. 150 N. 2, May 1999, pp. 119-131.

Ciapessoni E., Coen-Porisini A., Crivelli E., Mandrioli D., Mirandola P., Morzenti A. "From formal models to formally-based methods: an industrial experience", ACM Trans. on Software Eng. and Methodologies, Vol. 8. no 1, January 1999, pp.79-113.

Capobianchi R., Coen-Porisini A., Mandrioli D., Morzenti A. "A framework architecture for supervision and control systems", Electronic symposium on Object-Oriented Application Frameworks, Fayad M. editor,  ACM Computing Surveys, March 2000.

Coen-Porisini A., Mandrioli D. "Using TRIO for designing a CORBA based application", Concurrency: Practice and Experience, August 2000

Coen-Porisini A., Pradella M., Rossi M., Mandrioli D. "A Formal Approach for Designing CORBA-Based Applications", ACM Trans. on Software Eng. and Methodologies, Vol. 12, April 2003, pp. 107-151. (Revised and extended version of [C29]).

John S. Fitzgerald, Stefania Gnesi and Dino Mandrioli, “The industrialization of formal methods”, International Journal on Software Tools for Technology Transfer (STTT), Special section on formal methods for industrial critical systems, Volume 8, Numbers 4-5 / August, 2006, pp. 301-302.

Furia C., Rossi M., Mandrioli D., Morzenti A., “Automated Compositional Proofs for real-Time Systems”, Theoretical Computer Science, 376 (3), pp. 164--184, May 2007. Extended and revised version of [C38].

Furia C., Mandrioli D., Morzenti A., Rossi M., “Modeling Time in Computing: A Taxonomy and a Comparative Survey”, ACM Computing Surveys (CSUR) Volume 42 ,  Issue 2 , February 2010, 59 pages.

 

Crespi-Reghizzi S., Mandrioli D., Operator Precedence and the Visibly Push-down Property”, Journal of Computer and System Sciences, November 2012, vol. 78, p. 1837-1867.

 

Furia C., Mandrioli D., “Turing: la vita, l’opera, l’impatto”, La Matematica nella Società e nella Cultura- Rivista dell'U.M.I. Serie I, Vol. V, N. 2, Agosto 2012, pp. 105-148. (in Italian)

 

A. Barenghi, E. Viviani, S. Crespi Reghizzi, D. Mandrioli, M. Pradella, “Parallel Parsing of Operator Precedence Grammars”, Information Processing Letters, 2013, Vol. 113, N. 7, pp. 245-249.

 

E. Carpanzano, L. Ferrucci, D. MandrioliM. Mazzolini, A. Morzenti, M. Rossi, “Automated formal verification for flexible manufacturing systems”, Journal of Intelligent Manufacturing, DOI 10.1007/s10845-013-0760-z, 17 pages, 2013.

 

D. Bianculli, A. Filieri, C. Ghezzi, D. Mandrioli, “Syntactic-semantic incrementality for agile verification”, Science of Computer Programming, DOI, 10.1016/j.scico.2013.11.026, Vol. 27, pp- 47-54, 2015.

 

V. Lonati, D. Mandrioli, F. Panella, M. Pradella, “Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization”, SIAM J. on Computing, DOI 10.1137/140978818, Vol. 44-4, pp. pp. 1026-1088, 2015.

 

A. Barenghi, S. Crespi Reghizzi, D. Mandrioli, M. Pradella, “Parallel Parsing made practical”, Science of Computer Programming,  2015, Vol. 112, pp. 195-226.

 

 

Other papers

Gatto M., Mandrioli D., Rinaldi S. Finite and Infinite Time Pseudoequilibrium in Dynamical Systems Proc. Sixth Asylomar Conference on Circuit and Systems pp. 130-135, Nov. 1972.

Mandrioli D., Sangiovanni A., Somalvico M. A General Approach to Learning in Problem Solving Proc. of tha NATO Advanced Study Insitute on Computer Oriented Learning Processes, Northdorff Publishing Company, Bonas, pp. 471-501, 1974

Guida G., Mandrioli D., Paci A., Somalvico M. An Integrated Theory of Problems as an Algebraic Basis for Complexity Understanding and Automatic Problem Solving 6th IFIP Conf. on Optmization Techniques, Springer Verlag, Berlin-Nizza, 1975, pp. 98-129.

Mandrioli D. On Teaching Theoretical Foundations of Computer Science Parts. 1,2 ACM SIGACT NEWS, Vol. 14, N. 3/4, 1982

Mandrioli D. Invito alla Teoria dei Linguaggi Formali Proc. of the Seminario Matematico e Fisico del Politecnico di Milano e dellÕUniversità di Milano, 1983 (in Italian)

Citrini C., Crespi-Reghizzi S., Mandrioli D. Chained Deterministic Pushdown Transducers Proc. Colloquium on Algebra, Combinatorics and Logic in Computer Science, GYOR, 1983.

Ghezzi C., Mandrioli D., Tecchio A. Program Simplification via Symbolic Interpretation. Proceedings 5th FSTTCS, New Delhi, LNCS N. 206, pp. 116-128, Springer Verlag, 1985.

Garzotto F., Ghezzi C., Mandrioli D., Morzenti A. On the Specification of Real-Time Systems Using Logic Programming. Proceedings First European Software Engineering Conference, Strasbourg, pp. 193-206, 1987.

Ghezzi C., Mandrioli D. On Eclecticism in Specifications. Proceedings 4th International Workshop on Sofdtware Specification and Design, IEEE, Montery, pp. 216-224, 1987.

Fuggetta A., Ghezzi C., Mandrioli D, Morzenti A. VLP: A Visual Language for Prototyping. IEEE Workshop on Languages for Automation, College Park, Maryland, pp. 134-149, 1988.

Bologna S., Pisacane F., Ghezzi C., Mandrioli D. An Environment for Requirements Specification and Analysis of Real-time Software based on Timed Petri Nets. Proceedings SAFECOMP 88.

Fuggetta A., Ghezzi C., Mandrioli D, Morzenti A. Toward flexible Specification Environments. Proceedings Advanced Programming Methodologies (Cioni G., Salwicki A. editors), Academic Press, 1989.

Ghezzi C., Mandrioli D., Morasca S., Pezzè M. A General Way to Put Time in Petri Nets Proceedings 5th Workshop on Software Specification and Design, Pittsburgh, pp. 60-67, 1989.

Corsetti E, Mandrioli D. et al. Dealing with different time scales in formal specifications Proceedings Sixth Int. Work. on Software Spec. and Design, Como, October 1991

Ghezzi C., Mandrioli D. On Eclecticism in Specifications: A Case Study centered around Petri Nets. In Advances in Object-Oriented Software Engineering, Mandrioli D., Meyer B. (editors) Prentice-Hall, 1992

Mandrioli D. A History of Theoretical Computer Science Enciclopedia Treccani, Storia del XX Secolo, to appear.

Mandrioli D. The specification of Real-Time Systems: a Logical and Object-Oriented Approach Proceedings TOOLS 8-USA 1992, Santa Barbara, California.

Mandrioli D., Morasca S., Morzenti A. Functional Test Case Generation for Real-Time Systems Proceedings of DCCA-3: 3rd IFIP Working Conference on Dependable Computing for Critical Applications, Sept.1992. Mondello, Italy.

Coen-Porisini, A., Kemmerer R., Mandrioli D. "Formal Verification of Realtime Systems in ASTRAL" Proceedings ESEC 93, Garmisch September 1993.

Basso M., Ciapessoni E., Crivelli E., Mandrioli D., Morzenti A., Ratto E., San Pietro P. ÒExperimenting a Logic-Based ApproAch to the Specification and Design of the Control System of a Pondage Power plantÓ Proceedings of the ICSE-17 Workshop on Formal Methods Application in Software Engineering Practice, 1995, pp. 174-181

Coen-Porisini, A., Kemmerer R., Mandrioli D. "A Formal Framework for ASTRAL Inter-level Proof Obligations" Proceedings ESEC 95, Barcelona, September 1995.

Heitmeyer C., Mandrioli D. "Formal Methods for Real-Time Computing: an Overview" in Formal Methods for Real-Time Computing, Heitmeyer C., Mandrioli D. (editors), John Wiley & Sons, 1996.

Mandrioli D., Morzenti A., Pezzè M., San Pietro P. Silva S. "A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems" in Formal Methods for Real-Time Computing, Heitmeyer C., Mandrioli D. (editors), John Wiley & Sons, 1996 .

Mandrioli D. "Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language", Proceedings AMAST 96, LNCS 1101, Springer Verlag, pp. 33-42, July 1996.

Ghezzi C., Jazayeri M., Mandrioli D. "Software Qualities and Principles", in Handbook of Computer Science & Engineering, Allen B. Tucker (editor), CRC Press, pp. 2278-2301, 1997.

M. Basso, E. Ciapessoni, E. Crivelli, D. Mandrioli, A. Morzenti, E.Ratto, P. San Pietro  "A logic-based approach to the specification and design of the control system of a pondage power plant" in C.Tully (editor) "Improving Software Practice: Case Experience", John Wiley & Sons, Series in Software Based Systems, pp. 79-96, 1998.

R.Capobianchi, D.Carcagno, A.Coen Porisini, D.Mandrioli, A.Morzenti  "Supervision and control systems framework", in M.Fayad e R. Johnson eds., "Domain-Specific Application Frameworks", John Wiley & Sons, 2000.

P. Kolano, R. Kemmerer, D.Mandrioli "Parallel Refinement Mechanisms for Real-Time Systems” Proceedings FASE2000, Berlin, LNCS 1783, pp. 35-50, March 2000.

A.Coen Porisini, M. Pradella, M. Rossi, D.Mandrioli " A Formal Approach for Designing CORBA based Applications”
Proc. ICSE, Limerick, pp. 188-197, June 2000.

F. Marotta, A. Morzenti and D. Mandrioli, Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications, Proceedings ICDCS, May 2001

G. Di Marzo Serugendo, D. Mandrioli, D. Buchs, N. Guelfi: "Real-Time Synchronised Petri Nets", In 23rd International Conference on Application and Theory of Petri Nets (ICATPN'02), volume 2360, LNCS, pp. 142-162, June 2002.

 

D. Mandrioli: " The Role of Formal Methods in Developing High Assurance Systems: Some Old and Some Less Old Thoughts", Proceedings of the Workshop on Software Engineering for High Assurance Systems (SEHAS 2003), ICSE 2003, Portland, May 3-11, 2003, pp. 29-32.

D. Mandrioli: “Advertising Formal Methods and Organizing their Teaching: Yes, but …”, Proceedings of the Symposium on Teaching Formal Methods, Gent, Belgium, November 2004.

Ghezzi C., Jazayeri M., Mandrioli D.: "Software Qualities and Principles", revised version of [C25], in Computer Science Handbook, II Edition, Allen B. Tucker (editor), CRC Press, pp. 101-1--101-26, 2004.

M. Rossi, D. Mandrioli: “A Formal Approach for Modeling and Verification of RT-CORBA-based Applications”, Proceedings of the International Symposium on Software Testing and Analysis, July 2004, pp 263-273.

M. Pradella, M. Rossi, D. Mandrioli: “ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics”, Proceedings of the International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2005, Taipei, Taiwan, October 2-5, 2005, LNCS 3731, pp. 381 - 395.

Furia C., Rossi M., Mandrioli D., Morzenti A., “Automated Compositional Proofs for real-Time Systems”, Proceedings of the conference on Fundamental Approaches to Software Engineering (FASE'05), Lecture Notes in Computer Science, vol. 3442, April 2005, pp 326-340

C. Ghezzi, D. Mandrioli, “The challenges of Software Engineering Education”, P. Inverardi, M. Jazayeri (Eds), ICSE 2005 Education Track, LNCS 4309, 2006, pp. 115-127.

M. Pradella, M. Rossi, D. Mandrioli, A UML-compatible formal language for system architecture description, 12th SDL Forum, LNCS, vol. 3530, pp. 234-246, 2005

 

M. Rolando, M. Rossi, N. Sanarico, D. Mandrioli, “A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System”, Proceedings Workshop on Software Engineering for Secure Systems (SESS), pp. 65-71, 2006.

 

C. A. Furia, M. Rossi, D. Mandrioli, “Modeling the Environment in Software-Intensive Systems”, International Workshop on Modeling in Software Engineering (MISE07), May 2007, pp. 65-71

 

A. Matta, M. Rossi, P. Spoletini, D. Mandrioli, Q. Semeraro, T. Tolio FM for FMS, “Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems”, International Colloquium on Theoretical Aspects of Computing (ICTAC'07), Lecture Notes in Computer Science, vol. 4711, September 2007, pp. 366-380

 

E. Ciapessoni, D. Mandrioli, A. Morzent, P. San Pietro; “The Defense of Electri Power Systems: an Approach Exploiting Formal methods”, The Sixth World Energy System Conference, Torino, Italy, July 10-12, 2006, Session A3 - Power system vulnerability, pp. 98-105

 

S. Crespi-Reghizzi, D. Mandrioli, “Algebraic properties of structured context-free languages: old approaches and novel developments”, WORDS 2009 - 7th Int. Conf. on Words, 2009, Salerno; also available in http://arxiv.org/abs/0907.2130

 

M. Jazayeri, D. Mandrioli, “SCORE: the first Student COntest in softwaRe Engineering”, ICSE09, Vancouver, May 2009, Companion Volume, pp. 487-488.

 

D. Mandrioli, A. Torrebruno, L. Marini, “Computers foster education and education fosters computer science: the Politecnico’s approach”, CSEDU 2010 2nd International Conference on Computer Supported Education, Valencia, April 2010, pp. 289-296

 

S. Crespi-Reghizzi, D. Mandrioli, “Opearator precedence and the visibly pushdown property”, Proceedings LATA 2010, 4th International Conference on Language and Automata Theory and Applications, Trier, May 2010, LNCS, Vol. 6031, pp. 214-226.

 

V. Lonati, D. Mandrioli, M. Pradella, “Precedende automata and languages”; Proceedings CSR 2011, 6th Symposium on Computer Science Theory and Applications, S. Petersburg, June 2011, LNCS, Vol. 6651, pp. 291-304.

 

E. Carpanzano, L. Ferrucci, D. Mandrioli, M. Mazzolini, A. Morzenti, M. Rossi. “Automated Formal Verification for Flexible Manufacturing Systems”. In: Proceedings of the 14th IFAC Symposium on Information Control Problems in Manufacturing . Bucharest, May 23-25, 2012, p. 1-6.

 

L. Ferrucci, D. Mandrioli, A. Morzenti, M. Rossi, “A Metric Temporal Logic for Dealing with Zero-time Transitions”, Proceedings 9th International Symposium on Temporal Representation and Reasoning (TIME12), Leicester, September 2012, pp. 81-88.

 

L. Ferrucci, D. Mandrioli, A. Morzenti, M. Rossi, “Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-standard analysis, Proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Paris, August 2012, pp. 162-176.

 

A. Barenghi, E. Viviani, S. Crespi Reghizzi, D. Mandrioli, M. Pradella, “PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars”, Proceedings of SLE 2012, (K. Czarnecki and G. Hedin, Eds.), LNCS Vol. 7745, Springer Verlag, Berlin Heidelberg, pp. 264-274, 2013.

 

V. Lonati, D. Mandrioli, M. Pradella, "Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages”, (P. van Emde Boas et al. Eds.): SOFSEM 2013, LNCS 7741, pp. 307–318, Springer-Verlag Berlin Heidelberg, 2013.

 

F. Panella, M. Pradella, V. Lonati, and D. Mandrioli, “Operator precedence w-languages”, in 17th International Conference on Developments in Language Theory (DLT), vol. 7907 of LNCS, 2013, pp. 396–408.

 

A. Barenghi, S. Crespi Reghizzi, D. Mandrioli, F. Panella, M. Pradella, “The PAPAGENO Parallel-Parser Generator”, in proceedings 23rd International Conference on Compiler Construction (CC2014), A. Cohen (Ed.), LNCS 8409, pp. 192–196, 2014.

 

D. Bianculli, A. Filieri, C. Ghezzi, D. Mandrioli, "Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows", in proceedings of 6th International Symposium, ISoLA, Corfu, Greece, T. Margaria, B. Steffen eds.,  vol. 8802 of LNCS, pp. 41-55, 2014.

 

D. Mandrioli, " On the Heroism of really Pursuing Formal Method", proceedings of the 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, S. Gnesi, N. Plat eds., Firenze, Italy, pp. 1-5, 2015.

 

Books

Mandrioli D. Introduzione al Progetto dei Compilatori. Franco Angeli, 1985.

Mandrioli D., Ghezzi C. Theoretical Foundations of Computer Science. John Wiley & Sons, 1987.

Mandrioli D. Elementi di Informatica. MacGraw-Hill Libri Italia, 1988.

De Paoli F., Ghezzi C., Mandrioli D. Ada: una Panoramica. Franco Angeli, 1988.

Ghezzi C., Jazayeri M., Mandrioli D. Fundamentals of Software Engineering Prentice-Hall, 1991.

Ausiello G., Batini C., Mandrioli D., Protasi M. Modelli e Linguaggi dell'Informatica McGraw-Hill Libri Italia, 1991

Mandrioli D., Meyer B. (editors) Advances in Object-Oriented Software Engineering Prentice-Hall, 1992

Ceri S., Mandrioli D. Istituzioni di Informatica Mc Graw-Hill Libri Italia, 1993

Ceri S., Mandrioli D., Sbattella L. Informatica: Istituzioni, Linguaggio di riferimento ANSI C. Mc Graw-Hill Libri Italia, 1994

Mandrioli D. Introduzione all'analisi degli algoritmi Esculapio, 1994

Mandrioli D., Morzenti, A., San Pietro P.L. Esercizi di Informatica Teorica Esculapio, 1994

Heitmeyer C., Mandrioli D. (editors) Formal Methods for Real-Time Computing John Wiley & Sons, 1996.

De Paoli F., Mandrioli D. Fondamenti di Informatica Mc Graw-Hill Libri Italia, 1995

Ceri S., Mandrioli D., Sbattella L. The Art and Craft of Computing. Addison Wesley, 1997.

Ceri S., Mandrioli D., Sbattella L. Informatica: arte e mestiere. Mc Graw-Hill Libri Italia, 1999

Ceri S., Mandrioli D., Sbattella L. Informatica: Programmazione. Mc Graw-Hill Libri Italia, 2000

Ghezzi C., Jazayeri M., Mandrioli D. Fundamentals of Software Engineering Prentice-Hall, II edition, 2003.

Ghezzi C., Jazayeri M., Mandrioli D. Ingegneria del software. Fondamenti e principi, Italian translation of Fundamentals of Software Engineering Prentice-Hall, II edition, Pearson Education Italia, 2004.

Ceri S., Mandrioli D., Sbattella L., Informatica: arte e mestiere, II edizione, Mc Graw-Hill Libri Italia, 2004.

Mandrioli D., Lavazza L., Morzenti, A., San Pietro P.L., Spoletini P. Esercizi di Informatica Teorica, Esculapio, 2005, III Edizione

Ceri S., Mandrioli D., Sbattella L., Informatica: Programmazione., II edizione, Mc Graw-Hill Libri Italia, 2006

 

Mandrioli D., Ceri S., Sbattella L, Cremonesi P., Cugola G.P., Informatica: arte e mestiere, III edizione, Mc Graw-Hill Libri Italia, 2008.

 

Mandrioli D., Spoletini P., Informatica teorica, II edizione, Città studi, 2011

 

Furia C., Mandrioli D., Morzenti A., Rossi M., Modeling Time in Computing. , Springer Verlag, EATCS monograph series, 2012.