Follow
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
5302006
Software debugging, testing, and verification
B Hailpern, P Santhanam
IBM Systems Journal 41 (1), 4-12, 2002
5022002
Mechanism for heterogeneous, peer-to-peer, and disconnected workflow operation
JK Chaar, BT Hailpern, ES Park, S Paul
US Patent 5,960,404, 1999
3211999
Apparatus and method for dynamic meta-tagging of compound documents
BT Hailpern, PK Malkin, RJ Schloss, PS Yu
US Patent 6,094,657, 2000
1952000
Modular verification of computer communication protocols
B Hailpern, S Owicki
IEEE Transactions on Communications 31 (1), 56-68, 1983
1691983
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
1652003
Verifying concurrent processes using temporal logic
BT Hailpern
Springer Science & Business Media, 1982
1561982
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
1492001
Dynamic method and apparatus for target promotion
BT Hailpern, PS Yu
US Patent 6,922,672, 2005
1432005
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
1422000
Realizing the Potential of Data Science
A Berman, F., Rutenbar, R., Hailpern, B., Christensen, H., Davidson, S ...
CACM 61 (4), 67-72, 2018
137*2018
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
1312001
Verifying concurrent processes using temporal logic
BT Hailpern
Stanford University, 1980
1301980
Script: A communication abstraction mechanism and its verification
N Francez, B Hailpern, G Taubenfeld
Science of Computer Programming 6, 35-88, 1986
108*1986
Verifying network protocols using temporal logic
BT Hailpern, SS Owicki
Stanford University, 1980
1061980
Guest editor's introduction multiparadigm languages and environments
B Hailpern
IEEE Software 3 (1), 6, 1986
941986
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
841990
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
432008
The system can't perform the operation now. Try again later.
Articles 1–20