Travelled to:1 × France
1 × Italy
1 × United Kingdom
Collaborated with:A.Santone N.D.Francesco D.Latella S.Gradara M.L.Villani R.Barbuti
Talks about:model (4) check (3) multithread (1) interact (1) abstract (1) transit (1) program (1) languag (1) formula (1) concurr (1)
Person: Gigliola Vaglini
DBLP: Vaglini:Gigliola
Contributed to:
2004
2002
1999
1985Wrote 4 papers:
- LDTA-2004-GradaraSVV #model checking #modelling #parallel #source code #thread
- Model Checking Multithreaded Programs by Means of Reduced Models (SG, AS, MLV, GV), pp. 55–74.
- SEKE-2002-SantoneV #bytecode #java #model checking
- Local model checking of Java bytecode (AS, GV), pp. 383–389.
- FM-v1-1999-BarbutiFSV #abstraction #model checking #realtime
- Formula Based Abstractions of Transition Systems for Real-Time Model Checking (RB, NDF, AS, GV), pp. 289–306.
- ICSE-1985-FrancescoLV #concurrent #debugging #interactive
- An Interactive Debugger for a Concurrent Language (NDF, DL, GV), pp. 320–329.