Collaborated with:V.Klebanov Jörg Weisbarth Suhyun Cha M.Ulbrich B.Beckert B.Vogel-Heuser
Talks about:probabilist (1) descript (1) softwar (1) project (1) product (1) control (1) system (1) evolut (1) achiev (1) sound (1)
Person: Alexander Weigl
DBLP: Weigl:Alexander
Contributed to:
2016
2018Wrote 2 papers:
- QAPL-2016-KlebanovWW #probability #satisfiability
- Sound Probabilistic #SAT with Projection (VK, AW, JW), pp. 15–29.
- 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.