Travelled to:1 × Canada
1 × The Netherlands
2 × USA
Collaborated with:C.Robinson-Mallett T.Mücke U.Goltz H.Barthel T.Khan A.Ebert D.T.Daniel E.Wuchner K.Sokolov M.Stal J.Heidrich J.Münch R.Kalcklösch D.Zeckzer
Talks about:softwar (3) checker (2) visual (2) model (2) use (2) polyptychon (1) distinguish (1) constrain (1) structur (1) hierarch (1)
Person: Peter Liggesmeyer
DBLP: Liggesmeyer:Peter
Contributed to:
2014
2013
2009
20052006Wrote 5 papers:
- VISSOFT-2014-DanielWSSL #classification #dependence #named #visualisation
- Polyptychon: A Hierarchically-Constrained Classified Dependencies Visualization (DTD, EW, KS, MS, PL), pp. 83–86.
- ICSM-2013-KhanBEL #evolution #named #using
- eCITY: A Tool to Track Software Structural Changes Using an Evolving City (TK, HB, AE, PL), pp. 492–495.
- HCI-NT-2009-LiggesmeyerHMKBZ #visualisation
- Visualization of Software and Systems as Support Mechanism for Integrated Software Project Control (PL, JH, JM, RK, HB, DZ), pp. 846–855.
- A-MOST-2005-Robinson-MallettLMG #generative #model checking #sequence
- Generating optimal distinguishing sequences with a model checker (CRM, PL, TM, UG), pp. 51–57.
- A-MOST-J-2005-Robinson-MallettLMG06 #identification #model checking #using #verification
- Extended state identification and verification using a model checker (CRM, PL, TM, UG), pp. 981–992.