|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 22 occurrences of 21 keywords
|
|
|
|
|
Results
Found 35 publication records. Showing 35 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianpiero Francesca, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani |
Ant Colony Optimization for Deadlock Detection in Concurrent Systems. |
COMPSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Gigliola Vaglini |
Partial model checking via abstract interpretation. |
Inf. Process. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Lori, Giovanni Stea, Gigliola Vaglini |
Towards Resource-Optimal Routing Plans for Real-Time Traffic. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonella Santone, Gigliola Vaglini, Maria Luisa Villani |
A Formula Driven Incremental Construction of Web Service Compositions. |
ICSOFT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Paola Cappanera, Luciano Lenzini, Alessandro Lori, Giovanni Stea, Gigliola Vaglini |
Link scheduling with end-to-end delay constraints in Wireless Mesh Networks. |
WOWMOM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani |
Modular formal verification of specifications of concurrent systems. |
Softw. Test., Verif. Reliab. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
A user-friendly interface to specify temporal properties of concurrent systems. |
Inf. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonella Santone, Gigliola Vaglini |
Compositionality and locality for improving model checking in the selective mu-calculus. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonella Santone, Gigliola Vaglini |
A local approach for temporal model checking of Java bytecode. |
J. Comput. Syst. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
Reduced Models for Efficient CCS Verification. |
Formal Methods in System Design |
2005 |
DBLP DOI BibTeX RDF |
model checking, CCS, state explosion problem |
| 1 | Antonella Santone, Gigliola Vaglini |
Formula-based abstractions and symbolic execution for model checking programs. |
Microprocessors and Microsystems |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini |
Model Checking Multithreaded Programs by Means of Reduced Models. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonella Santone, Gigliola Vaglini |
Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. |
J. Autom. Reasoning |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonella Santone, Gigliola Vaglini |
A Tableau-Based Procedure for Model Checking Programs. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonella Santone, Gigliola Vaglini |
Local model checking of Java bytecode. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, software systems, tableau system |
| 1 | Antonella Santone, Gigliola Vaglini |
Reusing LOTOS specifications. |
Microprocessors and Microsystems |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini |
An approach to system design based on P/T net simulation. |
Information & Software Technology |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
Logic Based Abstractions of Real-Time Systems. |
Formal Methods in System Design |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
Abstract Interpretation of Trace Semantics for Concurrent Calculi. |
Inf. Process. Lett. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. |
Softw., Pract. Exper. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems. |
J. Comput. Syst. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
State Space Reduction by Non-Standard Semantics for Deadlock Analysis. |
Sci. Comput. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
A Non-Standard Semantics for Generating Reduced Transition Systems. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini |
A Petri Nets Semantics for Data Flow Networks. |
Acta Inf. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Gigliola Vaglini |
Concurrent Behavior: A Construct to Specify the External Behavior of Objects in Object Databases. |
Distributed and Parallel Databases |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Gigliola Vaglini, Luigi V. Mancini, A. Pereira Paz |
Specification of Concurrency Control in Persistent Programming Languages. |
POS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini |
Shared Abstract Data Types: An Algebraic Methodology for Their Specification. |
MFDBS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Gigliola Vaglini |
Description of a Tool for Specifying and Prototyping Concurrent Programs. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
executable concurrent programs, static semantics checks, scheduling, parallel programming, parallel programming, prototyping, debugging, software tools, programming environments, programming environments, specification language, specification languages, distributed applications, translation, automatic programming, automatic programming, functional language, program interpreters, concurrent language, interactive tools, dynamic testing |
| 1 | Fabrizio Baiardi, Nicoletta De Francesco, Gigliola Vaglini |
Development of a Debugger for a Concurrent Language. |
IEEE Trans. Software Eng. |
1986 |
DBLP BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Diego Latella, Gigliola Vaglini |
An Interactive Debugger for a Concurrent Language. |
ICSE |
1985 |
DBLP BibTeX RDF |
|
Displaying result #1 - #35 of 35 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")