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 × Canada
1 × Denmark
2 × USA
3 × France
Collaborated with:
M.Langevin P.Girodias L.Demers Y.Xu X.Song F.Corella M.Kassab S.Aourid T.H.Krodel P.Jacques S.Fauvel C.Roy J.Gecsei O.A.Mohamed K.D.Anon N.Boulerice S.Tahar Z.Zhou
Talks about:
time (3) constraint (2) orient (2) object (2) extend (2) verif (2) logic (2) level (2) tool (2) use (2)

Person: Eduard Cerny

DBLP DBLP: Cerny:Eduard

Contributed to:

CAV 19981998
DATE 19981998
ED&TC 19971997
CAV 19961996
CAV 19911991
DAC 19871987
DAC 19851985

Wrote 8 papers:

CAV-1998-XuCSCM #first-order #graph #logic #model checking #multi #using
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (YX, EC, XS, FC, OAM), pp. 219–231.
DATE-1998-KassabCAK #analysis #constraints
Propagation of Last-Transition-Time Constraints in Gate-Level Timing Analysis (MK, EC, SA, THK), pp. 796–802.
EDTC-1997-GirodiasC #constraints #correlation #interface #logic programming #using #verification
Interface timing verification with delay correlation using constraint logic programming (PG, EC), pp. 12–19.
CAV-1996-AnonBCCLSTXZ #design #tool support #verification
MDG Tools for the Verification of RTL Designs (KDA, NB, EC, FC, ML, XS, ST, YX, ZZ), pp. 433–436.
EDAC-1994-LangevinC #representation
An Extended OBDD Representation for Extended FSMs (ML, EC), pp. 208–213.
CAV-1991-LangevinC #state machine
Comparing Generic State Machines (ML, EC), pp. 466–476.
DAC-1987-DemersJFC #integration #named #object-oriented #tool support
CHESHIRE: An Object-Oriented Integration of VLSI CAD Tools (LPD, PJ, SF, EC), pp. 750–756.
DAC-1985-RoyDCG #object-oriented
An object-oriented swicth-level simulator (CR, LPD, EC, JG), pp. 623–629.

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.