Travelled to:3 × USA
Collaborated with:M.Odersky P.Godefroid L.J.Jagadeesan R.Jagadeesan S.Herr J.Shafaee G.K.Thiruvathukal G.Wirtz
Talks about:autom (2) constraint (1) technolog (1) systemat (1) interact (1) process (1) system (1) servic (1) combin (1) cross (1)
Person: Konstantin Läufer
DBLP: L=auml=ufer:Konstantin
Contributed to:
2008
2000
1996Wrote 3 papers:
- SEKE-2008-HerrLSTW #automation #process
- Combining SOA and BPM Technologies for Cross-System Process Automation (SH, KL, JS, GKT, GW), pp. 339–344.
- FSE-2000-GodefroidJJL #automation #constraints #interactive #testing
- Automated systematic testing for constraint-based interactive services (PG, LJJ, RJ, KL), pp. 40–49.
- POPL-1996-OderskyL
- Putting Type Annotations to Work (MO, KL), pp. 54–67.