Travelled to:1 × Germany
1 × Italy
1 × Spain
1 × United Kingdom
2 × USA
Collaborated with:G.Bucci L.Carnevali V.Sandrucci L.Grassi S.Berretti A.D.Bimbo R.Mattolini I.Bicchierai C.Nocentini G.Lipari A.Pinzuti A.Rugnone C.D.Nugent M.P.Donnelly D.Craig C.Paggetti E.Tamburini
Talks about:process (2) ontolog (2) system (2) integr (2) formal (2) design (2) petri (2) home (2) base (2) net (2)
Person: Enrico Vicario
DBLP: Vicario:Enrico
Contributed to:
20132011
20102008
2007
2000
1994Wrote 7 papers:
- AdaEurope-2013-BicchieraiBNV #development #functional #integration #ontology #process #safety #using
- Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems (IB, GB, CN, EV), pp. 95–108.
- 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.
- SEKE-2010-BucciSV #enterprise #integration
- Ontology-Driven Enterprise Application Integration (GB, VS, EV), pp. 54–60.
- 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.
- CASE-2007-RugnoneVNDCPT #design #logic #named #visual notation
- HomeTL: A visual formalism, based on temporal logic, for the design of home based care (AR, EV, CDN, MPD, DC, CP, ET), pp. 747–752.
- ICPR-v1-2000-BerrettiBV #retrieval
- The Computational Aspect of Retrieval by Spatial Arrangement (SB, ADB, EV), pp. 5047–5051.
- PDP-1994-BucciMV #communication #migration #petri net #process
- Supporting Process Migration Through Communicating Petri Nets (GB, RM, EV), pp. 486–492.