Selected publications

book cover Guruduth Banavar, Norman Cohen, and Danny Soroker. "Pervasive Application Development: Approaches and Pitfalls." In Syed Ijlal Ali Shah, Mohammad Ilyas, and Hussein T. Mouftah, eds., Pervasive Communications Handbook. CRC Press, Boca Raton, Florida, 2012, 19-1–19-17. Also in Mohammad Ilyas and Imad Mahgoub, eds., Mobile Computing Handbook. CRC Press, Boca Raton, Florida, 2005, 53–72
   

Han Chen, Norman H. Cohen, Sastry S. Duri, Johnathan M. Reason, and Paul B. Chou. Logical RFID reader using hybrid active–passive solution. Proceedings of the IEEE 98, No. 9 (September 2010)


Tools and strategies for debugging distributed stream processing applications.pdf Buğra Gedik, Henrique Andrade, Andy Frenkiel, Wim De Pauw, Michael Pfeifer, Paul Allen, Norman Cohen, and Kun-Lung Wu. Tools and strategies for debugging distributed stream processing applications. Software: Practice and Experience 39, No. 16 (November 2009), 1313–1376


Acrobat file Norman H. Cohen and Karl Trygve Kalleberg. EventScript: an event-processing language based on regular expressions with actions. LCTES '08: Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Tucson, Arizona, June 12-13 2008, SIGPLAN Notices 43, No. 7 (July 2008), 111–120


Acrobat file H. Chen, P.B. Chou, N.H. Cohen, S.S. Duri, and C.W. Jung. DRIVE: a tool for developing, deploying, and managing distributed sensor and actuator applications. IBM Systems Journal 47, No. 2 (May 2008) , 289–307


Acrobat file Norman H. Cohen. Compound event processing using regular expressions: examples from EventScript. IBM Research Report RC 24517, March 21, 2008


Acrobat file Norman H. Cohen. EventScript: Using regular expressions to program event-processing agents. IBM Research Report RC 24387, October 23, 2007


Acrobat file Han Chen, Paul B. Chou, Norman H. Cohen, and Sastry Duri. Extending SOA/MDD to sensors and actuators for sense-and-respond business processes. IEEE International Conference on e-Business Engineering (ICEBE 2007), Hong Kong, China, October 24-26, 2007, 54-61


Acrobat file Joel W. Branch, Boleslaw Szymanski, Chatschik Bisdikian, Norman Cohen, John S. Davis, Maria R. Ebling, and Daby M. Sow. Towards middleware components for distributed actuator coordination. 3rd IEEE Workshop on Embedded Networked Sensors (EmNets 2006), Cambridge, Massachusetts, May 30-31, 2006, 71-75


Acrobat file Norman H. Cohen, Paul Castro, Archan Misra. Descriptive naming of context data providers. In Anind Dey, Boicho Kokinov, David Leake, and Roy Turner, eds., Modeling and Using Context: Fifth International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings. Lecture Notes in Artificial Intelligence 3554, Springer-Verlag, Berlin, 2005, 112-125


Acrobat file Norman H. Cohen, James Black, Paul Castro, Maria Ebling, Barry Leiba, Archan Misra, and Wolfgang Segmuller. Building context-aware applications with Context Weaver. IBM Research Report RC 23388, October 22, 2004


Acrobat file Norman H. Cohen, Paul Castro, Archan Misra. What the meaning of what is: descriptive naming of data providers in Context Weaver. IBM Research Report RC 23245, June 15, 2004


Acrobat file J.P. Black, W. Segmuller, N. Cohen, B. Leiba, A. Misra, M.R. Ebling, and E. Stern. Pervasive computing in health care: smart spaces and enterprise information systems. MobiSys 2004 Workshop on Context Awareness, Boston, Massachusetts, June 6, 2004


Acrobat file Norman H. Cohen, Hui Lei, Paul Castro, John S. Davis II, and Apratim Purakayastha. Composing Pervasive Data Using iQL. 4th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2002), Callicoon, New York, June 20-21, 2002, 94-104


Acrobat file Norman H. Cohen, Apratim Purakayastha, Luke Wong, and Danny L. Yeh. iQueue: a pervasive data-composition framework. 3rd International Conference on Mobile Data Management, Singapore, Janauary 8-11, 2002, 146-153


Acrobat file Vincent Bazinette, Norman H. Cohen, Maria R. Ebling, Guerney D. H. Hunt, Hui Lei, Apratim Purakayastha, Gregory Stewart, Luke Wong,and Danny L. Yeh. An intelligent notification system. IBM Research Report RC 22089, June 12, 2001


Acrobat file Norman H. Cohen, Apratim Purakayastha, John Turek, Luke Wong, and Danny Yeh. Challenges in flexible aggregation of pervasive data. IBM Research Report RC 21942, January 23, 2001


Acrobat file Norman H. Cohen and Apratim Purakayastha. Toward interoperable data synchronization with COSMOS. Proceedings, Third IEEE Workshop on Mobile Computing Systems and Applications, Monterey, California, December 7-8, 2000, 138-147


Acrobat file Norman H. Cohen. A Java framework for mobile data synchronization. In Opher Etzion and Peter Scheuermann, eds., Cooperative Information Systems: 7th International Conference, CoopIS 2000; Eilat, Israel, September 2000; Proceedings. Lecture Notes in Computer Science 1901, Springer-Verlag, Berlin, 2000, 287-298


Acrobat file Norman H. Cohen. Design and implementation of the MNCRS Java framework for mobile data synchronization. IBM Research Report RC 21774, August 11, 2000


Acrobat file Maria Butrico, Norman Cohen, John Givler, Ajay Mohindra, Apratim Purakayastha, Dennis Shea, Josephine Cheng, Don Clare, Gerry Fisher, Rob Scott, Yudong Sun, May Wone, and Quinton Zondervan. Enterprise data access from mobile computers: an end-to-end story. Proceedings, Tenth International Workshop on Research Issues in Data Engineering, February 27-28, 2000, San Diego, California. IEEE Computer Society, Los Alamitos, California, pp. 9-16


Acrobat file Norman H. Cohen. Application programmer's guide to mobile network computing data synchronization. Version 1.1. March 1999


Acrobat file Henry Chang, Carl Tait, Norman Cohen, Moshe Shapiro, Steve Mastrianni, Rick Floyd, Barron Housel and David Lindquist. Web browsing in a wireless environment: disconnected and asynchronous operation in ARTour Web Express. Proceedings of the Third Annual ACM/IEEE International Conference on Mobile Computing and Networking (Mobicom '97). September 26-30, 1997, Budapest, Hungary, pp. 260-269


Acrobat file Maria A. Butrico, Henry Chang, Anthony Cocchi, Norman H. Cohen, Dennis G. Shea, and Stephen E. Smith. Gold Rush: mobile transaction middleware with Java-object replication. Proceedings of the Third USENIX Conference on Object-Oriented Technologies and Systems (COOTS), June 16-19, 1997, Portland, Oregon, pp. 91-101


Cover of Ada as a Second Language Norman H. Cohen. Ada as a Second Language, 2nd ed. McGraw-Hill, New York, 1996. ISBN 0-07-011607-5.


Acrobat fileNorman H. Cohen. An introduction to child program units. Tri-Ada '95, Anaheim, California, November 7-10. 1995, pp. 406-417
  
Acrobat file Norman H. Cohen. Endian-independent record representation clauses. Ada Letters 14, No. 1 (January-February 1994), pp. 27-29


Acrobat file Norman H. Cohen. Type-extension type tests can be performed in constant time. ACM Transactions on Programming Languages and Systems 13, No. 4 (October 1991), 626-629


Acrobat file Norman H. Cohen. Ada Subtypes as Subclasses (Version 1). Research report RC 14912, IBM Thomas J. Watson Research Center, September 8, 1989
   
Acrobat file Gerry Fisher and Norman H. Cohen. Software Engineering Design Language (SEDL). SIGAda Summer Meeting, Ottawa, Ontario, August 1989


Acrobat file Norman H. Cohen. Formal specification and verification of Ada packages. Research report RC 14105, IBM Thomas J. Watson Research Center, October 17, 1988


PDF

Norman H. Cohen. Dependence on Ada task scheduling is not “erroneous.” Ada Letters 8, No. 2 (March-April 1988), pp. 77-83
PDF Norman H. Cohen. Proof rules for Ada statements. Ada Expo '86, Charleston, West Virginia, November 19-21, 1986
  
  
PDF Norman H. Cohen. NASA standards for Ada compilers: Why MIL-STD-1815A is not sufficient. Workshop on Commonality in Computing for NASA Flight Systems, Houston, Texas, October 24, 1986. Technical paper TP-236, SofTech, Inc.


Acrobat file Norman H. Cohen. It is the very model of a modern reference manual. Ada Letters 6, No. 5 (September-October 1986), p. 13


 Acrobat file Norman H. Cohen. Formal verification and testing: An integrated approach to validating Ada programs. First International Conference on Ada Programming Language Applications for the NASA Space Station, Houston, Texas, June 2-5, 1986. Technical paper TP-228, SofTech, Inc.
   

Norman H. Cohen. Ada as a Second Language. McGraw-Hill, New York, 1986. ISBN 0-07-011589.


Acrobat file Norman H. Cohen. MAVEN: the Modular Ada Validation Environment. Third Ada Verification Workshop, Research Triangle, North Carolina, May 14, 1986


Acrobat file Norman H. Cohen. Ada axiomatic semantics: problems and solutions. In Peter J.L. Wallis, ed., Ada: Managing the Transition. Proceedings of the Ada-Europe International Conference, Edinburgh, 6-8 May 1986, pp. 229-238


Selected publications Norman H. Cohen. Ada axiomatic semantics: problems and solutions (extended version). Technical paper TP-223, SofTech, Inc., May 1986


PDF
Norman H. Cohen. Merging Ada tasks. Technical paper TP-219, SofTech, Inc., November 1985


PDF Norman H. Cohen. Tasks as abstraction mechanisms. Ada Letters 5, No. 3 (November-December 1985), pp. 30-44


https://sites.google.com/site/normanhcohen/my-publications/Ada%20in%20Practice.jpg

Christine N. Ausnit, Norman H. Cohen, John B. Goodenough, and R. Sterling Eanes. Ada in Practice. Springer-Verlag, New York, 1985. ISBN 0-387-96182-8, 3-540-96182-8.


PDF Norman H. Cohen. The SofTech Ada verification project. AIAA/ACM/NASA/IEEE Computers in Aerospace V Conference, Long Beach, California, October 23, 1985. pp. 399-407. Technical paper TP-210, SofTech, Inc.


PDF Norman H. Cohen. Verified Ada: A key to reliable software. AIAA/ACM/NASA/IEEE Computers in Aerospace V Conference, Long Beach, California, October 22, 1985, pp. 219-227. Technical paper TP-209, SofTech, Inc.


PDF Norman H. Cohen. A notation for Ada proof rules. Second Ada Verification Workshop, Alexandria, Virginia, July 24, 1985


PDF Norman H. Cohen. Simplifying Ada semantics by restricting implementers’ options. Second Ada Verification Workshop, Alexandria, Virginia, July 23, 1985
   
PDF Norman H. Cohen. Appropriate applications of verification to Ada. First Ada Verification Workshop, Alexandria, Virginia, March 19, 1985


PDF Norman H. Cohen. Experience developing an axiomatic semantics for Ada. First Ada Verification Workshop, Alexandria, Virginia, March 19, 1985
  
PDFNorman H. Cohen. Four uses for derived types, and a complication. IEEE Computer Society Conference on Ada Applications and Environments, St. Paul, Minnesota, October 17, 1984. Technical paper TP-195, SofTech, Inc.



Norman H. Cohen. Solution to “An Ada Crossword Puzzle.” Ada Letters 3, No. 3 (November-December 1983), p. 8



Norman H. Cohen. An Ada crossword puzzle. Ada Letters 3, No. 2 (September-October 1983), p. 13


Acrobat file Norman H. Cohen. Eliminating redundant recursive calls. ACM Transactions on Programming Languages and Systems 5, No. 3 (July 1983), pp. 265-299


Acrobat file Norman H. Cohen. Parallel Quicksort: An exploration of concurrent programming in Ada. Ada Letters 2, No. 2 (September-October 1982), pp. 61-68


http://hollis.harvard.edu/?itemid=|library/m/aleph|003802553

Norman H. Cohen. Source-to-Source Improvement of Recursive Programs. Ph.D. dissertation, Division of Applied Sciences, Harvard University, May 1980


Acrobat file Norman H. Cohen. Gödel numbers: A new approach to structured programming. SIGPLAN Notices 15, No. 4 (April 1980), pp. 70-74


Acrobat file Norman H. Cohen. Characterization and elimination of redundancy in recursive programs. Proceedings of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, January 1979, pp. 139-145
Subpages (1): Ada as a Second Language