Samir Genaim

Samir Genaim

Universidad Complutense de Madrid
Email verificata su fdi.ucm.es
Citato da 3244
Program analysis termination analysis resource usage analysis
Matthias Heizmann

Matthias Heizmann

University of Stuttgart, Germany
Email verificata su heizmann.name
Citato da 1851
software verification automata theory termination analysis satisfiability modulo theories (SMT)
Amir Ben-Amram

Amir Ben-Amram

Email verificata su cs.mta.ac.il
Citato da 1786
Theory of Computation Algorithms Program Analysis Termination Analysis
Carsten Fuhs

Carsten Fuhs

Senior Lecturer, Birkbeck, University of London
Email verificata su dcs.bbk.ac.uk
Citato da 1713
Termination Analysis Static Program Analysis Verification Automated Reasoning Term Rewriting
Stephan Falke

Stephan Falke

Citato da 1602
Software Verification Termination Analysis Bounded Model Checking
Florian Frohn

Florian Frohn

RWTH Aachen University, Aachen, Germany
Email verificata su cs.rwth-aachen.de
Citato da 748
program verification termination analysis complexity analysis
Carsten Otto

Carsten Otto

Software Engineer
Email verificata su c-otto.de
Citato da 659
Termination Analysis Program Verification Static Program Analysis
Daniel Larraz

Daniel Larraz

University of Iowa
Email verificata su uiowa.edu
Citato da 392
Software Verification Program Analysis Model Checking Termination Analysis Constraint Solving
Jesús J. Doménech

Jesús J. Doménech

Ph.D.
Email verificata su ucm.es
Citato da 84
Static Analysis Termination Analysis SMT solvers
Nils Lommen

Nils Lommen

PhD Student, RWTH Aachen University
Email verificata su cs.rwth-aachen.de
Citato da 26
Program Verification Termination Analysis Complexity Analysis
1 - 10