M. Guzman

According to our database, M. Guzman authored at least 5 papers between 2000 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Beyond Like-for-Like: A User-centered Approach to Modernizing Legacy Applications.

M. Polzin, M. Guzman

CoRR, November, 2025

2024

On Safety Assurance of Symbolic Artificial Intelligence.

M. Guzman, R. Bouchekir, A. Cook, J. Haindl

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

2023

Formal Verification for Safe AI-based Flight Planning for UAVs^*.

R. Bouchekir, M. Guzman, A. Cook, J. Haindl, R. Woolnough

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2000

A Chip for a Routing Table Based on a Novel Modified Trie Algorithm.

D. Torres Roman, A. Larios, M. Guzman

VLSI Design, 2000

A New Bus Assignment Algorithm for a Shared Bus Switch Fabric.

D. Torres Roman, J. Gonzalez, M. Guzman

VLSI Design, 2000