Mennicke, S., M. Lochau, J. Schroeter, and T. Winkelmann,
"Automated Verification of Feature Model Configuration Processes Based on Workflow Petri Nets",
18th International Software Product Line Conference (SPLC 2014), Florence, Italy, ACM, 09/2014.
Abstract
Lochau, M., S. Mennicke, H. Baller, and L. Ribbeck,
"DeltaCCS: A Core Calculus for Behavioral Change",
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium (ISoLA 2014), Corfu, Greece, Springer Berlin Heidelberg, 09/2014.
Abstract
Maarry, K. E., W. - T. Balke, H. Cho, S. -won Hwang, and Y. Baba,
"Skill ontology-based model for Quality Assurance in Crowdsourcing",
Workshop on Uncertain and Crowdsourced Data (UnCrowd), DASFAA, Bali, Indonesia, 04/2014.
Abstract
Download: DASFAA14_UnCrowd_2.pdf (100.82 KB)
Mennicke, S., J. - W. Schicke-Uffmann, and U. Goltz,
"On the Step Branching Time Closure of Free-Choice Petri Nets",
Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2014), Berlin, Germany, Springer Berlin Heidelberg, 02/2014.
Abstract