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 × Australia
1 × France
1 × Germany
1 × USA
Collaborated with:
C.Ghezzi V.A.Braberman A.Morzenti C.Bellettini M.Pezzè
Talks about:
specif (3) verif (3) time (3) real (3) system (2) formal (2) approach (1) schedul (1) histori (1) automat (1)

Person: Miguel Felder

DBLP DBLP: Felder:Miguel

Contributed to:

ESEC/FSE 19991999
ESEC 19931993
ISSTA 19931993
ICSE 19921992

Wrote 4 papers:

ESEC-FSE-1999-BrabermanF #automation #design #realtime #scheduling #verification
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification (VAB, MF), pp. 494–510.
ESEC-1993-GhezziFB #overview #realtime #specification #verification
Real-Time Systems: A Survey of Approaches to Formal Specification and Verification (CG, MF, CB), pp. 11–36.
ISSTA-1993-FelderGP #specification
Analyzing Refinements of State Based Specifications: The Case of TB Nets (MF, CG, MP), pp. 28–39.
ICSE-1992-FelderM #realtime #specification #validation
Validating Real-Time Systems by History-Checking TRIO Specifications (MF, AM), pp. 199–211.

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.