Search the dblp DataBase
Dino Mandrioli :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Angelo Morzenti , Dino Mandrioli , Carlo Ghezzi A Model Parametric Real-Time Logic. [Citation Graph (2, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1992, v:14, n:4, pp:521-573 [Journal ] Daniel M. Berry , Carlo Ghezzi , Dino Mandrioli , Francesco Tisato Language Constructs for Real-Time Distributed Systems. [Citation Graph (1, 0)][DBLP ] Comput. Lang., 1982, v:7, n:1, pp:11-20 [Journal ] Dino Mandrioli Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language. [Citation Graph (0, 0)][DBLP ] AMAST, 1996, pp:33-42 [Conf ] Giovanna Di Marzo Serugendo , Dino Mandrioli , Didier Buchs , Nicolas Guelfi Real-Time Synchronised Petri Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2002, pp:142-162 [Conf ] Franca Garzotto , Carlo Ghezzi , Dino Mandrioli , Angelo Morzenti On the Specification of Real-Time Systems Using Logic Programming. [Citation Graph (0, 0)][DBLP ] ESEC, 1987, pp:180-190 [Conf ] Alberto Coen-Porisini , Richard A. Kemmerer , Dino Mandrioli A Formal Framework for ASTRAL Inter-level Proof Obligations. [Citation Graph (0, 0)][DBLP ] ESEC, 1995, pp:90-108 [Conf ] Alberto Coen-Porisini , Dino Mandrioli A Formal Framework for ASTRAL Intra-Level Proof Obligations. [Citation Graph (0, 0)][DBLP ] ESEC, 1993, pp:483-500 [Conf ] Carlo A. Furia , Matteo Rossi , Dino Mandrioli , Angelo Morzenti Automated Compositional Proofs for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] FASE, 2005, pp:326-340 [Conf ] Paul Z. Kolano , Richard A. Kemmerer , Dino Mandrioli Parallel Refinement Mechanisms for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] FASE, 2000, pp:35-50 [Conf ] Matteo Pradella , Matteo Rossi , Dino Mandrioli ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. [Citation Graph (0, 0)][DBLP ] FORTE, 2005, pp:381-395 [Conf ] Carlo Ghezzi , Dino Mandrioli , Antonio Tecchio Program Simplification via Symbolic Interpretation. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:116-128 [Conf ] Fernando Marotta , Angelo Morzenti , Dino Mandrioli Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications. [Citation Graph (0, 0)][DBLP ] ICDCS, 2001, pp:567-574 [Conf ] Carlo Ghezzi , Dino Mandrioli The challenges of software engineering education. [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:637-638 [Conf ] Matteo Pradella , Matteo Rossi , Dino Mandrioli , Alberto Coen-Porisini A formal approach for designing CORBA based applications. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:188-197 [Conf ] Carlo Ghezzi , Dino Mandrioli The Challenges of Software Engineering Education. [Citation Graph (0, 0)][DBLP ] Software Education and Training Sessions @ ICSE, 2005, pp:115-127 [Conf ] Giovanni Guida , Dino Mandrioli , Amedeo Paci , Marco Somalvico An Integrated Theory of Problems as an Algebraic Base for Complexity Understanding and Automatic Problem Solving. [Citation Graph (0, 0)][DBLP ] Optimization Techniques, 1975, pp:98-129 [Conf ] Matteo Rossi , Dino Mandrioli A formal approach for modeling and verification of RTCORBA-based applications. [Citation Graph (0, 0)][DBLP ] ISSTA, 2004, pp:263-273 [Conf ] Matteo Pradella , Matteo Rossi , Dino Mandrioli A UML-Compatible Formal Language for System Architecture Description. [Citation Graph (0, 0)][DBLP ] SDL Forum, 2005, pp:234-246 [Conf ] Dino Mandrioli Advertising Formal Methods and Organizing Their Teaching: Yes, but .... [Citation Graph (0, 0)][DBLP ] TFM, 2004, pp:214-224 [Conf ] Dino Mandrioli The Object-Oriented Specification of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] TOOLS (10), 1993, pp:347- [Conf ] Dino Mandrioli The Object-Oriented Specification of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] TOOLS (8), 1992, pp:275- [Conf ] Dino Mandrioli Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach. [Citation Graph (0, 0)][DBLP ] TOOLS (8), 1992, pp:277- [Conf ] Nicoletta Cocco , Dino Mandrioli , Vitaliano Milanese The Ada Task System and Real-Time Applications: An Implementation Schema. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1985, v:10, n:3/4, pp:189-209 [Journal ] Carlo Ghezzi , Dino Mandrioli , Sandro Morasca , Mauro Pezzè Symbolic Execution of Concurrent Systems Using Petri Nets. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1989, v:14, n:4, pp:263-281 [Journal ] Dino Mandrioli , Roberto Zicari , Carlo Ghezzi , Francesco Tisato Modeling the Ada Task System by Petri Nets. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1985, v:10, n:1, pp:43-61 [Journal ] Alberto Coen-Porisini , Dino Mandrioli Using TRIO for designing a CORBA-based application. [Citation Graph (0, 0)][DBLP ] Concurrency - Practice and Experience, 2000, v:12, n:10, pp:981-1015 [Journal ] Riccardo Capobianchi , Alberto Coen-Porisini , Dino Mandrioli , Angelo Morzenti A framework architecture for supervision and control systems. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 2000, v:32, n:1es, pp:26- [Journal ] Stefano Crespi-Reghizzi , Dino Mandrioli , David F. Martin Algebraic Properties of Operator Precedence Languages [Citation Graph (0, 0)][DBLP ] Information and Control, 1978, v:37, n:2, pp:115-133 [Journal ] Angelo Gargantini , Dino Mandrioli , Angelo Morzenti Dealing with Zero-Time Transitions in Axiom Systems. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1999, v:150, n:2, pp:119-131 [Journal ] Dino Mandrioli A Note on Petri Net Languages [Citation Graph (0, 0)][DBLP ] Information and Control, 1977, v:34, n:2, pp:169-171 [Journal ] Alessandra Cherubini , Claudio Citrini , Stefano Crespi-Reghizzi , Dino Mandrioli Breath and Depth Grammars and Deque Automata. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 1990, v:1, n:3, pp:219-232 [Journal ] Stefano Crespi-Reghizzi , Dino Mandrioli A Decidability Theorem for a Class of Vector-Addition Systems. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1975, v:3, n:3, pp:78-80 [Journal ] Stefano Crespi-Reghizzi , Dino Mandrioli Erratum: A Decidability Theorem for a Class of Vector-Addition Systems. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1975, v:3, n:5, pp:164- [Journal ] Stefano Crespi-Reghizzi , Dino Mandrioli A Class of Grammar Generating Non-Counting Languages. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1978, v:7, n:1, pp:24-26 [Journal ] Dino Mandrioli n-Reconstructability of Context-Free Grammars. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1976, v:5, n:2, pp:58-62 [Journal ] Giovanni Guida , Dino Mandrioli , Marco Somalvico An integrated model of problem solver. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 1977, v:13, n:1, pp:11-33 [Journal ] Stefano Crespi-Reghizzi , Giovanni Guida , Dino Mandrioli Noncounting Context-Free Languages. [Citation Graph (0, 0)][DBLP ] J. ACM, 1978, v:25, n:4, pp:571-580 [Journal ] Carlo Ghezzi , Dino Mandrioli Augmenting Parsers to Support Incrementality. [Citation Graph (0, 0)][DBLP ] J. ACM, 1980, v:27, n:3, pp:564-579 [Journal ] Carlo Ghezzi , Dino Mandrioli , Angelo Morzenti TRIO: A logic language for executable specifications of real-time systems. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1990, v:12, n:2, pp:107-123 [Journal ] Claudio Citrini , Stefano Crespi-Reghizzi , Dino Mandrioli On Deterministic Multi-Pass Analysis. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1986, v:15, n:3, pp:668-693 [Journal ] Stefano Crespi-Reghizzi , Giovanni Guida , Dino Mandrioli Operator Precedence Grammars and the Noncounting Property. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1981, v:10, n:1, pp:174-191 [Journal ] Alfonso Fuggetta , Carlo Ghezzi , Dino Mandrioli , Angelo Morzenti Executable Specifications with Data-flow Diagrams. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1993, v:23, n:6, pp:629-653 [Journal ] John S. Fitzgerald , Stefania Gnesi , Dino Mandrioli The industrialization of formal methods. [Citation Graph (0, 0)][DBLP ] STTT, 2006, v:8, n:4-5, pp:301-302 [Journal ] Alessandra Cherubini , Claudio Citrini , Stefano Crespi-Reghizzi , Dino Mandrioli QRT FIFO Automata, Breath-First Grammars and Their Relations. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1991, v:85, n:1, pp:171-203 [Journal ] Carlo A. Furia , Matteo Rossi , Dino Mandrioli , Angelo Morzenti Automated compositional proofs for real-time systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2007, v:376, n:3, pp:164-184 [Journal ] Dino Mandrioli , Sandro Morasca , Angelo Morzenti Generating Test Cases for Real-Time Systems from Logic Specifications. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Syst., 1995, v:13, n:4, pp:365-398 [Journal ] Carlo Ghezzi , Dino Mandrioli Incremental Parsing. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1979, v:1, n:1, pp:58-70 [Journal ] Emanuele Ciapessoni , Piergiorgio Mirandola , Alberto Coen-Porisini , Dino Mandrioli , Angelo Morzenti From Formal Models to Formally Based Methods: An Industrial Experience. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 1999, v:8, n:1, pp:79-113 [Journal ] Alberto Coen-Porisini , Matteo Pradella , Matteo Rossi , Dino Mandrioli A formal approach for designing CORBA-based applications. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:2, pp:107-151 [Journal ] Augusto Celentano , Pierluigi Della Vigna , Carlo Ghezzi , Dino Mandrioli Separate Compilation and Partial Specification in Pascal. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1980, v:6, n:4, pp:320-328 [Journal ] Alberto Coen-Porisini , Richard A. Kemmerer , Dino Mandrioli A Formal Framework for ASTRAL Intralevel Proof Obligations. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1994, v:20, n:8, pp:548-561 [Journal ] Alberto Coen-Porisini , Flavio De Paoli , Carlo Ghezzi , Dino Mandrioli Software Specialization Via Symbolic Execution. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1991, v:17, n:9, pp:884-899 [Journal ] Miguel Felder , Dino Mandrioli , Angelo Morzenti Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1994, v:20, n:2, pp:127-141 [Journal ] Alfonso Fuggetta , Carlo Ghezzi , Dino Mandrioli Some Consideration on Real-Time Bahavior of Concurrent Programs. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1989, v:15, n:3, pp:356-359 [Journal ] Carlo Ghezzi , Dino Mandrioli , Sandro Morasca , Mauro Pezzè A Unified High-Level Petri Net Formalism for Time-Critical Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1991, v:17, n:2, pp:160-172 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] ICTAC, 2007, pp:366-380 [Conf ] SCORE: The first student Contest in Software Engineering. [Citation Graph (, )][DBLP ] Operator Precedence and the Visibly Pushdown Property. [Citation Graph (, )][DBLP ] Modeling Time in Computing: A Taxonomy and a Comparative Survey [Citation Graph (, )][DBLP ] Algebraic properties of structured context-free languages: old approaches and novel developments [Citation Graph (, )][DBLP ] Refinement and Verification of Real-Time Systems [Citation Graph (, )][DBLP ] Modeling time in computing: A taxonomy and a comparative survey. [Citation Graph (, )][DBLP ] Search in 0.060secs, Finished in 0.063secs