The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dino Mandrioli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. Carlo Ghezzi, Dino Mandrioli, Antonio Tecchio
    Program Simplification via Symbolic Interpretation. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1985, pp:116-128 [Conf]
  12. 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]
  13. Carlo Ghezzi, Dino Mandrioli
    The challenges of software engineering education. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:637-638 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. Dino Mandrioli
    Advertising Formal Methods and Organizing Their Teaching: Yes, but .... [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:214-224 [Conf]
  20. Dino Mandrioli
    The Object-Oriented Specification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    TOOLS (10), 1993, pp:347- [Conf]
  21. Dino Mandrioli
    The Object-Oriented Specification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    TOOLS (8), 1992, pp:275- [Conf]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. 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]

  57. SCORE: The first student Contest in Software Engineering. [Citation Graph (, )][DBLP]


  58. Operator Precedence and the Visibly Pushdown Property. [Citation Graph (, )][DBLP]


  59. Modeling Time in Computing: A Taxonomy and a Comparative Survey [Citation Graph (, )][DBLP]


  60. Algebraic properties of structured context-free languages: old approaches and novel developments [Citation Graph (, )][DBLP]


  61. Refinement and Verification of Real-Time Systems [Citation Graph (, )][DBLP]


  62. Modeling time in computing: A taxonomy and a comparative survey. [Citation Graph (, )][DBLP]


Search in 0.071secs, Finished in 0.073secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002