BibSonomy :: author  ::

bookmarks

publications

(189)

• Efficient Monitoring of Parametric Context-Free Patterns.
  Patrick O'Neil Meredith and Dongyun Jin and Feng Chen and Grigore Rosu ASE 148-157 (2008)
  to dblp by dblp on 2008-10-29 00:00:00
  | URL | BibTeX  
• Synthesizing Monitors for Safety Properties: This Time with Calls and Returns.
  Grigore Rosu and Feng Chen and Thomas Ball RV 51-68 (2008)
  to dblp by dblp on 2008-10-23 00:00:00
  | URL | BibTeX  
• Optimizing Change Request Scheduling in IT Service Management.
  Leila Zia and Yixin Diao and Daniela Rosu and Chris Ward and Kamal Bhattacharya IEEE SCC (1) 41-48 (2008)
  to dblp by dblp on 2008-09-05 00:00:00
  | URL | BibTeX  
• Marrying Words and Trees.
  Rajeev Alur AMAST 1 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• Coinductive Properties of Causal Maps.
  Jiho Kim AMAST 253-267 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• Explaining Verification Conditions.
  Ewen Denney and Bernd Fischer AMAST 145-159 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• Domain Axioms for a Family of Near-Semirings.
  Jules Desharnais and Georg Struth AMAST 330-345 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries.
  Yevgen Voronenko and Franz Franchetti and Frédéric de Mesmay and Markus Püschel AMAST 407-412 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• An Algebra for Features and Feature Composition.
  Sven Apel and Christian Lengauer and Bernhard Möller and Christian Kästner AMAST 36-50 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• Simulation Using Orchestration.
  David Kitchin and Evan Powell and Jayadev Misra AMAST 2-15 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX