martinschaef.de

Martin Schäf - Homepage

Email: martin.schaef@sri.com. Dr Martin Schäf is a Senior Computer Scientist at SRI International. Before joining SRI, he worked at the United Nations University. In Macau. He received his PhD from University of Freiburg. In 2011, and his MS degree in computer science from Saarland University. In 2006. His research interests include static analysis, software verification, fault localization, and GUI testing. JayHorn jayhorn.github.io/jayhorn/. Software Model Checker for Java. Resource Contracts for Java.

http://www.martinschaef.de/

OVERVIEW OF martinschaef.de

TRAFFIC RANK

>1,000,000

REVIEWS

0

PAGES IN THIS WEBSITE

0

LINKS TO THIS WEBSITE

CONTACTS

ADDRESSES

SOCIAL LINKS

ONLINE SINCE

WEBSITE DETAILS

SEO

PAGES

SIMILAR SITES

TRAFFIC RANK FOR MARTINSCHAEF.DE

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

November

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Friday

TRAFFIC BY CITY

Sign up

CUSTOMER REVIEWS

Average Rating: 4.1 out of 5 with 14 reviews

5 star

7

4 star

4

3 star

2

2 star

0

1 star

1

Hey there! Start your review of martinschaef.de

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

LOAD TIME

0.6 seconds

CONTACTS AT MARTINSCHAEF.DE

ADD CONTACT

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

CONTENT

PAGES IN
THIS WEBSITE

0

SSL

EXTERNAL LINKS

1

SITE IP

89.31.143.16

LOAD TIME

0.594 sec

SCORE

6.2

PAGE TITLE

Martin Schäf - Homepage | martinschaef.de Reviews

<META> DESCRIPTION

Email: martin.schaef@sri.com. Dr Martin Schäf is a Senior Computer Scientist at SRI International. Before joining SRI, he worked at the United Nations University. In Macau. He received his PhD from University of Freiburg. In 2011, and his MS degree in computer science from Saarland University. In 2006. His research interests include static analysis, software verification, fault localization, and GUI testing. JayHorn jayhorn.github.io/jayhorn/. Software Model Checker for Java. Resource Contracts for Java.

<META> KEYWORDS

1 martin schäf

2 senior computer scientist

3 computer science laboratory

4 sri international

5 tools and projects

6 recent publications

7 education

8 major

9 computer science

10 advisor

CONTENT

Page content here

KEYWORDS ON PAGE

martin schäf,senior computer scientist,computer science laboratory,sri international,tools and projects,recent publications,education,major,computer science,advisor,prof andreas podelski,misc

SERVER

Apache

CONTENT-TYPE

utf-8

GOOGLE PREVIEW

Martin Schäf - Homepage | martinschaef.de Reviews

https://martinschaef.de

Email: martin.schaef@sri.com. Dr Martin Schäf is a Senior Computer Scientist at SRI International. Before joining SRI, he worked at the United Nations University. In Macau. He received his PhD from University of Freiburg. In 2011, and his MS degree in computer science from Saarland University. In 2006. His research interests include static analysis, software verification, fault localization, and GUI testing. JayHorn jayhorn.github.io/jayhorn/. Software Model Checker for Java. Resource Contracts for Java.

LINKS TO THIS WEBSITE

swt.informatik.uni-freiburg.de

Team — Software Engineering

http://swt.informatik.uni-freiburg.de/staff

Only in current section. Student Projects and Thesis Topics. Softwaretechnik / Software Engineering (Lecture). Cyber-Physical Systems - Hybrid Models (Lecture). Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE). Automata Theory (Seminar, Proseminar). Program Analysis and Software Testing (Seminar). Software Design, Modelling, and Analysis in UML (Lecture). Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE). Automata Theory (Seminar, Proseminar). Automata Theory (Seminar, Proseminar).

UPGRADE TO PREMIUM TO VIEW 0 MORE

TOTAL LINKS TO THIS WEBSITE

1

SOCIAL ENGAGEMENT

martinschaef

OTHER SITES

martinschaap.com

www.martinschaap.com

martinschaberl.com

Martin Schaberl

martinschade.com

V8 Studio

Maurice Lacroix Time and Again. 49 (0) 8122 / 847 30 37.

martinschade.dk

Martin Schade, filmklipper

Martin Schade, filmklipper. Trailers & Promos. Trailers & Promos. Tordenskjold & Kold. 45 21 61 50 93. 45 26 70 77 94. Martin Schade, filmklipper.

martinschaedlich.de

Home

Martin Schädlich Trompeter, Dirigent, Instrumentalpädagoge.

martinschaef.de

Martin Schäf - Homepage

Email: martin.schaef@sri.com. Dr Martin Schäf is a Senior Computer Scientist at SRI International. Before joining SRI, he worked at the United Nations University. In Macau. He received his PhD from University of Freiburg. In 2011, and his MS degree in computer science from Saarland University. In 2006. His research interests include static analysis, software verification, fault localization, and GUI testing. JayHorn jayhorn.github.io/jayhorn/. Software Model Checker for Java. Resource Contracts for Java.

martinschaefer.com

Unternehmerverlag Home

Der unternehmerische Erfolg durch die Erschließung von Märkten, durch die Entwicklung neuer Produkte und durch den Dienst am Kunden ist häufig eng verbunden mit dem Bewusstsein einer besonderen gesellschaftlichen Verantwortung. Wer sich nicht den Weisungen eines Vorgesetzten fügen will, sondern sich mit aller Konsequenz ausschließlich dem Urteil des Marktes und der Kunden stellt, der denkt, handelt und fühlt in einer besonderen Weise.

martinschaefer.info

Homepage of Martin Schäfer

Looking for the demeco project? Check www.demeco-project.eu. PD Dr Martin Schäfer. Department of English and Media. Faculty of Arts, Law and Social Science. Office hours: please email me to set up an appointment.

martinschaefer.nl

Freelance Lotus Domino Specialist: Martin Schaefer - Home

Chat met Martin Schaefer. Zie de contact pagina. De laatste weblog entries. Customer Panel. Zo kan het ook gaan. Get Social, Do Squash! Nieuw Nederlands Lotus weblog. Lotus Notes/Domino specialist voor uw bedrijf. Met de focus op Lotus Notes. Is Martin Schaefer flexibel inzetbaar voor kleine ad-hoc werkzaamheden zoals troubleshooting. Maar ook grotere projecten. Zowel als solist als in een team komt Martin uitstekend tot zijn recht. Martin is specialist op het gebied van migraties en conversies. Voor...

martinschaefer.org

Martin L. Schäfer - Sprecher Schauspieler Musiker

Martin L. Schäfer. 23041965 - 13.05.2017.

martinschaeffner.com

Martin Schaeffner