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 × 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 DBLP: Vicario:Enrico

Contributed to:

Ada-Europe 20132013
Ada-Europe 20112011
SEKE 20102010
Ada-Europe 20082008
CASE 20072007
ICPR v1 20002000
PDP 19941994

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

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.