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: Cerny:Eduard
Contributed to:
1998
19981997199619941991
19871985Wrote 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.