According to our database1, Derek Bronish authored at least 8 papers between 2008 and 2011.
Legend:Book In proceedings Article PhD thesis Other
Formal Aspects Comput., 2011
Formalizing Reusable Aspect-Oriented Concurrency Control.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011
Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, 2011
Proceedings of the FM 2011: Formal Methods, 2011
Proceedings of the Workshop on Future of Software Engineering Research, 2010
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009
Proceedings of the Verified Software: Theories, 2008