The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Gigliola Vaglini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini
    Shared Abstract Data Types: An Algebraic Methodology for Their Specification. [Citation Graph (1, 18)][DBLP]
    MFDBS, 1989, pp:53-67 [Conf]
  2. Nicoletta De Francesco, Gigliola Vaglini
    Concurrent Behavior: A Construct to Specify the External Behavior of Objects in Object Databases. [Citation Graph (1, 0)][DBLP]
    Distributed and Parallel Databases, 1994, v:2, n:1, pp:33-58 [Journal]
  3. Antonella Santone, Gigliola Vaglini
    A Tableau-Based Procedure for Model Checking Programs. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:723-730 [Conf]
  4. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Formula Based Abstractions of Transition Systems for Real-Time Model Checking. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:289-306 [Conf]
  5. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:519-534 [Conf]
  6. Nicoletta De Francesco, Diego Latella, Gigliola Vaglini
    An Interactive Debugger for a Concurrent Language. [Citation Graph (0, 0)][DBLP]
    ICSE, 1985, pp:320-329 [Conf]
  7. Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    A Non-Standard Semantics for Generating Reduced Transition Systems. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:370-387 [Conf]
  8. Nicoletta De Francesco, Gigliola Vaglini, Luigi V. Mancini, A. Pereira Paz
    Specification of Concurrency Control in Persistent Programming Languages. [Citation Graph (0, 0)][DBLP]
    POS, 1992, pp:126-143 [Conf]
  9. Antonella Santone, Gigliola Vaglini
    Local model checking of Java bytecode. [Citation Graph (0, 0)][DBLP]
    SEKE, 2002, pp:383-389 [Conf]
  10. Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini
    A Petri Nets Semantics for Data Flow Networks [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1995, v:32, n:4, pp:347-374 [Journal]
  11. Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini
    Model Checking Multithreaded Programs by Means of Reduced Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:110, n:, pp:55-74 [Journal]
  12. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Logic Based Abstractions of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2000, v:17, n:3, pp:201-220 [Journal]
  13. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Reduced Models for Efficient CCS Verification. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:3, pp:319-350 [Journal]
  14. Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini
    An approach to system design based on P/T net simulation. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2001, v:43, n:10, pp:591-605 [Journal]
  15. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Abstract Interpretation of Trace Semantics for Concurrent Calculi. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1999, v:70, n:2, pp:69-78 [Journal]
  16. Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    A user-friendly interface to specify temporal properties of concurrent systems. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2007, v:177, n:1, pp:299-311 [Journal]
  17. Antonella Santone, Gigliola Vaglini
    Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:30, n:1, pp:33-58 [Journal]
  18. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1999, v:59, n:3, pp:537-556 [Journal]
  19. Antonella Santone, Gigliola Vaglini
    A local approach for temporal model checking of Java bytecode. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2005, v:70, n:2, pp:258-281 [Journal]
  20. Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    State Space Reduction by Non-Standard Semantics for Deadlock Analysis. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:30, n:3, pp:309-338 [Journal]
  21. Antonella Santone, Gigliola Vaglini
    Compositionality and locality for improving model checking in the selective mu-calculus. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:54, n:2-3, pp:291-311 [Journal]
  22. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1999, v:29, n:12, pp:1123-1147 [Journal]
  23. Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini
    Efficient model checking of properties of a distributed application: a multimedia case study. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2002, v:12, n:1, pp:3-21 [Journal]
  24. Fabrizio Baiardi, Nicoletta De Francesco, Gigliola Vaglini
    Development of a Debugger for a Concurrent Language. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:4, pp:547-553 [Journal]
  25. Nicoletta De Francesco, Gigliola Vaglini
    Description of a Tool for Specifying and Prototyping Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:11, pp:1554-1564 [Journal]
  26. Antonella Santone, Gigliola Vaglini
    Formula-based abstractions and symbolic execution for model checking programs. [Citation Graph (0, 0)][DBLP]
    Microprocessors and Microsystems, 2004, v:28, n:2, pp:69-76 [Journal]
  27. Antonella Santone, Gigliola Vaglini
    Reusing LOTOS specifications. [Citation Graph (0, 0)][DBLP]
    Microprocessors and Microsystems, 2001, v:25, n:6, pp:309-314 [Journal]

  28. A Formula Driven Incremental Construction of Web Service Compositions. [Citation Graph (, )][DBLP]


  29. Link scheduling with end-to-end delay constraints in Wireless Mesh Networks. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.008secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002