Podelski, Andreas.
Podelski, Andreas, 19..-....
Andreas Podelski Ph.D. Université Paris Diderot - Paris 7 1989
VIAF ID: 41908895 ( Personal )
Permalink: http://viaf.org/viaf/41908895
Preferred Forms
- 100 0 _ ‡a Andreas Podelski ‡c Ph.D. Université Paris Diderot - Paris 7 1989
- 200 _ | ‡a Podelski ‡b Andreas
- 100 1 _ ‡a Podelski, Andreas
- 100 1 _ ‡a Podelski, Andreas
- 100 1 _ ‡a Podelski, Andreas
- 100 1 _ ‡a Podelski, Andreas
-
-
-
- 100 1 _ ‡a Podelski, Andreas
-
-
-
-
- 100 1 _ ‡a Podelski, Andreas, ‡d 19..-....
-
4xx's: Alternate Name Forms (2)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Abstraktions-basierte Analyse von Hybrid-Automaten | |
Analyse modulaire de propriétés numériques par interprétation abstraite | |
class of timed automata with quasi-equal clocks | |
Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers | |
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) | |
EJC '2002 : programmation par contraintes : notes de cours | |
Finding constancy in linear routines | |
Floating-point numbers round-off error analysis by constraint programming. | |
A formal approach to the development of industrial cyber-physical systems | |
Formalisation and analysis of system requirements | |
Fundamental techniques for the scalable analysis of systems | |
Généralisation d'automates alternatifs sur des alphabets infinis | |
Interpolation in software model checking and fault localization = Interpolation in Software Model Checking und Defektlokalisierung | |
Interpolation modulo theories | |
A logic-based approach to system testing | |
Model checking for time division multiple access systems | |
Monoïdes d'arbres et automates d'arbres | |
Networked Systems : 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers | |
New techniques for abstraction refinement | |
Program analysis and black-box GUI testing = Program Analysis und Black-box GUI Testing | |
Recherche de constance dans les routines linéaires. | |
REPRESENTATION D'ENSEMBLES D'ARBRES POUR L'INTERPRETATION ABSTRAITE | |
SMT solving, interpolation, and quantifiers | |
Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings | |
Static analysis of program by Abstract Interpretation and Decision Procedures | |
Statische Erkennung von unvermeidbaren Fehlern | |
Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes | |
Stratified commutativity in verification algorithms for concurrent programs | |
TACAS 2004 | |
Temporal prophecy for proving temporal properties of infinite-state systems | |
Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings | |
Traces, interpolants, and automata a new approach to automatic software verification | |
Transitionsbasierte gerichtete Modellprüfung | |
Tree automata and languages | |
Ultimate automizer and the search for perfect interpolants : (competition contribution) | |
Ultimate GemCutter and the axes of generalization | |
Ultimate Taipan with Dynamic Block Encoding : (Competition Contribution) | |
Ultimate TreeAutomizer (CHC-COMP tool description) | |
Vérification de scripts Shell effectuant des transformations de système de fichiers hiérarchiques. | |
Vérification formelle de structures de données concurrentes. | |
Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings | |
Verified software, (Springer) | |
Verified software theories, tools, experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings | |
Verifikation von Geschäftsregel-Programmen | |
Verifikation von Hypervisorunterrutinen, geschrieben in Assembler | |
VSTTE 2012 |