BibSonomy publications for /author/Leue http://www.bibsonomy.org/author/Leue BibSonomy RSS Feed for /author/Leue Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. dblp http://www.bibsonomy.org/bibtex/2c28db27b07faa98c7f7932d179ef4003/dblp dblp 2008-08-19T00:00:00+02:00 dblp
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
]]> An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. dblp http://www.bibsonomy.org/bibtex/2c3905d6f8ac1812376f20b1b4a455249/dblp dblp 2008-08-08T00:00:00+02:00 dblp
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
]]> Integration of Formal Analysis into a Model-Based Software Development Process. dblp http://www.bibsonomy.org/bibtex/203590d58cf9d2696d35290768db45482/dblp dblp 2008-06-24T00:00:00+02:00 dblp
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
]]> Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. dblp http://www.bibsonomy.org/bibtex/2f393ea535a7a88aba7371b8e61667daa/dblp dblp 2008-06-24T00:00:00+02:00 dblp
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
]]> Static Analysis of the Accuracy in Control Systems: Principles and Experiments. dblp http://www.bibsonomy.org/bibtex/2f26c19383034b1b70862bbf9734d264a/dblp dblp 2008-06-24T00:00:00+02:00 dblp
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
]]> Reverse Engineered Formal Models for GUI Testing. dblp http://www.bibsonomy.org/bibtex/214b3f9d75d7ddaaf4f8494dcccf24fc1/dblp dblp 2008-06-24T00:00:00+02:00 dblp
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
]]> Computing Worst-Case Response Times in Real-Time Avionics Applications. dblp http://www.bibsonomy.org/bibtex/28f727ffc27c993bdcdadc59536e5242f/dblp dblp 2008-06-24T00:00:00+02:00 dblp
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
]]> Introducing Time in an Industrial Application of Model-Checking. dblp http://www.bibsonomy.org/bibtex/25e5ef8af10dec3f3d87869051eba3a9b/dblp dblp 2008-06-24T00:00:00+02:00 dblp
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
]]> Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. dblp http://www.bibsonomy.org/bibtex/243e8587be9e026543190d8660382ab1b/dblp dblp 2008-06-24T00:00:00+02:00 dblp
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
]]> Automatic Certification of Java Source Code in Rewriting Logic. dblp http://www.bibsonomy.org/bibtex/2fb566538f5f1f656a2d244c60e1212b2/dblp dblp 2008-06-24T00:00:00+02:00 dblp
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
]]>