Get started
Author

Brent T. Hailpern

Observed names: B. Hailpern, Brent Hailpern, Hailpern, Brent
Institution: IBM (United States)
OpenAlex ID: A5010121241
Model-driven development: The good, the bad, and the ugly
2006 · B. Hailpern, P. Tarr · IBM Systems Journal · 313
Software debugging, testing, and verification
2002 · B. Hailpern, P. Santhanam · IBM Systems Journal · 312
Verifying Concurrent Processes Using Temporal Logic
1982 · Brent T. Hailpern · Lecture notes in computer science · 135
Realizing the potential of data science
2018 · Francine Berman, Rob Rutenbar, et al. · Communications of the ACM · 121
Modular Verification of Computer Communication Protocols
1983 · B. Hailpern, S. Owicki · IRE Transactions on Communications Systems · 119
Web Services: Promises and Compromises
2003 · Ali Arsanjani, Brent Hailpern, et al. · Queue · 97
PDF
Verifying network protocols using temporal logic
1980 · Brent Hailpern, Susan Owicki · 56
Script: A Communication Abstraction Mechanism and its Verification
1985 · Nissim Francez, Brent Hailpern, et al. · Springer eBooks · 53
Guest Editor's Introduction Multiparadigm Languages and Environments
1986 · B. Hailpern · IEEE Software · 46
Extending objects to support multiple interfaces and access control
1990 · B. Hailpern, H. Ossher · IEEE Transactions on Software Engineering · 45
Script: A communication abstraction mechanism and its verification
1986 · Nissim Francez, Brent Hailpern, et al. · Science of Computer Programming · 43
Script: A communication abstraction mechanism
1983 · Nissim Francez, Brent Hailpern · ACM Symposium on Principles of Distributed Computing (PODC) · 34
A model for object-based inheritance
1987 · Brent Hailpern, Van Nguyen · 27
An object-based programming model for shared data
1992 · Gail E. Kaiser, Brent Hailpern · ACM Transactions on Programming Languages and Systems · 24
Learning Electronic Health Records through Hyperbolic Embedding of Medical Ontologies
2019 · Qiuhao Lu, Nisansa de Silva, et al. · ACM International Conference on Bioinformatics, Computational Biology, and Health Informatics (ACM-BCB) · 20
A Simple Protocol Whose Proof Isn't
1985 · B. Hailpern · IEEE Transactions on Communications · 17
A generalized object model
1986 · Van Nguyen, Brent Hailpern · ACM SIGPLAN Notices · 16
PDF
Modular verification of concurrent programs
1982 · Brent Hailpern, Susan Owicki · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 15
History of Programming Languages Conference: HOPL-III Co-Chairs Introduction
2007 · Barbara Ryder, Brent Hailpern · 14
Dynamic reconfiguration in an object-based programming language with distributed shared data
2002 · B. Hailpern, G.E. Kaiser · Proceedings of the ... International Conference on Distributed Computing Systems/Proceedings of the International Conference on Distributed Computing Systems · 13
Script: a communication abstraction mechanism
1985 · Nissim Francez, Brent Hailpern · ACM SIGOPS Operating Systems Review · 10
SW 2 - An object-based programming environment
1985 · Mark R. Laff, Brent Hailpern · ACM SIGPLAN Symposium on Language Issues in Programming Environments · 10
S-1 architecture manual
1979 · Brent Hailpern, Bruce L. Hitson · 10
The Future of Computing Research: Industry-Academic Collaborations
2016 · Boules, Nady, Douglas, Khari, et al. · arXiv (Cornell University) · 9
PDF
Toward governance of emergent processes and adaptive organizations
2008 · Peri Tarr, Clay Williams, et al. · 7
Works count: 50
Citation count: 1,627
H-index: 16
I10-index: 23
Year
Topic
Type