Travelled to:1 × Austria
1 × Estonia
1 × USA
Collaborated with:B.Steffen T.Margaria-Steffen S.Naujokat
Talks about:constraint (1) synthesi (1) prophet (1) program (1) product (1) analysi (1) within (1) system (1) treat (1) model (1)
Person: Anna-Lena Lamprecht
DBLP: Lamprecht:Anna=Lena
Contributed to:
2015
2012
2006Wrote 3 papers:
- SPLC-2015-SteffenLM #constraints #product line #synthesis
- User-level synthesis: treating product lines as systems of constraints (BS, ALL, TMS), pp. 427–431.
- FASE-2012-NaujokatLS #programming
- Loose Programming with PROPHETS (SN, ALL, BS), pp. 94–98.
- CC-2006-LamprechtMS #analysis #data flow #model checking
- Data-Flow Analysis as Model Checking Within the jABC (ALL, TMS, BS), pp. 101–104.