Archivio Istituzionale della RicercaMURCIANO, MARCO
MURCIANO, MARCO
Dipartimento di Automatica Informatica (attivo dal 01/01/1900 al 31/12/2011)
017081
Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications
2010 Cabodi, Gianpiero; Murciano, Marco; Violante, Massimo
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT
2010 Cabodi, Gianpiero; Dipietro, L; Murciano, Marco; Nocco, S.
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking
2010 Cabodi, Gianpiero; Garcia, L; Murciano, Marco; Nocco, S; Quer, Stefano
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques
2010 Cabodi, Gianpiero; Lavagno, Luciano; Murciano, Marco; Kondratyev, A; Watanabe, Y.
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal
2008 Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano
Low Cost Indoor Navigation System For Autonomous Vehicle
2008 Chiesa, S; DE IACOVO, V; Malnati, Giovanni; Murciano, Marco; Plucinski, K. M.; Stesina, F; Zunino, C.
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications / Cabodi, Gianpiero; Murciano, Marco; Violante, Massimo. - In: ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS. - ISSN 1539-9087. - 10:2(2010), pp. 24:1-24:32. [10.1145/1880050.1880060] | 1-gen-2010 | CABODI, GianpieroMURCIANO, MARCOVIOLANTE, MASSIMO | - |
| Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT / Cabodi, Gianpiero; Dipietro, L; Murciano, Marco; Nocco, S.. - In: JOURNAL OF ELECTRONIC TESTING. - ISSN 0923-8174. - 26:(2010), pp. 261-278. [10.1007/s10836-010-5144-0] | 1-gen-2010 | CABODI, GianpieroMURCIANO, MARCO + | - |
| Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking / Cabodi, Gianpiero; Garcia, L; Murciano, Marco; Nocco, S; Quer, Stefano. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - STAMPA. - 29:(2010), pp. 382-395. [10.1109/TCAD.2010.2041847] | 1-gen-2010 | CABODI, GianpieroMURCIANO, MARCOQUER, Stefano + | riv10-01.pdf |
| Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques / Cabodi, Gianpiero; Lavagno, Luciano; Murciano, Marco; Kondratyev, A; Watanabe, Y.. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 15:2(2010), pp. 12:1-12:34. [10.1145/1698759.1698762] | 1-gen-2010 | CABODI, GianpieroLAVAGNO, LucianoMURCIANO, MARCO + | - |
| Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal / Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 13:1(2008). [10.1145/1297666.1297669] | 1-gen-2008 | CABODI, GianpieroMURCIANO, MARCONOCCO, SERGIOQUER, Stefano | - |
| Low Cost Indoor Navigation System For Autonomous Vehicle / Chiesa, S; DE IACOVO, V; Malnati, Giovanni; Murciano, Marco; Plucinski, K. M.; Stesina, F; Zunino, C.. - In: INTERNATIONAL JOURNAL OF MECHANICS AND CONTROL. - ISSN 1590-8844. - 9, Issue 1, Article 1:(2008), pp. 3-16. | 1-gen-2008 | MALNATI, GIOVANNIMURCIANO, MARCOSTESINA F + | - |