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 × 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 DBLP: Vaglini:Gigliola

Contributed to:

LDTA 20042004
SEKE 20022002
World Congress on Formal Methods 19991999
ICSE 19851985

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

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.