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 × Uruguay
1 × Vietnam
Collaborated with:
M.A.Martins L.S.Barbosa R.Hennicker A.Knapp J.M.Faria
Talks about:
system (2) hybrid (2) interpret (1) institut (1) approach (1) reactiv (1) specif (1) refin (1) logic (1) event (1)

Person: Alexandre Madeira

DBLP DBLP: Madeira:Alexandre

Contributed to:

SEFM 20112011
SEFM 20092009
FASE 20192019

Wrote 3 papers:

SEFM-2011-MadeiraFMB #approach #hybrid #specification
Hybrid Specification of Reactive Systems: An Institutional Approach (AM, JMF, MAM, LSB), pp. 269–285.
SEFM-2009-MartinsMB #refinement
Refinement via Interpretation (MAM, AM, LSB), pp. 250–259.
FASE-2019-HennickerMK #data-driven #hybrid #logic
A Hybrid Dynamic Logic for Event/Data-Based Systems (RH, AM, AK), pp. 79–97.

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.