BibSonomy :: author  ::

bookmarks

publications

(103)

• Rotary hammer ultrasonic/sonic drill system.
  Mircea Badescu and Sergiu Stroescu and Stewart Sherrit and Jack Aldrich and Xiaoqi Bao and Yoseph Bar-Cohen and Zensheu Chang and Wilson Hernandez and Alaa Ibrahim ICRA 602-607 (2008)
  to dblp by dblp on 2008-11-06 00:00:00
  | URL | BibTeX  
• Specification and verification of component-based systems 2007.
  Jonathan Aldrich and Gary T. Leavens and Michael Barnett and Natasha Sharygina and Dimitra Giannakopoulou ESEC/SIGSOFT FSE (Companion) 609-610 (2007)
  to dblp by dblp and 1 other person on 2008-11-03 00:00:00
  | URL | BibTeX  
• Error Reporting Logic.
  Ciera Jaspan and Trisha Quan and Jonathan Aldrich ASE 138-147 (2008)
  to dblp by dblp on 2008-10-29 00:00:00
  | URL | BibTeX  
• Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture.
  Marwan Abi-Antoun and Jonathan Aldrich OOPSLA Companion 741-742 (2008)
  to dblp by dblp on 2008-10-27 00:00:00
  | URL | BibTeX  
• Tool support for the static extraction of sound hierarchical representations of runtime object graphs.
  Marwan Abi-Antoun and Jonathan Aldrich OOPSLA Companion 743-744 (2008)
  to dblp by dblp on 2008-10-27 00:00:00
  | URL | BibTeX  
• Verifying correct usage of atomic blocks and typestate.
  Nels E. Beckman and Kevin Bierhoff and Jonathan Aldrich OOPSLA 227-244 (2008)
  to dblp by dblp on 2008-10-27 00:00:00
  | URL | BibTeX  
• Specification and verification of component-based systems 2007.
  Jonathan Aldrich and Michael Barnett and Dimitra Giannakopoulou and Gary T. Leavens and Natasha Sharygina ESEC/SIGSOFT FSE 609-610 (2007)
  to dblp by dblp and 1 other person on 2008-10-26 00:00:00
  | URL | BibTeX  
• Talk to the Hand: An Agenda for Further Research on Tactile Graphics.
  Frances Aldrich Diagrams 344-346 (2008)
  to dblp by dblp on 2008-09-24 00:00:00
  | URL | BibTeX  
• ArchJava: connecting software architecture to implementation
  Jonathan Aldrich and Craig Chambers and David Notkin ICSE '02: Proceedings of the 24th International Conference on Software Engineering 187--197 (2002)
  to ArchitectureLanguage Me:MastersThesis Me:Printed Me:ToRead by gron and 6 other people on 2008-08-18 21:57:59
  | URL | BibTeX  
• Language support for Connector Abstractions
  Jonathan Aldrich and Vibha Sazawal and Craig Chambers and David Notkin Procedings, ECOOP (2003)
  to imported by cabird and 1 other person on 2008-08-15 20:29:46
  | BibTeX