BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Santone:Antonella

Contributed to:

LDTA 20042004
SEKE 20022002
World Congress on Formal Methods 19991999
PLILP 19961996
ICLP 19951995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.