Brent Hailpern
Brent Hailpern
Part-Time Instructor, Northeastern University
Verified email at - Homepage
Cited by
Cited by
Model-driven development: The good, the bad, and the ugly
B Hailpern, P Tarr
IBM systems journal 45 (3), 451-461, 2006
Software debugging, testing, and verification
B Hailpern, P Santhanam
IBM Systems Journal 41 (1), 4-12, 2002
Mechanism for heterogeneous, peer-to-peer, and disconnected workflow operation
JK Chaar, BT Hailpern, ES Park, S Paul
US Patent 5,960,404, 1999
Verifying concurrent processes using temporal logic
BT Hailpern
Springer Science & Business Media, 1982
Apparatus and method for dynamic meta-tagging of compound documents
BT Hailpern, PK Malkin, RJ Schloss, PS Yu
US Patent 6,094,657, 2000
Modular verification of computer communication protocols
B Hailpern, S Owicki
IEEE Transactions on Communications 31 (1), 56-68, 1983
Web Services: Promises and Compromises: Much of web services’ initial promise will be realized via integration within the enterprise.
A Arsanjani, B Hailpern, J Martin, P Tarr
Queue 1 (1), 48-58, 2003
Dynamic push filtering based on information exchanged among nodes in a proxy hierarchy
BT Hailpern, PK Malkin, RJ Schloss, PS Yu
US Patent 6,065,058, 2000
System and method for similarity searching in high-dimensional data space
CC Aggarwal, BT Hailpern, JL Wolf, PS Yu
US Patent 6,289,354, 2001
Collaborative server processing of content and meta-information with application to virus checking in a server network
BT Hailpern, PK Malkin, RJ Schloss, SR White, PS Yu, CC Palmer
US Patent 6,275,937, 2001
Dynamic method and apparatus for target promotion
BT Hailpern, PS Yu
US Patent 6,922,672, 2005
Script: a communication abstraction mechanism and its verification
N Francez, B Hailpern, G Taubenfeld
Science of Computer Programming 6, 35-88, 1986
Computer network architectures and protocols
CA Sunshine
Springer Science & Business Media, 2013
Verifying network protocols using temporal logic
BT Hailpern, SS Owicki
Stanford University, 1980
Interconnect scheme for shared memory local networks
J Cocke, BT Hailpern
US Patent 4,710,868, 1987
Extending objects to support multiple interfaces and access control
B Hailpern, H Ossher
IEEE transactions on Software Engineering 16 (11), 1247-1257, 1990
Guest editor's introduction multiparadigm languages and environments
B Hailpern
IEEE Software 3 (1), 6, 1986
Realizing the potential of data science
F Berman, R Rutenbar, B Hailpern, H Christensen, S Davidson, D Estrin, ...
Communications of the ACM 61 (4), 67-72, 2018
Local area network interconnect switching system
ML Blount, BT Hailpern, RA Heller, LW Hoevel, GE Trivett
US Patent 4,633,245, 1986
System and method for providing service for searching web site addresses
B Hailpern, SY Philip
US Patent 7,383,299, 2008
The system can't perform the operation now. Try again later.
Articles 1–20