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 × Ireland
1 × Spain
1 × United Kingdom
2 × USA
4 × France
4 × Germany
Collaborated with:
∅ A.Coen-Porisini S.Crespi-Reghizzi M.Pradella C.Ghezzi R.A.Kemmerer M.Rossi A.Morzenti F.Panella A.Barenghi P.Z.Kolano V.Lonati C.A.Furia F.Garzotto E.Viviani
Talks about:
system (6) time (6) real (6) specif (4) parallel (3) preced (3) orient (3) object (3) formal (3) proof (3)

Person: Dino Mandrioli

DBLP DBLP: Mandrioli:Dino

Facilitated 1 volumes:

FME 2003Ed

Contributed to:

CC 20142014
DLT 20132013
SLE 20122012
LATA 20102010
FASE 20052005
ICSE 20052005
FASE 20002000
ICSE 20002000
ESEC 19951995
ESEC 19931993
TOOLS Europe 19931993
TOOLS USA 19921992
ESEC 19871987

Wrote 14 papers:

CC-2014-BarenghiCMPP #generative
The PAPAGENO Parallel-Parser Generator (AB, SCR, DM, FP, MP), pp. 192–196.
DLT-2013-PanellaPLM #precedence
Operator Precedence ω-Languages (FP, MP, VL, DM), pp. 396–408.
SLE-2012-BarenghiVCMP #generative #named #parallel #parsing #precedence
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars (AB, EV, SCR, DM, MP), pp. 264–274.
LATA-2010-Crespi-ReghizziM #automaton #precedence
Operator Precedence and the Visibly Pushdown Property (SCR, DM), pp. 214–226.
FASE-2005-FuriaRMM #automation #composition #proving #realtime
Automated Compositional Proofs for Real-Time Systems (CAF, MR, DM, AM), pp. 326–340.
ICSE-2005-GhezziM #challenge #education #re-engineering
The challenges of software engineering education (CG, DM), pp. 637–638.
FASE-2000-KolanoKM #parallel #realtime #refinement
Parallel Refinement Mechanisms for Real-Time Systems (PZK, RAK, DM), pp. 35–50.
ICSE-2000-PradellaRMC #approach #corba #design #formal method
A formal approach for designing CORBA based applications (MP, MR, DM, ACP), pp. 188–197.
ESEC-1995-Coen-PorisiniKM #framework #proving
A Formal Framework for ASTRAL Inter-level Proof Obligations (ACP, RAK, DM), pp. 90–108.
ESEC-1993-Coen-PorisiniM #framework #proving
A Formal Framework for ASTRAL Intra-Level Proof Obligations (ACP, DM), pp. 483–500.
TOOLS-EUROPE-1993-Mandrioli #object-oriented #realtime #specification
The Object-Oriented Specification of Real-Time Systems (DM), p. 347.
TOOLS-USA-1992-Mandrioli #object-oriented #realtime #specification
The Object-Oriented Specification of Real-Time Systems (DM), p. 275.
TOOLS-USA-1992-Mandrioli92a #approach #logic #object-oriented #realtime #specification
Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach (DM), p. 277.
ESEC-1987-GarzottoGMM #logic programming #on the #realtime #specification #using
On the Specification of Real-Time Systems Using Logic Programming (FG, CG, DM, AM), pp. 180–190.
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.