Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:E.Vicario L.Grassi G.Lipari A.Pinzuti
Talks about:preemptiv (1) hierarch (1) approach (1) schedul (1) exploit (1) theori (1) tailor (1) system (1) formal (1) design (1)
Person: Laura Carnevali
DBLP: Carnevali:Laura
Contributed to:
20112008Wrote 2 papers:
- AdaEurope-2011-CarnevaliLPV #approach #design #formal method #scheduling #verification
- A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems (LC, GL, AP, EV), pp. 118–131.
- AdaEurope-2008-CarnevaliGV #formal method #petri net
- A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets (LC, LG, EV), pp. 87–100.