- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j23 |      | Antonella Santone, Gigliola Vaglini: Abstract reduction in directed model checking CCS processes. Acta Inf. 49(5): 313-341 (2012) |
| c14 |  | Antonella Santone, Gigliola Vaglini: Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches. ICSOFT 2012: 336-339 |
| i1 | | Federico Calzolari, Silvia Arezzini, Alberto Ciampa, Enrico Mazzoni, Andrea Domenici, Gigliola Vaglini: High availability using virtualization - 3RC. CoRR abs/1205.0483 (2012) |
| 2011 | ||
| j22 | | Paola Cappanera, Luciano Lenzini, Alessandro Lori, Giovanni Stea, Gigliola Vaglini: Efficient link scheduling for online admission control of real-time traffic in wireless mesh networks. Computer Communications 34(8): 922-934 (2011) |
| c13 | | Gianpiero Francesca, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani: Ant Colony Optimization for Deadlock Detection in Concurrent Systems. COMPSAC 2011: 108-117 |
| 2010 | ||
| j21 | | Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Gigliola Vaglini: Partial model checking via abstract interpretation. Inf. Process. Lett. 110(3): 99-103 (2010) |
| c12 | | Alessandro Lori, Giovanni Stea, Gigliola Vaglini: Towards Resource-Optimal Routing Plans for Real-Time Traffic. ISoLA (1) 2010: 214-227 |
| c11 | | Paola Cappanera, Luciano Lenzini, Alessandro Lori, Giovanni Stea, Gigliola Vaglini: Optimal link scheduling for real-time traffic in wireless mesh networks in both per-flow and per-path frameworks. WOWMOM 2010: 1-9 |
| 2009 | ||
| c10 | | Antonella Santone, Gigliola Vaglini, Maria Luisa Villani: A Formula Driven Incremental Construction of Web Service Compositions. ICSOFT (1) 2009: 13-22 |
| c9 | | Paola Cappanera, Luciano Lenzini, Alessandro Lori, Giovanni Stea, Gigliola Vaglini: Link scheduling with end-to-end delay constraints in Wireless Mesh Networks. WOWMOM 2009: 1-9 |
| 2008 | ||
| j20 | | Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani: Modular formal verification of specifications of concurrent systems. Softw. Test., Verif. Reliab. 18(1): 5-28 (2008) |
| 2007 | ||
| j19 | | Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: A user-friendly interface to specify temporal properties of concurrent systems. Inf. Sci. 177(1): 299-311 (2007) |
| 2005 | ||
| j18 | | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Reduced Models for Efficient CCS Verification. Formal Methods in System Design 26(3): 319-350 (2005) |
| j17 | | Antonella Santone, Gigliola Vaglini: A local approach for temporal model checking of Java bytecode. J. Comput. Syst. Sci. 70(2): 258-281 (2005) |
| j16 | | Antonella Santone, Gigliola Vaglini: Compositionality and locality for improving model checking in the selective mu-calculus. Sci. Comput. Program. 54(2-3): 291-311 (2005) |
| 2004 | ||
| j15 | | Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini: Model Checking Multithreaded Programs by Means of Reduced Models. Electr. Notes Theor. Comput. Sci. 110: 55-74 (2004) |
| j14 | | Antonella Santone, Gigliola Vaglini: Formula-based abstractions and symbolic execution for model checking programs. Microprocessors and Microsystems 28(2): 69-76 (2004) |
| 2003 | ||
| j13 | | Antonella Santone, Gigliola Vaglini: Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. J. Autom. Reasoning 30(1): 33-58 (2003) |
| 2002 | ||
| j12 | | Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini: Efficient model checking of properties of a distributed application: a multimedia case study. Softw. Test., Verif. Reliab. 12(1): 3-21 (2002) |
| c8 | | Antonella Santone, Gigliola Vaglini: A Tableau-Based Procedure for Model Checking Programs. COMPSAC 2002: 723-730 |
| c7 | | |
| 2001 | ||
| j11 | | Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini: An approach to system design based on P/T net simulation. Information & Software Technology 43(10): 591-605 (2001) |
| j10 | | Antonella Santone, Gigliola Vaglini: Reusing LOTOS specifications. Microprocessors and Microsystems 25(6): 309-314 (2001) |
| 2000 | ||
| j9 | | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Logic Based Abstractions of Real-Time Systems. Formal Methods in System Design 17(3): 201-220 (2000) |
| 1999 | ||
| j8 | | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Abstract Interpretation of Trace Semantics for Concurrent Calculi. Inf. Process. Lett. 70(2): 69-78 (1999) |
| j7 | | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems. J. Comput. Syst. Sci. 59(3): 537-556 (1999) |
| j6 | | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. Softw., Pract. Exper. 29(12): 1123-1147 (1999) |
| c6 | | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Formula Based Abstractions of Transition Systems for Real-Time Model Checking. World Congress on Formal Methods 1999: 289-306 |
| 1998 | ||
| j5 | | Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: State Space Reduction by Non-Standard Semantics for Deadlock Analysis. Sci. Comput. Program. 30(3): 309-338 (1998) |
| 1997 | ||
| c5 | | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. FORTE 1997: 519-534 |
| 1996 | ||
| c4 | | Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: A Non-Standard Semantics for Generating Reduced Transition Systems. LOMAPS 1996: 370-387 |
| 1995 | ||
| j4 | | Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini: A Petri Nets Semantics for Data Flow Networks. Acta Inf. 32(4): 347-374 (1995) |
| 1994 | ||
| j3 | | Nicoletta De Francesco, Gigliola Vaglini: Concurrent Behavior: A Construct to Specify the External Behavior of Objects in Object Databases. Distributed and Parallel Databases 2(1): 33-58 (1994) |
| 1992 | ||
| c3 | | Nicoletta De Francesco, Gigliola Vaglini, Luigi V. Mancini, A. Pereira Paz: Specification of Concurrency Control in Persistent Programming Languages. POS 1992: 126-143 |
| 1989 | ||
| c2 | | Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini: Shared Abstract Data Types: An Algebraic Methodology for Their Specification. MFDBS 1989: 53-67 |
| 1988 | ||
| j2 | | Nicoletta De Francesco, Gigliola Vaglini: Description of a Tool for Specifying and Prototyping Concurrent Programs. IEEE Trans. Software Eng. 14(11): 1554-1564 (1988) |
| 1986 | ||
| j1 | | Fabrizio Baiardi, Nicoletta De Francesco, Gigliola Vaglini: Development of a Debugger for a Concurrent Language. IEEE Trans. Software Eng. 12(4): 547-553 (1986) |
| 1985 | ||
| c1 | | Nicoletta De Francesco, Diego Latella, Gigliola Vaglini: An Interactive Debugger for a Concurrent Language. ICSE 1985: 320-329 |
Data released under the ODC-BY 1.0 license — See also our legal information page