Travelled to:1 × France
1 × Germany
1 × Italy
1 × Japan
Collaborated with:N.D.Francesco G.Vaglini R.Barbuti S.Gradara M.L.Villani
Talks about:model (5) check (3) multithread (1) transform (1) parallel (1) abstract (1) transit (1) program (1) process (1) formula (1)
Person: Antonella Santone
DBLP: Santone:Antonella
Contributed to:
2004
2002
1999
1996
1995Wrote 5 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.
- PLILP-1996-FrancescoS #concurrent #process
- Unfold/Fold Transformations of Concurrent Processes (NDF, AS), pp. 167–181.
- ICLP-1995-BarbutiFS #execution #modelling #prolog #using
- Modeling OR-Parallel Execution of Prolog using CHOCS (RB, NDF, AS), pp. 547–561.