Preserving Validity of Batch-Job Nets under Change at Run-Time. - Chris Apfelbeck; Martin Fritz; Jan Jürjens; Johannes Zweihoff (COMPSAC, 2015)

Restoring Security of Long-Living Systems by Co-evolution. - Jens Bürger 001; Stefan Gärtner 001; Thomas Ruhroth; Johannes Zweihoff; Jan Jürjens; Kurt Schneider (COMPSAC, 2015)