Marcello Dalpasso

37 papers A* 2A 8Misc 1Journal 20Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Fine-Grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming. Theory Pract. Log. Program. Alessandro Bertagnon, Marcello Dalpasso, Michele Favalli, Marco Gavanelli
2025	J	`jnl`	Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming. CoRR Alessandro Bertagnon, Marcello Dalpasso, Michele Favalli, Marco Gavanelli
2025	J	`jnl`	Speeding Up Floyd-Warshall's Algorithm to Compute All-Pairs Shortest Paths and the Transitive Closure of a Graph. Algorithms Giuseppe Lancia, Marcello Dalpasso
2024	J	`jnl`	Algorithmic strategies for a fast exploration of the TSP 4-OPT neighborhood. J. Heuristics Giuseppe Lancia, Marcello Dalpasso
2023	J	`jnl`	Orbits, schemes and dynamic programming procedures for the TSP 4-OPT neighborhood. CoRR Giuseppe Lancia, Marcello Dalpasso
2020	J	`jnl`	Finding the Best 3-OPT Move in Subcubic Time. Algorithms Giuseppe Lancia, Marcello Dalpasso
2019	J	`jnl`	<tt>FASTSET</tt>: A Fast Data Structure for the Representation of Sets of Integers. Algorithms Giuseppe Lancia, Marcello Dalpasso
2019	—	`conf`	Speeding-Up the Dynamic Programming Procedure for the Edit Distance of Two Strings. DEXA Workshops Giuseppe Lancia, Marcello Dalpasso
2018	A	`conf`	A Boolean model for delay fault testing of emerging digital technologies based on ambipolar devices. DATE Marcello Dalpasso, Davide Bertozzi, Michele Favalli
2018	—	`conf`	New Modeling Ideas for the Exact Solution of the Closest String Problem. DEXA Workshops Marcello Dalpasso, Giuseppe Lancia
2016	J	`jnl`	Boolean and Pseudo-Boolean Test Generation for Feedback Bridging Faults. IEEE Trans. Computers Michele Favalli, Marcello Dalpasso
2015	J	`jnl`	Estimating the strength of poker hands by integer linear programming techniques. Central Eur. J. Oper. Res. Marcello Dalpasso, Giuseppe Lancia
2014	J	`jnl`	Applications of Boolean Satisfiability to Verification and Testing of Switch-Level Circuits. J. Electron. Test. Michele Favalli, Marcello Dalpasso
2014	J	`jnl`	Efficient testing of multi-output combinational cells in nano-complementary metal oxide semiconductor integrated circuits. IET Comput. Digit. Tech. L. Valenti, Marcello Dalpasso, Michele Favalli
2009	J	`jnl`	How Many Test Vectors We Need to Detect a Bridging Fault? J. Electron. Test. Michele Favalli, Marcello Dalpasso
2007	—	`conf`	High Quality Test Vectors for Bridging Faults in the Presence of IC's Parameters Variations. DFT Michele Favalli, Marcello Dalpasso
2005	—	`conf`	The String Barcoding Problem is NP-Hard. Comparative Genomics Marcello Dalpasso, Giuseppe Lancia, Romeo Rizzi
2002	A	`conf`	An Evolutionary Approach to the Design of On-Chip Pseudorandom Test Pattern Generators. DATE Michele Favalli, Marcello Dalpasso
2002	J	`jnl`	Bridging fault modeling and simulation for deep submicron CMOS ICs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Michele Favalli, Marcello Dalpasso
2002	J	`jnl`	Virtual Simulation of Distributed IP-Based Designs. IEEE Des. Test Comput. Marcello Dalpasso, Alessandro Bogliolo, Luca Benini
2000	A*	`conf`	Hardware/software IP protection. DAC Marcello Dalpasso, Alessandro Bogliolo, Luca Benini
2000	A	`conf`	Virtual Fault Simulation of Distributed IP-Based Designs. DATE Marcello Dalpasso, Alessandro Bogliolo, Luca Benini, Michele Favalli
1999	A	`conf`	Specification and Validation of Distributed IP-Based Designs with JavaCAD. DATE Marcello Dalpasso, Alessandro Bogliolo, Luca Benini
1999	A*	`conf`	Virtual Simulation of Distributed IP-based Designs. DAC Marcello Dalpasso, Alessandro Bogliolo, Luca Benini
1998	J	`jnl`	A Bist Scheme for Non-Volatile Memories. J. Electron. Test. Piero Olivo, Marcello Dalpasso
1997	J	`jnl`	A method for increasing the I IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Marcello Dalpasso, Michele Favalli
1997	J	`jnl`	Symbolic Handling of Bridging Fault Effects. J. Electron. Test. Michele Favalli, Marcello Dalpasso
1996	J	`jnl`	Modeling and simulation of broken connections in CMOS IC's. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Michele Favalli, Marcello Dalpasso, Piero Olivo
1996	A	`conf`	Self-Learning Signature Analysis for Non-Volatile Memory Testing. ITC Piero Olivo, Marcello Dalpasso
1995	—	`conf`	Correlation between I ED&TC Marcello Dalpasso, Michele Favalli, Piero Olivo
1995	Misc	`conf`	Test pattern generation for I VTS Marcello Dalpasso, Michele Favalli, Piero Olivo
1994	—	`conf`	Modeling of Broken Connections Faults in CMOS ICs. EDAC-ETC-EUROASIC Michele Favalli, Marcello Dalpasso, Piero Olivo, Bruno Riccò
1993	J	`jnl`	Analysis of resistive bridging fault detection in BiCMOS digital ICs. IEEE Trans. Very Large Scale Integr. Syst. Michele Favalli, Marcello Dalpasso, Piero Olivo, Bruno Riccò
1993	A	`conf`	Analyss of Dynamic Effects of Resistive Bridging Faults in CMOS and BiCMOS Digital ICs. ITC Michele Favalli, Marcello Dalpasso, Piero Olivo, Bruno Riccò
1993	J	`jnl`	Fault simulation of parametric bridging faults in CMOS IC's. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Marcello Dalpasso, Michele Favalli, Piero Olivo, Bruno Riccò
1992	A	`conf`	Analysis of Steady State Detection of Resistive Bridging Faults in BiCMOS Digital ICs. ITC Michele Favalli, Marcello Dalpasso, Piero Olivo, Bruno Riccò
1992	A	`conf`	Parametric Bridging Fault Characterization for the Fault Simulation of Library-Based ICs. ITC Marcello Dalpasso, Michele Favalli, Piero Olivo, Bruno Riccò