BibSonomy :: author  ::

bookmarks

publications

(165)

• Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes.
  Stefan Leue and Alin Stefanescu and Wei Wei SPIN 176-195 (2008)
  to dblp by dblp on 2008-08-19 00:00:00
  | URL | BibTeX  
• An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT.
  Stefan Leue and Alin Stefanescu and Wei Wei TOOLS (46) 238-257 (2008)
  to dblp by dblp on 2008-08-08 00:00:00
  | URL | BibTeX  
• Integration of Formal Analysis into a Model-Based Software Development Process.
  Michael W. Whalen and Darren D. Cofer and Steven Miller and Bruce H. Krogh and Walter Storm FMICS 68-84 (2007)
  to dblp by dblp on 2008-06-24 00:00:00
  | URL | BibTeX  
• Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler.
  Lars Gesellensetter and Sabine Glesner and Elke Salecker FMICS 85-100 (2007)
  to dblp by dblp on 2008-06-24 00:00:00
  | URL | BibTeX  
• Static Analysis of the Accuracy in Control Systems: Principles and Experiments.
  Eric Goubault and Sylvie Putot and Philippe Baufreton and Jean Gassino FMICS 3-20 (2007)
  to dblp by dblp on 2008-06-24 00:00:00
  | URL | BibTeX  
• Reverse Engineered Formal Models for GUI Testing.
  Ana C. R. Paiva and João C. P. Faria and Pedro M. C. Mendes FMICS 218-233 (2007)
  to dblp by dblp on 2008-06-24 00:00:00
  | URL | BibTeX  
• Computing Worst-Case Response Times in Real-Time Avionics Applications.
  Murali Rangarajan and Darren D. Cofer FMICS 101-114 (2007)
  to dblp by dblp on 2008-06-24 00:00:00
  | URL | BibTeX  
• Introducing Time in an Industrial Application of Model-Checking.
  Lionel van den Berg and Paul A. Strooper and Kirsten Winter FMICS 56-67 (2007)
  to dblp by dblp on 2008-06-24 00:00:00
  | URL | BibTeX  
• Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code.
  Bastian Schlich and Jann Löll and Stefan Kowalewski FMICS 21-37 (2007)
  to dblp by dblp on 2008-06-24 00:00:00
  | URL | BibTeX  
• Automatic Certification of Java Source Code in Rewriting Logic.
  Mauricio Alba-Castro and María Alpuente and Santiago Escobar FMICS 200-217 (2007)
  to dblp by dblp on 2008-06-24 00:00:00
  | URL | BibTeX