1. Concurrency control generation for dynamic threads using discrete-event systems;Auer;Communication, Control, and Computing, 2009. Allerton 2009. 47th Annual Allerton Conference on,2009
2. Synthesis of concurrent and distributed adaptors for component-based systems;Autili,2006
3. Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems;Autili;Journal of Systems and Software,2008
4. Synchronous and bidirectional component interfaces;Chakrabarti,2002
5. Contracts for modular discrete controller synthesis;Delaval,2010