BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
Collaborated with:
M.Calder
Talks about:
bigraph (2) wireless (1) process (1) network (1) analysi (1) algebra (1) runtim (1) rewrit (1) driven (1) verif (1)

Person: Michele Sevegnani

DBLP DBLP: Sevegnani:Michele

Contributed to:

IFM 20122012
CAV (2) 20162016

Wrote 2 papers:

IFM-2012-CalderS #algebra #case study #network #process #runtime #verification
Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management (MC, MS), pp. 21–23.
CAV-2016-SevegnaniC #analysis #graph #named
BigraphER: Rewriting and Analysis Engine for Bigraphs (MS, MC), pp. 494–501.
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.