Brent Hailpern
Brent Hailpern
Part-Time Instructor, Northeastern University
Verified email at hailpern.com - Homepage
Title
Cited by
Cited by
Year
Model-driven development: The good, the bad, and the ugly
B Hailpern, P Tarr
IBM systems journal 45 (3), 451-461, 2006
4772006
Software debugging, testing, and verification
B Hailpern, P Santhanam
IBM Systems Journal 41 (1), 4-12, 2002
4132002
Mechanism for heterogeneous, peer-to-peer, and disconnected workflow operation
JK Chaar, BT Hailpern, ES Park, S Paul
US Patent 5,960,404, 1999
3121999
Verifying concurrent processes using temporal logic
BT Hailpern
Springer Science & Business Media, 1982
2271982
Apparatus and method for dynamic meta-tagging of compound documents
BT Hailpern, PK Malkin, RJ Schloss, PS Yu
US Patent 6,094,657, 2000
1982000
Modular verification of computer communication protocols
B Hailpern, S Owicki
IEEE Transactions on Communications 31 (1), 56-68, 1983
1641983
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
1622003
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
1382000
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
1322001
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
1302001
Dynamic method and apparatus for target promotion
BT Hailpern, PS Yu
US Patent 6,922,672, 2005
1222005
Computer network architectures and protocols
CA Sunshine
Springer Science & Business Media, 2013
1002013
Verifying network protocols using temporal logic
BT Hailpern, SS Owicki
Stanford University, 1980
941980
Interconnect scheme for shared memory local networks
J Cocke, BT Hailpern
US Patent 4,710,868, 1987
881987
Extending objects to support multiple interfaces and access control
B Hailpern, H Ossher
IEEE transactions on Software Engineering 16 (11), 1247-1257, 1990
821990
Guest editor's introduction multiparadigm languages and environments
B Hailpern
IEEE Software 3 (1), 6, 1986
751986
Script: a communication abstraction mechanism and its verification
N Francez, B Hailpern, G Taubenfeld
Science of Computer Programming 6, 35-88, 1986
721986
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
502018
Local area network interconnect switching system
ML Blount, BT Hailpern, RA Heller, LW Hoevel, GE Trivett
US Patent 4,633,245, 1986
441986
System and method for providing service for searching web site addresses
B Hailpern, SY Philip
US Patent 7,383,299, 2008
412008
The system can't perform the operation now. Try again later.
Articles 1–20