Arrangement
YOU ARE HERE: News & Events » Events archive » Event

News & Events

[PL Seminar] Talk: Michael Achenbach

2009.09.10 | Karl Klose

Date Wed Sep 16
Time 15:00 — 15:30
Location DI-Turing-014
Email Twitter Facebook

Time and place: 16.9.09, 15:00-15:30 in Turing-014

Speaker: Michael Achenbach

Title:
Engineering Abstractions in Model Checking and Testing

Abstract:
Abstractions are used in model checking to tackle problems like state space explosion or modeling of IO. The application of these abstractions in real software development processes, however, lacks engineering support. This is one reasonwhy model checking is not widely used in practice yet and testing is still state of the art in falsification. We showhow user-defined abstractions can be integrated into a Java PathFinder setting with tools like AspectJ or Javassist and discuss implications of remaining weaknesses of these tools. We believe that a principled engineering approach to designing and implementing abstractions will improve the applicability of model checking in practice.

CS Calendar
Comments on content: 
Karl Klose

Revised 2012.05.22

News

Computer Science Day 2012

2012.05.21 | Featured, Frontpage

15 minutes to introduce your research. This is the concept of The Computer Science Day which is held in Large Auditorium (Incuba Science Park - Katrinebjerg), Friday the 25th of May from 13.15-15.45. For the first time in the history of the Computer Science Department at AU we will award the Teacher of the year.

And the nominees are....

2012.05.03 | Featured, Frontpage

On Computer Science Day 2012 on May 25, the Department of Computer Science will award "The teacher of the year" prize for the first time. The nominees for this year's prize are: Gudmund Frandsen, Ivan Damgaard, Gerth Brodal, Olivier Danvy and Jesper Buus Nielsen.

Facebook on charm offensive at the Department of Computer Science

2012.05.01 | Featured, Frontpage

We're hiring - a message which is understandable. The sender is Facebook who showed up on April 26 to find the absolute best software students.

Danish Minister experienced research at eye level

2012.04.25 | Featured, Frontpage

On this year’s Festival of Research both computer scientists from the EcoSense project and MADALGO got the opportunity to show the Danish Minister of Science, Innovation and Higher Education how computer science research addresses this year's theme of Europe's challenges.

Google Anita Borg Memorial for Ph.D. Students at Computer Science

2012.04.24 | Featured, Frontpage

For the second year running two female Ph.D. Students at Computer Science receive Google Anita Borg Memorial Scholars. This year the first-year Ph.D. Students Barbora Micenkova and Simina Branzel are among the winners. The award focuses on breaking down barriers and aims for more women in computing. Barbora Micenkova‘s main research interest lies…

Events

Fri May 25
07:00-08:00 | DI-pvagt
End of 4th quarter
Fri May 25
13:15-15:45 | DI-5510.103 (Store Aud. Åbogade
Computer Science Day
Fri Jun 29
12:00-13:00 |
Master's Thesis Exam - Carsten Sørensen