Cristina Marconcini

15 papers B 2Misc 1Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2013 J jnl
On the integration of model-driven design and dynamic assertion-based verification for embedded software.
J. Syst. Softw.
Giuseppe Di Guglielmo, Luigi Di Guglielmo, Andreas Foltinek, Masahiro Fujita, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2011 — conf
Model-driven design and validation of embedded software.
AST@ICSE
Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, Andreas Foltinek
2008 — conf
An optimized CLP-based technique for generating propagation sequences.
EWDTS
Franco Fummi, Valerio Guarnieri, Cristina Marconcini, Graziano Pravadelli
2007 — conf
A CLP-Based Functional ATPG for Extended FSMs.
MTV
Franco Fummi, Cristina Marconcini, Graziano Pravadelli, Ian G. Harris
2007 J jnl
Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM.
IET Comput. Digit. Tech.
Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2006 — conf
EFSM Manipulation to Increase High-Level ATPG Effectiveness.
ISQED
Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2006 B conf
FATE: a Functional ATPG to Traverse Unstabilized EFSMs.
ETS
Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2006 Misc conf
Improving Gate-Level ATPG by Traversing Concurrent EFSMs.
VTS
Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2005 — conf
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing.
MTV
Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2005 — conf
An EFSM-based approach for functional ATPG.
ACM Great Lakes Symposium on VLSI
Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2005 J jnl
Logic-level mapping of high-level faults.
Integr.
Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2004 — conf
A Verification Methodology for Reconfigurable Systems.
MTV
Michele Borgatti, Andrea Fedeli, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2004 B conf
Functional fault coverage: the chamber of secrets or an accurate estimation of gate-level coverage?
ETS
Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2004 — conf
Functional verification based on the EFSM model.
HLDVT
Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2003 — conf
Redundant functional faults reduction by saboteurs synthesis [logic verification].
HLDVT
Franco Fummi, Cristina Marconcini, Graziano Pravadelli