Samir Genaim

Samir Genaim

Universidad Complutense de Madrid
Preverjeni e-poštni naslov na fdi.ucm.es
Navedeno v 3282 virih
Program analysis termination analysis resource usage analysis
Matthias Heizmann

Matthias Heizmann

University of Stuttgart, Germany
Preverjeni e-poštni naslov na heizmann.name
Navedeno v 1915 virih
software verification automata theory termination analysis satisfiability modulo theories (SMT)
Amir Ben-Amram

Amir Ben-Amram

Preverjeni e-poštni naslov na cs.mta.ac.il
Navedeno v 1800 virih
Theory of Computation Algorithms Program Analysis Termination Analysis
Carsten Fuhs

Carsten Fuhs

Senior Lecturer, Birkbeck, University of London
Preverjeni e-poštni naslov na dcs.bbk.ac.uk
Navedeno v 1724 virih
Termination Analysis Static Program Analysis Verification Automated Reasoning Term Rewriting
Stephan Falke

Stephan Falke

Navedeno v 1627 virih
Software Verification Termination Analysis Bounded Model Checking
Akihisa Yamada

Akihisa Yamada

Senior researcher, AIST
Preverjeni e-poštni naslov na aist.go.jp
Navedeno v 779 virih
rewriting interactive theorem proving termination analysis
Florian Frohn

Florian Frohn

RWTH Aachen University, Aachen, Germany
Preverjeni e-poštni naslov na cs.rwth-aachen.de
Navedeno v 769 virih
program verification termination analysis complexity analysis
Carsten Otto

Carsten Otto

Software Engineer
Preverjeni e-poštni naslov na c-otto.de
Navedeno v 664 virih
Termination Analysis Program Verification Static Program Analysis
Daniel Larraz

Daniel Larraz

University of Iowa
Preverjeni e-poštni naslov na uiowa.edu
Navedeno v 402 virih
Software Verification Program Analysis Model Checking Termination Analysis Constraint Solving
Jesús J. Doménech

Jesús J. Doménech

Ph.D.
Preverjeni e-poštni naslov na ucm.es
Navedeno v 92 virih
Static Analysis Termination Analysis SMT solvers
1 - 10