|
Interacting Process Classes
Ankit Goel, Abhik Roychoudhury, and P.S. Thiagarajan
ACM Transactions on Software Engineering and
Methodology (TOSEM), To appear.
Symbolic Message Sequence Charts
Abhik Roychoudhury, Ankit Goel and Bikram Sengupta
15th ACM SIGSOFT Symposium on the Foundations of
Software Engineering (FSE),
Held jointly with ESEC, ESEC-FSE 2007.
Synthesis and Traceability of Scenario-based Executable
Models
Ankit
Goel and Abhik Roychoudhury
Invited Paper, Intl. Symp. on Leveraging
Applications of Formal Methods, Verification and
Validation (ISoLA) 2006, IEEE Press.
Interacting Process Classes
Ankit Goel, Sun Meng, Abhik Roychoudhury and P.S. Thiagarajan
International Conference on Software Engineering (ICSE) 2006.
UML based modeling of Process Classes for System Level
Design
Ankit Goel, K.D. Nguyen, Abhik Roychoudhury and P.S.
Thiagarajan
International
Workshop on UML for SoC Design, Pre-conference workshop of Design
Automation Conference (DAC) 2005.
Compactly Representing Parallel
Program Executions
Ankit Goel, Abhik Roychoudhury and Tulika Mitra
ACM Symposium on Principles and Practice of Parallel
Programming (PPoPP) 2003, pages 191-202.
|
