|
Search the dblp DataBase
Gigliola Vaglini:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- Antonella Santone, Gigliola Vaglini
A Tableau-Based Procedure for Model Checking Programs. [Citation Graph (0, 0)][DBLP] COMPSAC, 2002, pp:723-730 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- Antonella Santone, Gigliola Vaglini
Local model checking of Java bytecode. [Citation Graph (0, 0)][DBLP] SEKE, 2002, pp:383-389 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Antonella Santone, Gigliola Vaglini
Reusing LOTOS specifications. [Citation Graph (0, 0)][DBLP] Microprocessors and Microsystems, 2001, v:25, n:6, pp:309-314 [Journal]
A Formula Driven Incremental Construction of Web Service Compositions. [Citation Graph (, )][DBLP]
Link scheduling with end-to-end delay constraints in Wireless Mesh Networks. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.005secs
|