|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 37 occurrences of 22 keywords
|
|
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Erik Zawadzki, Geoffrey J. Gordon, André Platzer |
An Instantiation-Based Theorem Prover for First-Order Programming.  |
Journal of Machine Learning Research - Proceedings Track  |
2011 |
DBLP BibTeX RDF |
|
| 1 | André Platzer |
The Structure of Differential Invariants and Differential Cut Elimination |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sicun Gao, André Platzer, Edmund M. Clarke |
Quantifier Elimination over Finite Fields Using Gröbner Bases |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | João Martins, André Platzer, João Leite |
Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David W. Renshaw, Sarah M. Loos, André Platzer |
Distributed Theorem Proving for Distributed Hybrid Systems. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sicun Gao, André Platzer, Edmund M. Clarke |
Quantifier Elimination over Finite Fields Using Gröbner Bases. |
CAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer |
Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs. |
CADE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Akshay Rajhans, Ajinkya Bhave, Sarah M. Loos, Bruce H. Krogh, André Platzer, David Garlan |
Using parameters in architectural views to support heterogeneous design and verification. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah M. Loos, André Platzer, Ligia Nistor |
Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer |
Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial). |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer |
Quantified differential invariants. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer |
Differential-algebraic Dynamic Logic for Differential-algebraic Programs. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer |
Differential Dynamic Logics. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer |
Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics. |
|
2010 |
DOI RDF |
|
| 1 | Paolo Zuliani, André Platzer, Edmund M. Clarke |
Bayesian statistical model checking with application to Simulink/Stateflow verification. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
bayesian statis tics, statistical model checking, hybrid systems, probabilistic model checking, stochastic systems |
| 1 | André Platzer |
Quantified Differential Dynamic Logic for Distributed Hybrid Systems. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer |
Verification of Cyberphysical Transportation Systems. |
IEEE Intelligent Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer, Edmund M. Clarke |
Computing differential invariants of hybrid systems as fixedpoints. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer, Jan-David Quesel |
European Train Control System: A Case Study in Formal Verification. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
formal verification of hybrid systems, train control, parameter constraint identification, theorem proving, disturbances |
| 1 | André Platzer, Jan-David Quesel, Philipp Rümmer |
Real World Verification. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
hybrid systems, software verification, decision procedures, Real-closed fields |
| 1 | Sumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani |
A Bayesian Approach to Model Checking Biological Systems. |
CMSB |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer, Edmund M. Clarke |
Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer |
Differential Dynamic Logic for Hybrid Systems. |
J. Autom. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
Verification of hybrid systems, Differential equations, Automated theorem proving, Dynamic logic, Sequent calculus, Axiomatisation |
| 1 | André Platzer, Jan-David Quesel |
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
verification of hybrid systems, decision procedures, computer algebra, automated theorem proving, dynamic logic |
| 1 | André Platzer |
Differential Dynamic Logic: Automated Theorem Proving for Hybrid Systems. |
Ausgezeichnete Informatikdissertationen |
2008 |
DBLP BibTeX RDF |
|
| 1 | André Platzer, Edmund M. Clarke |
Computing Differential Invariants of Hybrid Systems as Fixedpoints. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
verification of hybrid systems, verification logic, fixedpoint engine, differential invariants |
| 1 | André Platzer, Jan-David Quesel |
Logical Verification and Systematic Parametric Analysis in Train Control. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
logic for hybrid systems, symbolic decomposition, parametric verification |
| 1 | Stephanie Kemper, André Platzer |
SAT-based Abstraction Refinement for Real-time Systems. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer |
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer |
A Temporal Dynamic Logic for Verifying Hybrid System Invariants. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
logic for hybrid systems, deductive verification of embedded systems, temporal logic, dynamic logic, sequent calculus |
| 1 | André Platzer |
Combining Deduction and Algebraic Constraints for Hybrid System Analysis. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | André Platzer |
Differential Dynamic Logic for Verifying Parametric Hybrid Systems. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
verification of parametric hybrid systems, dynamic logic, quantifier elimination, sequent calculus |
| 1 | Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz |
Automating Verification of Cooperation, Control, and Design in Traffic Applications. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer, Edmund M. Clarke |
The Image Computation Problem in Hybrid Systems Model Checking. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
model checking, hybrid systems, image computation |
| 1 | André Platzer |
Differential Logic for Reasoning About Hybrid Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
hybrid systems, dynamic logic, parametric verification |
| 1 | Bernhard Beckert, André Platzer |
Dynamic Logic with Non-rigid Functions. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
logical foundations of programming languages, object-orientation, software verification, Dynamic logic, sequent calculus, program logic |
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")