Cristina Marconcini

Publication Activity (10 Years)

Years Active: 2003-2013
Publications (10 Years): 0

Top Topics

Platform Independent

Embedded Software

Top Venues

J. Syst. Softw.

Publications

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