Travelled to:1 × Estonia
1 × Ireland
1 × Norway
1 × Spain
1 × Sweden
Collaborated with:P.H.Schmitt V.Klebanov B.Beckert U.Geilmann A.A.E.Ghazi M.Taghdiri D.Felsing S.Grebing P.Rümmer Suhyun Cha Alexander Weigl B.Vogel-Heuser D.Bruns C.Scheben P.Müller N.Shankar G.T.Leavens V.Wüstholz E.Alkassar R.Arthan D.Bronish R.Chapman E.Cohen M.A.Hillebrand B.Jacobs K.R.M.Leino R.Monahan F.Piessens N.Polikarpova T.Ridge J.Smans S.Tobies T.Tuerk B.Weiß
Talks about:softwar (3) autom (2) descript (1) competit (1) regress (1) product (1) control (1) axiomat (1) verifi (1) system (1)
Person: Mattias Ulbrich
DBLP: Ulbrich:Mattias
Contributed to:
2015
2014
2013
20122011
2018Wrote 6 papers:
- FM-2015-SchmittU #axiom #first-order #logic
- Axiomatization of Typed First-Order Logic (PHS, MU), pp. 470–486.
- ASE-2014-FelsingGKRU #automation #verification
- Automating regression verification (DF, SG, VK, PR, MU), pp. 349–360.
- LOPSTR-2013-BeckertBKSSU #data flow #object-oriented
- Information Flow in Object-Oriented Software (BB, DB, VK, CS, PHS, MU), pp. 19–37.
- TACAS-2012-UlbrichGGT #alloy #proving #specification
- A Proof Assistant for Alloy Specifications (MU, UG, AAEG, MT), pp. 422–436.
- FM-2011-KlebanovMSLWAABCCHJLMPPRSTTUW #case study #contest #experience
- The 1st Verified Software Competition: Experience Report (VK, PM, NS, GTL, VW, EA, RA, DB, RC, EC, MAH, BJ, KRML, RM, FP, NP, TR, JS, ST, TT, MU, BW), pp. 154–168.
- CASE-2018-ChaWUBV #automation #evolution
- Achieving delta description of the control software for an automated production system evolution (SC, AW, MU, BB, BVH), pp. 1170–1176.