Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Dino Mandrioli" ( http://dblp.L3S.de/Authors/Dino_Mandrioli )

URL (Homepage):  http://www.elet.polimi.it/~mandriol  Author page on DBLP  Author page in RDF  Community of Dino Mandrioli in ASPL-2

Publication years (Num. hits)
1975-1985 (17) 1986-1993 (16) 1994-2003 (17) 2004-2010 (19) 2011-2012 (2)
Publication types (Num. hits)
article(42) book(2) incollection(1) inproceedings(25) proceedings(1)
Venues (Conferences, Journals, ...)
IEEE Trans. Software Eng.(6) CoRR(5) Comput. Lang.(4) Inf. Process. Lett.(4) ESEC(3) TOOLS(3) ACM Comput. Surv.(2) ACM Trans. Program. Lang. Syst...(2) ACM Trans. Softw. Eng. Methodo...(2) FASE(2) ICSE(2) Information and Control(2) J. ACM(2) SIAM J. Comput.(2) Theor. Comput. Sci.(2) ACM SIGSOFT Software Engineeri...(1) More (+10 of total 41)
Authors
Dino Mandrioli(71) Carlo Ghezzi(19) Angelo Morzenti(14) Matteo Rossi(11) Stefano Crespi-Reghizzi(11) Alberto Coen-Porisini(9) Matteo Pradella(7) Carlo A. Furia(6) Mehdi Jazayeri(5) Giovanni Guida(4) Richard A. Kemmerer(4) Claudio Citrini(3) Sandro Morasca(3) Violetta Lonati(3) Alessandra Cherubini(2) Alfonso Fuggetta(2) More (+10 of total 51)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 93 occurrences of 68 keywords
Results
Found 71 publication records. Showing 71 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Violetta Lonati, Dino Mandrioli, Matteo Pradella Logic Characterization of Floyd Languages Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Violetta Lonati, Dino Mandrioli, Matteo Pradella Precedence Automata and Languages. Search on Bibsonomy CSR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer, Dino Mandrioli Refinement and Verification of Real-Time Systems Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Violetta Lonati, Dino Mandrioli, Matteo Pradella Precedence Automata and Languages Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi Modeling time in computing: A taxonomy and a comparative survey. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young SCORE: the first student contest on software engineering. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stefano Crespi-Reghizzi, Dino Mandrioli Operator Precedence and the Visibly Pushdown Property. Search on Bibsonomy LATA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dino Mandrioli, Aldo Torrebruno, Luisa Marini Computers Foster Education and Education Fosters Computer Science - The Politecnico's Approach. Search on Bibsonomy CSEDU The full citation details ... 2010 DBLP  BibTeX  RDF
1Stefano Crespi-Reghizzi, Dino Mandrioli Algebraic properties of structured context-free languages: old approaches and novel developments Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Mehdi Jazayeri, Dino Mandrioli SCORE: The first student Contest in Software Engineering. Search on Bibsonomy ICSE Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi Modeling Time in Computing: A Taxonomy and a Comparative Survey Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti Automated compositional proofs for real-time systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Andrea 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. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Formal Methods, Formal Verification, Temporal Logics, Experience, System Design, Production Systems, Finite-State Models
1John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli The industrialization of formal methods. Search on Bibsonomy STTT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Matteo Pradella, Matteo Rossi, Dino Mandrioli ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF UML, real-time, software architecture, formal methods
1Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti Automated Compositional Proofs for Real-Time Systems. Search on Bibsonomy FASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Dino Mandrioli The challenges of software engineering education. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model, software engineering, education, engineering
1Carlo Ghezzi, Dino Mandrioli The Challenges of Software Engineering Education. Search on Bibsonomy Software Education and Training Sessions @ ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Matteo Pradella, Matteo Rossi, Dino Mandrioli A UML-Compatible Formal Language for System Architecture Description. Search on Bibsonomy SDL Forum The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Matteo Rossi, Dino Mandrioli A formal approach for modeling and verification of RTCORBA-based applications. Search on Bibsonomy ISSTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF real-time, middleware, formal verification, CORBA, distributed applications
1Dino Mandrioli Advertising Formal Methods and Organizing Their Teaching: Yes, but .... Search on Bibsonomy TFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli A formal approach for designing CORBA-based applications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF formal methods, object orientation, frameworks, temporal logic, CORBA, control systems, architectural design, supervision
1Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli Fundamentals of software engineering (2. ed.). Search on Bibsonomy 2003   RDF
1Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.) FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings Search on Bibsonomy FME The full citation details ... 2003 DBLP  BibTeX  RDF
1Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi Real-Time Synchronised Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF CO-OPN, inhibitor arcs, real-time, Petri nets
1Fernando Marotta, Angelo Morzenti, Dino Mandrioli Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications. Search on Bibsonomy ICDCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alberto Coen-Porisini, Dino Mandrioli Using TRIO for designing a CORBA-based application. Search on Bibsonomy Concurrency - Practice and Experience The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Riccardo Capobianchi, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti A framework architecture for supervision and control systems. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF CORBA
1Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli Parallel Refinement Mechanisms for Real-Time Systems. Search on Bibsonomy FASE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini A formal approach for designing CORBA based applications. Search on Bibsonomy ICSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF supervision and control system, design, formal methods, temporal logic, CORBA, CORBA
1Angelo Gargantini, Dino Mandrioli, Angelo Morzenti Dealing with Zero-Time Transitions in Axiom Systems. Search on Bibsonomy Inf. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti From Formal Models to Formally Based Methods: An Industrial Experience. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF supervision and control, object orientation, specification, formal models, technology transfer, industrial applications
1Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli Software Qualities and Principles. Search on Bibsonomy The Computer Science and Engineering Handbook The full citation details ... 1997 DBLP  BibTeX  RDF
1Dino Mandrioli Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language. Search on Bibsonomy AMAST The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Dino Mandrioli, Sandro Morasca, Angelo Morzenti Generating Test Cases for Real-Time Systems from Logic Specifications. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli A Formal Framework for ASTRAL Inter-level Proof Obligations. Search on Bibsonomy ESEC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Miguel Felder, Dino Mandrioli, Angelo Morzenti Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF property proving, logical specifications, TRIO, Hoare method, dual language, real-time systems, real-time systems, embedded systems, formal specification, formal specification, Petri nets, temporal logic, temporal logic, theorem proving, first-order logic, timed Petri net, formal analysis, axiomatization
1Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli A Formal Framework for ASTRAL Intralevel Proof Obligations. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF intralevel proof obligations, formal software development, mathematical correctness, ASLAN, TRIO, real-time systems, real-time systems, verification, formal specification, formal specification, formal methods, finite state machines, program verification, specification languages, state machines, formal specification language, formal proof, timing requirements, ASTRAL
1Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti Executable Specifications with Data-flow Diagrams. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Dino Mandrioli The Object-Oriented Specification of Real-Time Systems. Search on Bibsonomy TOOLS The full citation details ... 1993 DBLP  BibTeX  RDF
1Alberto Coen-Porisini, Dino Mandrioli A Formal Framework for ASTRAL Intra-Level Proof Obligations. Search on Bibsonomy ESEC The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi A Model Parametric Real-Time Logic. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF real-time systems, formal specifications, temporal logic, first-order logic, requirements validation, model-theoretic semantics
1Dino Mandrioli The Object-Oriented Specification of Real-Time Systems. Search on Bibsonomy TOOLS The full citation details ... 1992 DBLP  BibTeX  RDF
1Dino Mandrioli Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach. Search on Bibsonomy TOOLS The full citation details ... 1992 DBLP  BibTeX  RDF
1Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè A Unified High-Level Petri Net Formalism for Time-Critical Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF environment relationship nets, time-critical systems, ER nets, time notation, specification support environment, formal specification, Petri nets, software tools, timing, high-level Petri net
1Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli Software Specialization Via Symbolic Execution. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF environment-supporting specialization, generalized software components, reengineering technique, transformation tools, symbolic executor/simplifier, loop refolder, conceptual basis, Ada programming language, optimizer, Ada, software maintenance, software reuse, maintenance, software reusability, program compilers, symbolic execution, subroutines, interactive environment
1Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli QRT FIFO Automata, Breath-First Grammars and Their Relations. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli Fundamentals of software engineering. Search on Bibsonomy 1991   RDF
1Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli Breath and Depth Grammars and Deque Automata. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 1990 DBLP  BibTeX  RDF
1Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti TRIO: A logic language for executable specifications of real-time systems. Search on Bibsonomy Journal of Systems and Software The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli Some Consideration on Real-Time Bahavior of Concurrent Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF real-time behavior, semantic issues, real-time systems, parallel programming, program verification, concurrent programs, formal languages, programming theory, high level languages, real-time programs, guarded commands, real-time language
1Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè Symbolic Execution of Concurrent Systems Using Petri Nets. Search on Bibsonomy Comput. Lang. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti On the Specification of Real-Time Systems Using Logic Programming. Search on Bibsonomy ESEC The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli On Deterministic Multi-Pass Analysis. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Dino Mandrioli, Roberto Zicari, Carlo Ghezzi, Francesco Tisato Modeling the Ada Task System by Petri Nets. Search on Bibsonomy Comput. Lang. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Nicoletta Cocco, Dino Mandrioli, Vitaliano Milanese The Ada Task System and Real-Time Applications: An Implementation Schema. Search on Bibsonomy Comput. Lang. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Dino Mandrioli, Antonio Tecchio Program Simplification via Symbolic Interpretation. Search on Bibsonomy FSTTCS The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Daniel M. Berry, Carlo Ghezzi, Dino Mandrioli, Francesco Tisato Language Constructs for Real-Time Distributed Systems. Search on Bibsonomy Comput. Lang. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Stefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli Operator Precedence Grammars and the Noncounting Property. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Augusto Celentano, Pierluigi Della Vigna, Carlo Ghezzi, Dino Mandrioli Separate Compilation and Partial Specification in Pascal. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Dino Mandrioli Augmenting Parsers to Support Incrementality. Search on Bibsonomy J. ACM The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Dino Mandrioli Incremental Parsing. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
1Stefano Crespi-Reghizzi, Dino Mandrioli A Class of Grammar Generating Non-Counting Languages. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
1Stefano Crespi-Reghizzi, Dino Mandrioli, David F. Martin Algebraic Properties of Operator Precedence Languages Search on Bibsonomy Information and Control The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
1Stefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli Noncounting Context-Free Languages. Search on Bibsonomy J. ACM The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
1Dino Mandrioli A Note on Petri Net Languages Search on Bibsonomy Information and Control The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
1Giovanni Guida, Dino Mandrioli, Marco Somalvico An integrated model of problem solver. Search on Bibsonomy Inf. Sci. The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
1Dino Mandrioli n-Reconstructability of Context-Free Grammars. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Stefano Crespi-Reghizzi, Dino Mandrioli Erratum: A Decidability Theorem for a Class of Vector-Addition Systems. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1975 DBLP  BibTeX  RDF
1Stefano Crespi-Reghizzi, Dino Mandrioli A Decidability Theorem for a Class of Vector-Addition Systems. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
1Giovanni Guida, Dino Mandrioli, Amedeo Paci, Marco Somalvico An Integrated Theory of Problems as an Algebraic Base for Complexity Understanding and Automatic Problem Solving. Search on Bibsonomy Optimization Techniques The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #71 of 71 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.