( en | de | ru )

 

Disambiguation of "Buy, Ugo A."

Author of the publication

copydeleteadd this publication to your clipboard
Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking.

, , , and . ISSTA, page 51-60. ACM, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ugo Marchand

Ugo Gentile

Ugo Merkli

Ugo Negretto

Ugo Tricoli

 

Other publications of authors with the same name

Automated Analysis of Concurrent Systems With the Constrained Expression Toolset., , , , and . IEEE Trans. Software Eng., 17 (11): 1204-1222 (1991)Experiments with an Improved Constrained Expression Toolset., , , , and . Symposium on Testing, Analysis, and Verification, page 178-187. ACM, (1991)Modeling and Analysis of a Virtual Reality System with Time Petri Nets., , , and . ICSE, page 33-42. IEEE Computer Society, (1998)A Framework for the Efficient Production of Web Applications., and . ISCC, page 419-424. IEEE Computer Society, (2003)Compiling process algebraic specifications into timed automata., , and . COMPSAC, page 338-343. IEEE Computer Society, (1997)A Specification-Based Approach to Concurrency Analysis., and . Autom. Softw. Eng., 2 (4): 265-309 (1995)A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers., and . CAV, volume 531 of Lecture Notes in Computer Science, page 292-301. Springer, (1990)Modeling and integration of hospital information systems with Petri nets., , , , and . SOLI, page 190-195. IEEE, (2009)Trajectory Data Reduction in Wireless Sensor Networks., , , , , , and . Int. J. Next Gener. Comput., (2010)Early Detection of Mental and Behavioral Health Issues from High-School Academic Performance., , , and . ICMLA, page 376-383. IEEE, (2023)