Search Results

Documents authored by Reps, Thomas

Found 2 Possible Name Variants:

Reps, Thomas W.

Document
DOI: 10.4230/DagRep.4.8.89
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)

Authors: Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, and Aditya Thakur

Published in: Dagstuhl Reports, Volume 4, Issue 8 (2015)

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14351 "Decision Procedures and Abstract Interpretation". The seminar brought together practitioners and reseachers in abstract interpretation and decision procedures. The meeting highlighted the connections between the two disciplines, and created new links between the two research communities. Joint activities were also conducted with the participants of Dagstuhl Seminar 14352 "Next Generation Static Software Analysis Tools", which was held concurrently.
Cite as

Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, and Aditya Thakur. Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351). In Dagstuhl Reports, Volume 4, Issue 8, pp. 89-106, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{kroening_et_al:DagRep.4.8.89,
  author =	{Kroening, Daniel and Reps, Thomas W. and Seshia, Sanjit A. and Thakur, Aditya},
  title =	{{Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)}},
  pages =	{89--106},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{8},
  editor =	{Kroening, Daniel and Reps, Thomas W. and Seshia, Sanjit A. and Thakur, Aditya},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.89},
  URN =		{urn:nbn:de:0030-drops-48007},
  doi =		{10.4230/DagRep.4.8.89},
  annote =	{Keywords: Program analysis, Abstract interpretation, Abstract domain, Fixed-point finding, Satisfiability checking, Satisfiability modulo theories, Decision pro}
}
Document
DOI: 10.4230/DagRep.2.1.100
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051)

Authors: Andy M. King, Alan Mycroft, Thomas W. Reps, and Axel Simon

Published in: Dagstuhl Reports, Volume 2, Issue 1 (2012)

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12051 ``Analysis of Executables: Benefits and Challenges''. The seminar had two focus groups: security engineers who need to find bugs in existing software systems and people in academia who try to build automated tools to prove correctness. The meeting of these diverse groups was beneficial and productive for all involved.
Cite as

Andy M. King, Alan Mycroft, Thomas W. Reps, and Axel Simon. Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). In Dagstuhl Reports, Volume 2, Issue 1, pp. 100-116, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@Article{king_et_al:DagRep.2.1.100,
  author =	{King, Andy M. and Mycroft, Alan and Reps, Thomas W. and Simon, Axel},
  title =	{{Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051)}},
  pages =	{100--116},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{1},
  editor =	{King, Andy M. and Mycroft, Alan and Reps, Thomas W. and Simon, Axel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.1.100},
  URN =		{urn:nbn:de:0030-drops-34585},
  doi =		{10.4230/DagRep.2.1.100},
  annote =	{Keywords: Executable analysis, reverse engineering, malware detection, control flow reconstruction, emulators, binary instrumentation}
}

Reps, Thomas

Document
DOI: 10.4230/DagSemRep.204
Program Comprehension and Software Reengineering (Dagstuhl Seminar 98101)

Authors: Hausi Müller, Thomas Reps, and Gergor Snelting

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Hausi Müller, Thomas Reps, and Gergor Snelting. Program Comprehension and Software Reengineering (Dagstuhl Seminar 98101). Dagstuhl Seminar Report 204, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1998)

Copy BibTex To Clipboard

@TechReport{muller_et_al:DagSemRep.204,
  author =	{M\"{u}ller, Hausi and Reps, Thomas and Snelting, Gergor},
  title =	{{Program Comprehension and Software Reengineering (Dagstuhl Seminar 98101)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{204},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.204},
  URN =		{urn:nbn:de:0030-drops-150901},
  doi =		{10.4230/DagSemRep.204},
}
Document
DOI: 10.4230/DagSemRep.88
Incremental Computation and Dynamic Algorithms (Dagstuhl Seminar 9418)

Authors: Jan van Leeuwen, Kurt Mehlhorn, and Thomas Reps

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Jan van Leeuwen, Kurt Mehlhorn, and Thomas Reps. Incremental Computation and Dynamic Algorithms (Dagstuhl Seminar 9418). Dagstuhl Seminar Report 88, pp. 1-26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1994)

Copy BibTex To Clipboard

@TechReport{vanleeuwen_et_al:DagSemRep.88,
  author =	{van Leeuwen, Jan and Mehlhorn, Kurt and Reps, Thomas},
  title =	{{Incremental Computation and Dynamic Algorithms (Dagstuhl Seminar 9418)}},
  pages =	{1--26},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{88},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.88},
  URN =		{urn:nbn:de:0030-drops-149765},
  doi =		{10.4230/DagSemRep.88},
}
Document
DOI: 10.4230/DagSemRep.34
Programming Environments (Dagstuhl Seminar 9211)

Authors: Paul Klint, Thomas Reps, and Gregor Sneltig

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Paul Klint, Thomas Reps, and Gregor Sneltig. Programming Environments (Dagstuhl Seminar 9211). Dagstuhl Seminar Report 34, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1992)

Copy BibTex To Clipboard

@TechReport{klint_et_al:DagSemRep.34,
  author =	{Klint, Paul and Reps, Thomas and Sneltig, Gregor},
  title =	{{Programming Environments (Dagstuhl Seminar 9211)}},
  pages =	{1--24},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{34},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.34},
  URN =		{urn:nbn:de:0030-drops-149222},
  doi =		{10.4230/DagSemRep.34},
}
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact