|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 15 keywords
|
|
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan |
Automated Analysis of AODV Using UPPAAL.  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan |
A Process Algebra for Wireless Mesh Networks. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Ralf Huuck, Sean Seefried, Michael Tapp |
Fade to Grey: Tuning Static Program Analysis. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif |
Software Metrics in Static Program Analysis. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Ralf Huuck, Sean Seefried |
Counterexample Guided Path Reduction for Static Program Analysis. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker |
An Abstract Specification Language for Static Program Analysis. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Matthias Fruth, Annabelle McIver |
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
lossy communication channels, simulation, wireless networks, Graphical modelling, probabilistic model checking |
| 1 | Ansgar Fehnker, Ralf Huuck, Sean Seefried |
Incremental False Path Elimination for Static Software Analysis. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, Ansgar Fehnker |
On the Impact of Modelling Choices for Distributed Information Spread. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
Information Spread, PeerSim, Model Checking, Distributed Algorithms, PRISM |
| 1 | Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp |
Automatic Bug Detection in Microcontroller Software by Static Program Analysis. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried |
Some Assembly Required - Program Analysis of Embedded System Code. |
SCAM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer |
Goanna: Syntactic Software Model Checking. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar |
Survey on Directed Model Checking. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Athanassios Boulis, Ansgar Fehnker, Matthias Fruth, Annabelle McIver |
CaVi -- Simulation and Model Checking for Wireless Sensor Networks. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader |
Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch |
Model Checking Software at Compile Time. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Bruce H. Krogh |
Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study. |
Int. J. Found. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch |
Goanna - A Static Model Checker. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Peng Gao |
Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols. |
ADHOC-NOW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | A. K. McIver, Ansgar Fehnker |
Formal Techniques for the Analysis of Wireless Networks. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, Ansgar Fehnker, Sumit Kumar Jha, Helmut Veith |
Temporal Logic Model Checking. |
Handbook of Networked and Embedded Control Systems |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh |
Refining Abstractions of Hybrid Systems Using Counterexample Fragments. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar |
Managing Verification Activities Using SVM. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Bruce H. Krogh |
Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Franjo Ivancic |
Benchmarks for Hybrid Systems Verification. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald |
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. |
Int. J. Found. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald |
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang |
Modeling and Verifying a Lego Car Using Hybrid I/O Automata. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ed Brinksma, Angelika Mader, Ansgar Fehnker |
Verification and optimization of a PLC control schedule. |
STTT |
2002 |
DBLP DOI BibTeX RDF |
Scheduling, Model checking, Verification, Formal methods, Hybrid systems |
| 1 | Gerd Behrmann, Ansgar Fehnker |
Efficient Guiding Towards Cost-Optimality in UPPAAL. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn |
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager |
Minimum-Cost Reachability for Priced Timed Automata. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
Optimization, Algorithms, Verification, Data Structures, Timed Automata |
| 1 | Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi |
UPPAAL - Now, Next, and Future. |
MOVEP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker |
Scheduling a Steel Plant with Timed Automata. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker |
Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets. |
HSCC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager |
Operational and Logical Semantics for Polling Real-Time Systems. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")