default search action

combined dblp search
author search
venue search
publication search

ask others

Ugo A. Buy

> Home > Persons

Person information

affiliation: University of Illinois at Chicago, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icmla/PorelloBBK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmla/PorelloBBK23
Davide Porello, Ugo A. Buy, Kyle W. Boerke, M. Pieta Keller:
Early Detection of Mental and Behavioral Health Issues from High-School Academic Performance. ICMLA 2023: 376-383
2021
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/sa/HuynhnguyenB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sa/HuynhnguyenB21
Hoangminh Huynhnguyen, Ugo A. Buy:
Toward Gesture Recognition in Robot-Assisted Surgical Procedures. SA 2021: 1-4
2020
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/ArditoCLMB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/ArditoCLMB20
Luca Ardito, Riccardo Coppola, Simone Leonardi, Maurizio Morisio, Ugo A. Buy:
Automated Test Selection for Android Apps Based on APK and Activity Classification. IEEE Access 8: 187648-187670 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/AldakheelBK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/AldakheelBK18
Eman Aldakheel, Ugo A. Buy, Simran Kaur:
DDS: Deadlock Detector and Solver. ISSRE Workshops 2018: 216-223
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ChiaramidaPBG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ChiaramidaPBG18
Vincenzo Chiaramida, Francesco Pinci, Ugo A. Buy, Rigel Gjomemo:
AppSeer: discovering flawed interactions among Android components. A-Mobile@ASE 2018: 29-34
2016
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DeitzB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DeitzB16
Sean Deitz, Ugo A. Buy:
From video games to debugging code. GAS@ICSE 2016: 37-41
2015
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/snam/AlowibdiBYGM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/snam/AlowibdiBYGM15
Jalal S. Alowibdi, Ugo A. Buy, Philip S. Yu, Sohaib Ghani, Mohamed F. Mokbel:
Deception detection in Twitter. Soc. Netw. Anal. Min. 5(1): 32:1-32:16 (2015)
2014
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/asunam/AlowibdiBYS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asunam/AlowibdiBYS14
Jalal S. Alowibdi, Ugo A. Buy, Philip S. Yu, Leon Stenneth:
Detecting deception in Online Social Networks. ASONAM 2014: 383-390
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/PetrovNB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/PetrovNB14
Plamen Petrov, Robert L. Nord, Ugo A. Buy:
Probabilistic Macro-Architectural Decision Framework. ECSA Workshops 2014: 27:1-27:8
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/lnsn/AlowibdiBY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lnsn/AlowibdiBY14
Jalal S. Alowibdi, Ugo A. Buy, Philip S. Yu:
Say It with Colors: Language-Independent Gender Classification on Twitter. Online Social Media Analysis and Visualization 2014: 47-62
2013
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/asunam/AlowibdiBY13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asunam/AlowibdiBY13
Jalal S. Alowibdi, Ugo A. Buy, Philip S. Yu:
Language independent gender classification on Twitter. ASONAM 2013: 739-743
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icmla/AlowibdiBY13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmla/AlowibdiBY13
Jalal S. Alowibdi, Ugo A. Buy, Philip S. Yu:
Empirical Evaluation of Profile Characteristics for Gender Classification on Twitter. ICMLA (1) 2013: 365-369
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/GrechanikHB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/GrechanikHB13
Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy:
Testing Database-Centric Applications for Causes of Database Deadlocks. ICST 2013: 174-183
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/GrechanikHBW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/GrechanikHBW13
Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy, Haisheng Wang:
Preventing database deadlocks in applications. ESEC/SIGSOFT FSE 2013: 356-366
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/HossainGBW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/HossainGBW13
B. M. Mainul Hossain, Mark Grechanik, Ugo A. Buy, Haisheng Wang:
REDACT: preventing database deadlocks from application-based transactions. ESEC/SIGSOFT FSE 2013: 591-594
2012
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/re/PetrovBN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/PetrovBN12
Plamen Petrov, Ugo A. Buy, Robert L. Nord:
Enhancing the software architecture analysis and design process with inferred macro-architectural requirements. TwinPeaks@RE 2012: 20-26
2011
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tcst/WightkinBD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcst/WightkinBD11
Nicholas Wightkin, Ugo A. Buy, Houshang Darabi:
Formal Modeling of Sequential Function Charts With Time Petri Nets. IEEE Trans. Control. Syst. Technol. 19(2): 455-464 (2011)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/WangGBLD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/WangGBLD11
Haisheng Wang, Liviu Grigore, Ugo A. Buy, Mihai Lehene, Houshang Darabi:
Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings. IEEE Trans. Syst. Man Cybern. Part A 41(3): 522-539 (2011)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/itng/PetrovB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itng/PetrovB11
Plamen Petrov, Ugo A. Buy:
A Systemic Methodology for Software Architecture Analysis and Design. ITNG 2011: 196-200
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/wicsa/PetrovBN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wicsa/PetrovBN11
Plamen Petrov, Ugo A. Buy, Robert L. Nord:
The Need for a Multilevel Context-Aware Software Architecture Analysis and Design Method with Enterprise and System Architecture Concerns as First Class Entities. WICSA 2011: 147-156
2010
[j9]
- view
  - electronic edition @ perpetualinnovation.net (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/ijngc/GhicaTWBSZV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijngc/GhicaTWBSZV10
Oliviu Ghica, Goce Trajcevski, Ouri Wolfson, Ugo A. Buy, Peter Scheuermann, Fan Zhou, Dennis Vaccaro:
Trajectory Data Reduction in Wireless Sensor Networks. Int. J. Next Gener. Comput. 1(1) (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/soli/DarabiGLBS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soli/DarabiGLBS09
Houshang Darabi, William L. Galanter, Janet Yueh-Yun Lin, Ugo A. Buy, Rupa Sampath:
Modeling and integration of hospital information systems with Petri nets. SOLI 2009: 190-195
2008
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tase/SampathDBJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tase/SampathDBJ08
Rupa Sampath, Houshang Darabi, Ugo A. Buy, Liu Jing:
Control Reconfiguration of Discrete Event Systems With Dynamic Control Specifications. IEEE Trans Autom. Sci. Eng. 5(1): 84-100 (2008)
2007
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/WangGBD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/WangGBD07
Haisheng Wang, Liviu Grigore, Ugo A. Buy, Houshang Darabi:
Enforcing transition deadlines in time Petri nets. ETFA 2007: 604-611
2005
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/adhoc/SundararamanBK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/adhoc/SundararamanBK05
Bharath Sundararaman, Ugo A. Buy, Ajay D. Kshemkalyani:
Clock synchronization for wireless sensor networks: a survey. Ad Hoc Networks 3(3): 281-323 (2005)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/BuyDLV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/BuyDLV05
Ugo A. Buy, Houshang Darabi, Mihai Lehene, Vikram Venepally:
Supervisory Control of Time Petri Nets Using Net Unfolding. COMPSAC (2) 2005: 97-100
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sew/BuyLD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sew/BuyLD05
Ugo A. Buy, Mihai Lehene, Houshang Darabi:
Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. SEW 2005: 211-218
2003
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/ZhangB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/ZhangB03
Jia Zhang, Ugo A. Buy:
A Framework for the Efficient Production of Web Applications. ISCC 2003: 419-424
[c13]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ms/ZhangBL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ms/ZhangBL03
Jia Zhang, Ugo A. Buy, Xian Liu:
A Framework for the Efficient Production of Web Applications. Modelling and Simulation 2003: 44-49
2002
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/BuyS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/BuyS02
Ugo A. Buy, Gaurav Singal:
Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems. COMPSAC 2002: 717-722
2001
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/BuyS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/BuyS01
Ugo A. Buy, Robert H. Sloan:
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset. Autom. Softw. Eng. 8(3-4): 227-273 (2001)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/Buy01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/Buy01
Ugo A. Buy:
Debunking some Common Misconceptions on E-Learning. COMPSAC 2001: 342-343
2000
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BuyOP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BuyOP00
Ugo A. Buy, Alessandro Orso, Mauro Pezzè:
Automated Testing of Classes. ISSTA 2000: 39-48

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MascarenhasKBK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MascarenhasKBK98
Rajesh Mascarenhas, Dinkar Karumuri, Ugo A. Buy, Robert V. Kenyon:
Modeling and Analysis of a Virtual Reality System with Time Petri Nets. ICSE 1998: 33-42
1997
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SloanB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SloanB97
Robert H. Sloan, Ugo A. Buy:
Stubborn Sets for Real-Time Petri Nets. Formal Methods Syst. Des. 11(1): 23-40 (1997)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ChangTB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ChangTB97
Carl K. Chang, Yi-Te Tseng, Ugo A. Buy:
Compiling process algebraic specifications into timed automata. COMPSAC 1997: 338-343
1996
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/SloanB96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/SloanB96
Robert H. Sloan, Ugo A. Buy:
Reduction Rules for Time Petri Nets. Acta Informatica 33(7): 687-706 (1996)
1995
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/BuyM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/BuyM95
Ugo A. Buy, Robert Moll:
A Specification-Based Approach to Concurrency Analysis. Autom. Softw. Eng. 2(4): 265-309 (1995)
1994
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/DuriBDS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/DuriBDS94
Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz:
Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada. ACM Trans. Softw. Eng. Methodol. 3(4): 340-380 (1994)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BuyS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BuyS94
Ugo A. Buy, Robert H. Sloan:
Analysis of Real-Time Programs with Simple Time Petri Nets. ISSTA 1994: 228-239
1993
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/DuriBDS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/DuriBDS93
Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz:
Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. ISSTA 1993: 51-60
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iwssd/BuyS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwssd/BuyS93
Ugo A. Buy, Robert H. Sloan:
A Petri-Net -Based Approach to Real-Time Program Analysis. IWSSD 1993: 56-60
1991
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/AvruninBCDW91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/AvruninBCDW91
George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden:
Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. IEEE Trans. Software Eng. 17(11): 1204-1222 (1991)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AvruninBC91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AvruninBC91
George S. Avrunin, Ugo A. Buy, James C. Corbett:
Integer Programming in the Analysis of Concurrent Systems. CAV 1991: 92-102
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/AvruninBCDW91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/AvruninBCDW91
George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden:
Experiments with an Improved Constrained Expression Toolset. Symposium on Testing, Analysis, and Verification 1991: 178-187
1990
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BuyM90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BuyM90
Ugo A. Buy, Robert Moll:
A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers. CAV 1990: 292-301
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/dimacs/BuyM90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/BuyM90
Ugo A. Buy, Robert Moll:
Liveness Analysis and the Automatic Generation of Concurrent Programs. CAV (DIMACS/AMS volume) 1990: 535-550

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.