Dirk Beyer
@beyer_dirk
Followers
761
Following
17
Media
11
Statuses
230
Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)
Munich, Bavaria
Joined December 2012
New journal in software engineering is born: PACMSE.The inaugural issue just got published:
1
11
61
The proceedings of ESEC/FSE 2023 has now videos of the presentations included for almost all papers:
0
1
6
TU Munich is looking for a full professor in programming languages:
0
15
29
ETAPS is calling for nominations of great research tools with connections to the ETAPS community,. for the ETAPS Test-of-Time Tool Award 2024. Please hand in a nomination:
0
3
5
Results of the 6th Competition on Software Testing are available:
0
2
10
Poor ChatGPT is not allowed to submit papers to ACM anymore, not even as co-author [. Needs to find humans now to influence and relay its ideas.
0
1
13
1st Workshop on Verification Witnesses and Their Validation -- Be invited to participate! Deadline June 8. July 17, 2023, Paris, France. Co-located with CAV 2023.
0
6
11
We would like to thank the @ETAPSconf and @FaseConf committees for selecting our work for the Test of Time award. And thank you for the many congratulations!.
0
0
4
After all the postings about our @ETAPSconf Test-of-Time award, let me point you to the actual @FaseConf *paper* that got the award: It is a beautifully simple and extremely effective technique. Here the slides:
1
1
13
RT @ETAPSconf: @beyer_dirk talks about their paper that has won the ETAPS Test-of-time award this year. Congrats, Dirk! .
0
1
0
RT @FaseConf: @beyer_dirk made FASE history today, receiving the ETAPS Test-of-Time award for his 2013 paper at FASE. This is the first tim….
0
1
0
RT @ETAPSconf: The 2023 ETAPS Test of Time Award went to Dirk Beyer and Stefan Löwe for their FASE 2013 paper Explicit-State Software Mode….
0
1
0
Please consider to nominate excellent research tools that came out of the ETAPS community, for the 2023 ETAPS Test-of-Time Tool Award with Deadline March 5, 2023.
0
5
4