SAMIK BASU
Assistant Professor
Department of Computer Science
Iowa State University
210 Atanasoff Hall
Ames, IA 50011-1040
Phone: 515-294-6045
Fax: 515-294-0258
E-mail: (sbasu@cs.iastate.edu)
Schedule: Google CalendarEducation
- PhD (Aug 2003) State University of New York, Stony Brook
- MS (Dec 2001) State University of New York, Stony Brook
- BE (Aug 1998) Jadavpur University, India
Research
Complete list of Publications and CV.
My main research interests include model checking, open system verification, program verification and counter-example analysis. I have been involved in projects on the application of formal methods in intrusion detection, control of discrete event systems, Web services, and software product-line verification (submitted version). Some of my recent publications:
- Jyotishman Pathak, Samik Basu and Vasant Honavar
Composing Web Services through Automatic Reformulation of Service Specifications. IEEE International Conference on Services Computing 2008.
- Saayan Mitra, Ratnesh Kumar and Samik Basu
Optimum Decentralized Choreography for Web Service Composition. IEEE International Conference on Services Computing 2008.
- Ganesh Ram Santhanam, Samik Basu and Vasant Honavar
On Utilizing Qualitative Preferences in Web Service Composition: A CP-net Based Approach. Workshop on Service Composition and Adaptation held in conjunction with IEEE International Conference on Services Computing 2008.
- Roopak Sinha, Partha S. Roop, Samik Basu and Zoran Salcic
A Module Checking Based Converter Synthesis Approach for SoCs IEEE Conference on VLSI Design 2008.
- Samik Basu and Ratnesh Kumar
Quotient-based Control Synthesis for Partially Observed Non-deterministic Plants with Mu-Calculus. IEEE Conference on Decision and Control (CDC) 2007.
- Saayan Mitra, Samik Basu and Ratnesh Kumar
Local and On-the-fly Choreography-based Web Service Composition. IEEE/WIC/ACM International Conference on Web Intelligence (WI) 2007.
- Jyotishman Pathak, Samik Basu and Vasant Honavar
On Context-Specific Substitutability of Web Services. IEEE International Conference on Web Services (ICWS) 2007.
- Saayan Mitra, Ratnesh Kumar and Samik Basu
Automated Choreographer Synthesis for Web Services Composition Using I/O Automata. IEEE International Conference on Web Services (ICWS) 2007.
- Samik Basu and Scott A. Smolka
Model Checking the Java Meta-locking Algorithm. ACM Transactions on Software Engineering and Methodology (TOSEM)
- Jyotishman Pathak, Samik Basu, Robyn Lutz and Vasant Honavar
MoSCoE: An Approach for Composing Web Services Through Iterative Reformulation of Functional Specifications. International Journal on Artificial Intelligent Tools 2007.
- Jyotishman Pathak, Samik Basu and Vasant Honavar
Assembling Composite Web Services from Autonomous Components. Book Chapter in Emerging Artificial Intelligence Applications in Computer Engineering 2007.
- Flavian Vasile and Samik Basu
Cost-based Analysis of Multiple Counterexamples. International Conference on Software Engineering and Knowledge Engineering (SEKE) 2007.
- Natalia Stakhanova, Samik Basu and Johnny Wong A Cost-Sensitive Model for Preemptive Intrusion Response Systems. International Conference on Advanced Information Networking and Applications (AINA) 2007
- Natalia Stakhanova, Samik Basu, WenSheng Zhang, Xia Wang and Johnny Wong
Specification Synthesis for Monitoring and Analysis of MANET Protocols. International Symposium on Frontiers in Networking with Applications (FINA) 2007
- Roopak Sinha, Partha S. Roop and Samik Basu
A Model Checking Approach to Protocol Conversion. Workshop on Model-driven High-level Programming of Embedded Systems 2007
Current Students:
Ru He (PhD, Probabilistic Model Checking),
Junaid Babar (PhD),
Zachary Oster (MS)
Saayan Mitra (PhD, Automata-theoretic Approach to Web Service Composition)
Past Student:
Lucas Witt (MS, 2008, Authenticated Authorization without Identification: A Formal Approach)
Natalia Stakhanova (PhD, 2007, Adaptive, Cost-Sensitive Intrusion Detection and Response System)
Curt Keller (MS, 2005, Tool for Verification and Counterexample Analysis of sequential C programs)
Events
- CFP: EURASIP Journal of Embedded System Formal Techniques for Embedded Systems Design and Validation
- Workshop on Service Composition and Adaptation (WSCA-2008) in conjunction with the IEEE International Conference on Services Computing (SCC-2008)
- International Workshop on Discrete Event Systems (WODES-2008)
- Workshop on Service Composition & Adaptation (WSCA-2007) in conjunction with the IEEE International Conference on Web Services (ICWS-2007).
- Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA-2007) satellite workshop of ETAPS.
Courses
- ComS 512 Formal Methods in Software Engineering: Spring 2008, Spring 2007, Spring 2006, Spring 2005
- Seminar on Semantic Web and Service Composition: Spring 2008, Fall 2007
- ComS 319x Software Construction: Fall 2007, Fall 2006, Fall 2005
- ComS 227 Introduction to Object-oriented Programming: Spring 2006
- ComS 228 Introduction to Data Structures using C++: Spring 2004
Misc
- CS Colloqium
- Logic programming with tabling: XSB
- Logic-based model checking project at State University of New York, Stony Brook: LMC-SUNYSB
- Software Engineering Conferences maintained by Tao Xie
- Formal Methods and Software Technology Conferences maintained by Department of Information Technology, Uppsala University
- Calcutta/Kolkata, South Point High School, Calcutta, Jadavpur University