- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j26 |      | Dario Bonino, Fulvio Corno: DoMAIns: Domain-based modeling for Ambient Intelligence. Pervasive and Mobile Computing 8(4): 614-628 (2012) |
| j25 | | Dario Bonino, Fulvio Corno, Luigi De Russis: dWatch: A Personal Wrist Watch for Smart Environments. Procedia CS 10: 300-307 (2012) |
| j24 | | Dario Bonino, Fulvio Corno: spChains: A Declarative Framework for Data Stream Processing in Pervasive Applications. Procedia CS 10: 316-323 (2012) |
| j23 | | Fulvio Corno, Faisal Razzak: Publishing LO(D)D: Linked Open (Dynamic) Data for Smart Sensing and Measuring Environments. Procedia CS 10: 381-388 (2012) |
| j22 | | Fulvio Corno, Faisal Razzak: Intelligent Energy Optimization for User Intelligible Goals in Smart Home Environments. IEEE Trans. Smart Grid 3(4): 2128-2135 (2012) |
| 2011 | ||
| j21 | | Dario Bonino, Emiliano Castellina, Fulvio Corno, Luigi De Russis: DOGeye: Controlling your home with eye interaction. Interacting with Computers 23(5): 484-498 (2011) |
| j20 | | Dario Bonino, Fulvio Corno: What would you ask to your home if it were intelligent? Exploring user expectations about next-generation homes. JAISE 3(2): 111-126 (2011) |
| c114 | | Fulvio Corno, Muhammad Sanaullah: Formal Verification of Device State Chart Models. Intelligent Environments 2011: 66-73 |
| c113 | | Fulvio Corno, Muhammad Sanaullah: Design Time Methodology for the Formal Verification of Intelligent Domotic Environments. ISAmI 2011: 9-16 |
| c112 | | Dario Bonino, Fulvio Corno, Luigi De Russis: A User-Friendly Interface for Rules Composition in Intelligent Environments. ISAmI 2011: 213-217 |
| 2010 | ||
| c111 | | Dario Bonino, Fulvio Corno: DogSim: A state chart simulator for Domotic Environments. PerCom Workshops 2010: 208-213 |
| c110 | | Faisal Razzak, Dario Bonino, Fulvio Corno: Mobile interaction with smart environments through linked data. SMC 2010: 2922-2929 |
| 2009 | ||
| j19 | | Dario Bonino, Emiliano Castellina, Fulvio Corno: Automatic domotic device interoperation. IEEE Trans. Consumer Electronics 55(2): 499-506 (2009) |
| j18 | | Mick Donegan, Jeffrey D. Morris, Fulvio Corno, Isabella Signorile, Adriano Chiò, Valentina Pasian, Alessandro Vignola, Margret Buchholz, Eva Holmqvist: Understanding users and their needs. Universal Access in the Information Society 8(4): 259-275 (2009) |
| j17 | | Dario Bonino, Emiliano Castellina, Fulvio Corno, Alastair G. Gale, A. Garbo, Kevin J. Purdy, Fangmin Shi: A blueprint for integrated eye-controlled environments. Universal Access in the Information Society 8(4): 311-321 (2009) |
| c109 | | Dario Bonino, Fulvio Corno: Interoperation Modeling for Intelligent Domotic Environments. AmI 2009: 143-152 |
| c108 | | Dario Bonino, Fulvio Corno, Laura Farinetti: FaSet: A Set Theory Model for Faceted Search. Web Intelligence 2009: 474-481 |
| 2008 | ||
| j16 | | Dario Bonino, Emiliano Castellina, Fulvio Corno: The DOG gateway: enabling ontology-based intelligent domotic environments. IEEE Trans. Consumer Electronics 54(4): 1656-1664 (2008) |
| c107 | | Dario Bonino, Fulvio Corno: Self-Similarity Metric for Index Pruning in Conceptual Vector Space Models. DEXA Workshops 2008: 225-229 |
| c106 | | Emiliano Castellina, Fulvio Corno, Paolo Pellegrino: Integrated speech and gaze control for realistic desktop environments. ETRA 2008: 79-82 |
| c105 | | Andrea Calvo, Adriano Chiò, Emiliano Castellina, Fulvio Corno, Laura Farinetti, Paolo Ghiglione, Valentina Pasian, Alessandro Vignola: Eye Tracking Impact on Quality-of-Life of ALS Patients. ICCHP 2008: 70-77 |
| c104 | | Dario Bonino, Emiliano Castellina, Fulvio Corno: DOG: An Ontology-Powered OSGi Domotic Gateway. ICTAI (1) 2008: 157-160 |
| c103 | | Dario Bonino, Fulvio Corno: DogOnt - Ontology Modeling for Intelligent Domotic Environments. International Semantic Web Conference 2008: 790-803 |
| c102 | | Dario Bonino, Emiliano Castellina, Fulvio Corno: Uniform Access to Domotic Environments through Semantics. SWAP 2008 |
| 2007 | ||
| c101 | | Dario Bonino, Fulvio Corno, Paolo Pellegrino: Versatile RDF Representation for Multimedia Semantic Search. ICTAI (2) 2007: 32-38 |
| c100 | | Alessio Bosca, Dario Bonino, Marco Comerio, Simone Grega, Fulvio Corno: A reusable 3D visualization component for the semantic web. Web3D 2007: 89-96 |
| 2006 | ||
| j15 | | Alessio Bosca, Fulvio Corno, Giuseppe Valetto, Roberta Maglione: On-the-fly Construction of Web Services Compositions from Natural Language Requests. JSW 1(1): 40-50 (2006) |
| c99 | | |
| c98 | | Paolo Pellegrino, Fulvio Corno: An Extensible Platform for Semantic Classification And Retrieval of Multimedia Resources. SWAP 2006 |
| 2005 | ||
| j14 | | Fulvio Corno, Ernesto Sánchez, Giovanni Squillero: Evolving assembly programs: how games help microprocessor validation. IEEE Trans. Evolutionary Computation 9(6): 695-706 (2005) |
| c97 | | Alessio Bosca, Giuseppe Valetto, Roberta Maglione, Fulvio Corno: Specifying Web Service Compositions on the Basis of Natural Language Requests. ICSOC 2005: 588-593 |
| c96 | | Alessio Bosca, Andrea Ferrato, Fulvio Corno, Ilenia Congiu, Giuseppe Valetto: Composing Web Services on the Basis of Natural Language Requests. ICWS 2005: 817-818 |
| c95 | | Dario Bonino, Fulvio Corno, Federico Pescarmona: Automatic learning of text-to-concept mappings exploiting WordNet-like lexical networks. SAC 2005: 1639-1644 |
| 2004 | ||
| j13 | | Fulvio Corno, Ernesto Sánchez, Matteo Sonza Reorda, Giovanni Squillero: Automatic Test Program Generation: A Case Study. IEEE Design & Test of Computers 21(2): 102-109 (2004) |
| j12 | | Davide Appello, Alessandra Fudoli, Vincenzo Tancorre, Paolo Bernardi, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda: A BIST-based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques. J. Electronic Testing 20(1): 79-87 (2004) |
| j11 | | Fulvio Corno, Ernesto Sánchez, Matteo Sonza Reorda, Giovanni Squillero: Code Generation for Functional Validation of Pipelined Microprocessors. J. Electronic Testing 20(3): 269-278 (2004) |
| j10 | | Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Evolutionary Simulation-Based Validation. International Journal on Artificial Intelligence Tools 13(4): 897-916 (2004) |
| c94 | | Fulvio Corno, Julio Pérez Acle, Mattia Ramasso, Matteo Sonza Reorda, Massimo Violante: Validation of the dependability of CAN-based networked systems. HLDVT 2004: 161-164 |
| c93 | | Dario Bonino, Alessio Bosca, Fulvio Corno: An Agent Based Autonomic Semantic Platform. ICAC 2004: 189-196 |
| c92 | | Dario Bonino, Fulvio Corno, Laura Farinetti: Domain Specific Searches Using Conceptual Spectra. ICTAI 2004: 680-687 |
| c91 |  | Fulvio Corno, Tina Ebey, Anna Grabowska, Iliana Nikolova, Evgenia Sendova: Impact of Technology on Learning Paradigms and Teaching Practices. EDUTECH 2004: 199-200 |
| c90 | | |
| c89 | | Fulvio Corno, Matteo Sonza Reorda, Simonluca Tosato, F. Esposito: Evaluating the Effects of Transient Faults on Vehicle Dynamic Performance in Automotive Systems. ITC 2004: 1332-1339 |
| c88 | | Dario Bonino, Fulvio Corno, Laura Farinetti, Andrea Ferrato: Multilingual semantic elaboration in the DOSE platform. SAC 2004: 1642-1646 |
| c87 | | Fulvio Corno, Julio Pérez Acle, Matteo Sonza Reorda, Massimo Violante: A multi-level approach to the dependability analysis of networked systems based on the CAN protocol. SBCCI 2004: 71-75 |
| 2003 | ||
| c86 | | Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero: Fully Automatic Test Program Generation for Microprocessor Cores. DATE 2003: 11006-11011 |
| c85 | | Fulvio Corno, Simonluca Tosato, Paolo Gabrielli: System-Level Analysis of Fault Effects in an Automotive Environment. DFT 2003: 529-536 |
| c84 | | Fulvio Corno, Giovanni Squillero: An Enhanced Framework for Microprocessor Test-Program Generation. EuroGP 2003: 307-316 |
| c83 | | Fulvio Corno, Paolo Gabrielli, Simonluca Tosato: Relating vehicle-level and network-level reliability through high-level fault injection. HLDVT 2003: 71-76 |
| c82 | | Fulvio Corno, F. Cumani, Giovanni Squillero: Exploiting Auto-adaptive 7GP for Highly Effective Test Programs Generation. ICES 2003: 262-273 |
| c81 | | Dario Bonino, Fulvio Corno, Laura Farinetti: DOSE: A Distributed Open Semantic Elaboration Platform. ICTAI 2003: 580-588 |
| c80 | | Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero: Automatic Test Program Generation for Pipeline Processors. SAC 2003: 736-740 |
| c79 | | Dario Bonino, Fulvio Corno, Giovanni Squillero: A Real-Time Evolutionary Algorithm for Web Prediction. Web Intelligence 2003: 139-145 |
| c78 | | Dario Bonino, Fulvio Corno, Giovanni Squillero: An Evolutionary Approach to Web Request Prediction. WWW (Posters) 2003 |
| 2002 | ||
| j9 | | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Giovanni Squillero: Initializability analysis of synchronous sequential circuits. ACM Trans. Design Autom. Electr. Syst. 7(2): 249-264 (2002) |
| c77 | | Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero: Evolutionary Test Program Induction for Microprocessor Design Verification. Asian Test Symposium 2002: 368-373 |
| c76 | | Luis Berrojo, Isabel González, Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Luis Entrena, Celia López: New Techniques for Speeding-Up Fault-Injection Campaigns. DATE 2002: 847-852 |
| c75 | | Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Evolutionary Techniques for Minimizing Test Signals Application Time. EvoWorkshops 2002: 183-189 |
| c74 | | Florin Bota, Fulvio Corno, Laura Farinetti: Hypervideo: A Parameterized Hotspot Approach. ICWI 2002: 620-623 |
| c73 | | Fulvio Corno, Laura Farinetti, Isabella Signorile: A cost-effective solution for eye-gaze assistive technology. ICME (2) 2002: 433-436 |
| c72 | | Luis Berrojo, Isabel González, Luis Entrena, Celia López, Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Analysis of the Equivalences and Dominances of Transient Faults at the RT Level. IOLTW 2002: 193 |
| c71 | | Davide Appello, Alessandra Fudoli, Vincenzo Tancorre, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda: A BIST-Based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques. IOLTW 2002: 206-210 |
| c70 | | Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero: Automatic Test Program Generation from RT-Level Microprocessor Descriptions. ISQED 2002: 120- |
| c69 | | Davide Appello, Alessandra Fudoli, Vincenzo Tancorre, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda: A BIST-Based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques. MTDT 2002: 12-16 |
| c68 | | Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: An evolutionary algorithm for reducing integrated-circuit test application time. SAC 2002: 608-612 |
| c67 | | Luis Berrojo, Isabel González, Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Luis Entrena, Celia López: An Industrial Environment for High-Level Fault-Tolerant Structures Insertion and Validation. VTS 2002: 229-236 |
| 2001 | ||
| c66 | | Davide Appello, Fulvio Corno, M. Giovinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: A P1500 Compliant BIST-Based Approach to Embedded RAM Diagnosis. Asian Test Symposium 2001: 97-102 |
| c65 | | Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero: Effective Techniques for High-Level ATPG. Asian Test Symposium 2001: 225- |
| c64 | | Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Massimo Violante: On the test of microprocessor IP cores. DATE 2001: 209-213 |
| c63 | | Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero: ARPIA: A High-Level Evolutionary Test Signal Generator. EvoWorkshops 2001: 298-306 |
| c62 | | Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Evolving effective CA/CSTP: BIST architectures for sequential circuits. SAC 2001: 345-350 |
| c61 | | |
| 2000 | ||
| j8 | | Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: RT-Level ITC'99 Benchmarks and First ATPG Results. IEEE Design & Test of Computers 17(3): 44-53 (2000) |
| c60 | | Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Alberto Manzone, Alessandro Pincetti: Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience. DATE 2000: 385-389 |
| c59 | | Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Automatic Validation of Protocol Interfaces Described in VHDL. EvoWorkshops 2000: 205-213 |
| c58 | | Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: Prediction of Power Requirements for High-Speed Circuits. EvoWorkshops 2000: 247-254 |
| c57 | | Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero: An RT-level fault model with high gate level correlation. HLDVT 2000: 3-8 |
| c56 | | Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Evolving Cellular Automata for Self-Testing Hardware. ICES 2000: 31-40 |
| c55 | | Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Massimo Violante: A genetic algorithm-based system for generating test programs for microprocessor IP cores. ICTAI 2000: 195-198 |
| c54 | | Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Exploiting the Selfish Gene Algorithm for Evolving Cellular Automata. IJCNN (6) 2000: 577-584 |
| c53 | | Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Giovanni Squillero, Massimo Violante: Low Power BIST via Non-Linear Hybrid Cellular Automata. VTS 2000: 29-34 |
| c52 | | Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: High-Level Observability for Effective High-Level ATPG. VTS 2000: 411-416 |
| c51 | | Florin Bota, Fulvio Corno, Laura Farinetti: Enhancing Interactivity for Self-Evaluation in XML-based Courseware. WebNet 2000: 50-55 |
| c50 | | Fulvio Corno, Laura Farinetti, Giovanni Squillero: An Intelligent User Interface oriented to non-expert users. WebNet 2000: 675-676 |
| 1999 | ||
| j7 | | Silvia Chiusano, Fulvio Corno, Paolo Prinetto: Exploiting Behavioral Information in Gate-Level ATPG. J. Electronic Testing 14(1-2): 141-148 (1999) |
| j6 | | Fulvio Corno, Uwe Gläser, Paolo Prinetto, Matteo Sonza Reorda, Heinrich Theodor Vierhaus, Massimo Violante: SymFony: a hybrid topological-symbolic ATPG exploiting RT-level information. IEEE Trans. on CAD of Integrated Circuits and Systems 18(2): 191-202 (1999) |
| c49 | | Enrique San Millán, Luis Entrena, José Alberto Espejo, Silvia Chiusano, Fulvio Corno: Integrating Symbolic Techniques in ATPG-Based Sequential Logic Optimization. DATE 1999: 516-520 |
| c48 | | Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Approximate Equivalence Verification of Sequential Circuits via Genetic Algorithms. DATE 1999: 754-755 |
| c47 | | Fulvio Corno, Matteo Sonza Reorda, Maurizio Rebaudengo, Massimo Violante: Optimal Vector Selection for Low Power BIST. DFT 1999: 219-226 |
| c46 | | Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: Test Pattern Generation Under Low Power Constraints. EvoWorkshops 1999: 162-170 |
| c45 | | Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms. EvoWorkshops 1999: 182-192 |
| c44 | | Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: ALPS: A Peak Power Estimation Tool for Sequential Circuits. Great Lakes Symposium on VLSI 1999: 350-353 |
| c43 | | Silvia Chiusano, Fulvio Corno, Paolo Prinetto: RT-level TPG Exploiting High-Level Synthesis Information. VTS 1999: 341-353 |
| 1998 | ||
| j5 | | Stefano Barbagallo, Davide Medina, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Integrating Online and Offline Testing of a Switching Memory. IEEE Design & Test of Computers 15(1): 63-70 (1998) |
| j4 | | Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: The General Product Machine: a New Model for Symbolic FSM Traversal. Formal Methods in System Design 12(3): 267-289 (1998) |
| c42 | | Silvia Chiusano, Fulvio Corno, Paolo Prinetto: A Test Pattern Generation Algorithm Exploiting Behavioral Information. Asian Test Symposium 1998: 480-485 |
| c41 | | Elizabeth M. Rudnick, Roberto Vietti, Akilah Ellis, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Fast Sequential Circuit Test Generation Using High-Level and Gate-Level Techniques. DATE 1998: 570-576 |
| c40 | | Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda, Massimo Violante: Exploiting Symbolic Techniques for Partial Scan Flip Flop Selection. DATE 1998: 670-677 |
| c39 | | Silvia Chiusano, Fulvio Corno, Matteo Sonza Reorda, Roberto Vietti: A System for Evaluating On-Line Testability at the RT-level. DFT 1998: 284-291 |
| c38 | | Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: VEGA: a verification tool based on genetic algorithms. ICCD 1998: 321-326 |
| c37 | | Fulvio Corno, Janak H. Patel, Elizabeth M. Rudnick, Matteo Sonza Reorda, Roberto Vietti: Enhancing topological ATPG with high-level information and symbolic techniques. ICCD 1998: 504-509 |
| c36 | | Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: The selfish gene algorithm: a new evolutionary optimization strategy. SAC 1998: 349-355 |
| c35 | | Fulvio Corno, Nicola Gaudenzi, Paolo Prinetto, Matteo Sonza Reorda: On the Identification of Optimal Cellular Automata for Built-In Self-Test of Sequential Circuits. VTS 1998: 424-429 |
| c34 | | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: A Test Pattern Generation Methodology for Low-Power Consumption. VTS 1998: 453-459 |
| 1997 | ||
| c33 | | Silvia Chiusano, Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: Guaranteeing Testability in Re-encoding for Low Power. Asian Test Symposium 1997: 30-35 |
| c32 | | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Giovanni Squillero: A Genetic Algorithm for the Computation of Initialization Sequences for Synchronous Sequential Circuits. Asian Test Symposium 1997: 56-61 |
| c31 | | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: Exploiting Logic Simulation to Improve Simulation-based Sequential ATPG. Asian Test Symposium 1997: 68-73 |
| c30 | | Mario Baldi, Fulvio Corno, Maurizio Rebaudengo, Paolo Prinetto, Matteo Sonza Reorda, Giovanni Squillero: Simulation-based verification of network protocols performance. CHARME 1997: 236-251 |
| c29 | | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: New static compaction techniques of test sequences for sequential circuits. ED&TC 1997: 37-43 |
| c28 | | Silvia Chiusano, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Hybrid symbolic-explicit techniques for the graph coloring problem. ED&TC 1997: 422-426 |
| c27 | | F. Bianchi, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Roberto Ansaloni: Boolean Function Manipulation on a Parallel System Using BDDs. HPCN Europe 1997: 916-928 |
| c26 | | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Giovanni Squillero: A new Approach for Initialization Sequences Computation for Synchronous Sequential Circuits. ICCD 1997: 381-386 |
| c25 | | Mario Baldi, Fulvio Corno, Maurizio Rebaudengo, Giovanni Squillero: GA-Based Performance Analysis of Network Protocols. ICTAI 1997: 118-124 |
| c24 | | S. Chuisano, Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: Exploiting Symbolic Techniques within Genetic Algorithms for Power Optimization. ICTAI 1997: 133- |
| c23 | | Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Testability Analysis and ATPG on Behavioral RT-Level VHDL. ITC 1997: 753-759 |
| c22 | | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: SAARA: a simulated annealing algorithm for test pattern generation for digital circuits. SAC 1997: 228-232 |
| c21 | | Silvia Chiusano, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Cellular automata for deterministic sequential test pattern generation. VTS 1997: 60-67 |
| 1996 | ||
| j3 | | Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Circular Self-Test Path for FSMs. IEEE Design & Test of Computers 13(4): 50-60 (1996) |
| j2 | | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: GATTO: a genetic algorithm for automatic test pattern generation for large synchronous sequential circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 15(8): 991-1000 (1996) |
| c20 | | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Maurizio Damiani, Leonardo Impagliazzo, G. Sartore: On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications. EDCC 1996: 190-202 |
| c19 | | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: A Parallel Genetic Algorithm for Automatic Generation of Test Sequences for Digital Circuits. HPCN Europe 1996: 454-459 |
| c18 | | Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: A Genetic Algorithm for Automatic Generation of Test Logic for Digital Circuits. ICTAI 1996: 10-16 |
| c17 | | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: Comparing Topological, Symbolic and GA-based ATPGs: An Experimental Approach. ITC 1996: 39-47 |
| c16 | | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: Partial Scan Flip Flop Selection for Simulation-Based Sequential ATPGs. ITC 1996: 558-564 |
| c15 | | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda: Exploiting Competing Subpopulations for Automatic Generation of Test Sequences for Digital Cicuits. PPSN 1996: 792-800 |
| c14 | | Stefano Barbagallo, Monica Lobetti Bodoni, Davide Medina, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Scan insertion criteria for low design impact. VTS 1996: 26-31 |
| 1995 | ||
| c13 | | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Enzo Veiluva: A PVM tool for automatic test generation on parallel and distributed systems. HPCN Europe 1995: 39-44 |
| c12 | | Stefano Barbagallo, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Testing a Switching Memory in a Telcommunication System. ITC 1995: 947-956 |
| c11 | | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Enzo Veiluva: A portable ATPG tool for parallel and distributed systems. VTS 1995: 29-34 |
| c10 | | Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda, Uwe Gläser, Heinrich Theodor Vierhaus: Improving topological ATPG with symbolic techniques. VTS 1995: 338-343 |
| 1994 | ||
| c9 | | Paolo Prinetto, Fulvio Corno, Matteo Sonza Reorda: An experimental analysis of the effectiveness of the circular self-test path technique. EURO-DAC 1994: 246-251 |
| c8 | | Catherine Bayol, Bernard Soulas, Dominique Borrione, Fulvio Corno, Paolo Prinetto: A process algebra interpretation of a verification oriented overlanguage of VHDL. EURO-DAC 1994: 506-511 |
| c7 | | Paolo Camurati, Fulvio Corno, Paolo Prinetto, Catherine Bayol, Bernard Soulas: System-Level Modeling and Verification: a Comprehensive Design Methodology. EDAC-ETC-EUROASIC 1994: 636-640 |
| c6 | | Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Making the Circular Self-Test Path Technique Effective for Real Circuits. ITC 1994: 949-957 |
| c5 | | Paolo Camurati, Fulvio Corno, Michela Meo, Paolo Prinetto: A new functional fault model for system-level descriptions. VTS 1994: 214-219 |
| 1993 | ||
| j1 | | Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: An approach to sequential circuit diagnosis based on formal verification techniques. J. Electronic Testing 4(1): 11-17 (1993) |
| c4 | | Paolo Camurati, Fulvio Corno, Paolo Prinetto: A Methodology for System-Level Design for Verifiability. CHARME 1993: 80-91 |
| c3 | | Paolo Camurati, Fulvio Corno, Paolo Prinetto: Exploiting Symbolic Traversal Techniques for Efficient Process Algebra Manipulation. CHDL 1993: 31-44 |
| 1992 | ||
| c2 | | Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Silvano Gai, Paolo Prinetto, Matteo Sonza Reorda: A New Model for Improving symbolic Product Machine Traversal. DAC 1992: 614-619 |
| c1 | | Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Sequential Circuit Diagnosis Based on Formal Verification Techniques. ITC 1992: 187-196 |
Colors in the list of coauthors
Last update Sun May 19 19:30:34 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page