Tevfik Bultan - Talks

• ``Structuring Software for Verifiability,'' (power point presentation)
  • University of California, Riverside, December 13, 2007.
  • NEC Labs, Princeton, November 5, 2007.
• "Extended Interface Grammars for Automated Stub Generation," (power point presentation)
  Automated Formal Methods Workshop (AFM 2007), Atlanta, Georgia, November 6, 2007.
• "Structuring Software for Verifiability," (power point presentation)
  NEC Labs, Princeton, November 5, 2007.
• "Specification of Realizable Service Conversations Using Collaboration Diagrams," (power point presentation)
  IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2007), Newport Beach, California, June 19, 2007.
• "Modeling Interactions of Web Software," (power point presentation)
  2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV 2006), Paphos, Cyprus, November 19, 2006.
• "Analyzing Tabular Requirements Specifications Using Infinite State Model Checking." (power point presentation)
  Fourth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2006), Napa, CA, July 27, 2006.
• "Analyzing Conversations of Web Services," (power point presentation)
  State University of New York at Stony Brook, December 2, 2005.
• "Application of Design for Verification with Concurrency Controllers to Air Traffic Control Software," (power point presentation)
  The 20th IEEE/ACM Internation Conference on Automated Software Engineering, Long Beach, CA, November 7, 2005.
• "Design for Verification for Concurrent and Distributed Software," (power point presentation)
  State of the Art in Automated Software Engineering Workshop, City University, London, UK, July 27, 2005.
• "Verification of Parameterized Hierarchical State Machines Using Action Language Verifier," (power point presentation)
  Third ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2005) Verona, Italy, July 13, 2005.
• "Tools for Automated Verification of Web Services," (power point presentation)
  
  • Naval Research Lab, November 24, 2004.
  • Invited Talk at the Second International Symposium on Automated Technology on Verification and Analysis (ATVA 2004), November 1, 2004.
  • Software Chat, Computer Science Department, University of Maryland, September 27, 2004.
  • Computer Science Department, Brown University, July 9, 2004.
  • Nokia Research Center, Boston, July 12, 2004.
• "Model Checking: Foundations and Applications," (power point presentation)
  Guest lectures on model checking in CMSC 631: Program Analysis and Understanding, Computer Science Department, University of Maryland, November 9, 11, 2004.
• "Tools for Automated Verification of Concurrent Software," (power point presentation)
  Naval Research Lab, September 29, 2004.
• "WSAT: A Tool for Formal Analysis of Web Services," (power point presentation)
  16th International Conference on Computer Aided Verification (CAV 2004). Boston, July 2004.
• "Model Checking XML Manipulating Software," (power point presentation)
  2004 ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2004). Boston, July 2004.
• "Tools for Automated Verification of Web Services," (power point presentation)
  Bell Laboratories, Lucent Technologies, May 18, 2004.
• "Tools for Automated Verification of Concurrent Software," (power point presentation)
  • Department of Computer Science and Engineering, Michigan State University, September 26, 2003.
  • Department of Computer Science and Engineering, University of California, San Diego, August 18, 2003.
• "A Top-Down Approach to Modeling Global Behaviors of Web Services," (power point presentation)
  Requirements Engineering for Open Systems Workshop (REOS 2003), Monterey, California, September 8th, 2003.
• "Integrating Arithmetic Constraint Based Verification and Shape Analysis," (power point presentation)
  Dagstuhl Seminar on Deduction and Infinite-state Model Checking, April 2003.
• "Automated Verification of Concurrent Linked Lists," (power point presentation)
  9th International Static Analysis Symposium (SAS '02). Madrid, Spain, September 2002.
• "Tools for Specification, Verification, and Synthesis of Concurrency Control Components," (power point presentation)
  Faculty Research Seminar, Department of Computer Science, University of California, Santa Barbara, May 9, 2002.
• "Tools for Specification, Verification, and Synthesis of Reactive Systems," (power point presentation)
  • Computer Science Department, State University of New York at Stony Brook, March 22nd, 2002.
  • Computer Science Department, University of Massachusetts, Amherst, March 25th, 2002.
• "A Specification Language and a Verification Engine for Reliable Reactive Software Development," (power point presentation)
  School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, November 19, 2001.
• "Reachability Analysis for Some Models of Infinite-State Transition Systems." (power point presentation)
  11th International Conference on Concurrency Theory (CONCUR 2000), University Park, PA, August 2000.
• "Action Language: A Specification Language for Model Checking Reactive Systems." (power point presentation)
  22nd International Conference on Software Engineering (ICSE 2000), University of Limerick, Ireland, June 2000.
• "BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems." (power point presentation)
  Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), Berlin, Germany, March 2000.
• "Model Checking Software Specifications," (ps file)
  Faculty Research Seminar, Department of Computer Science, University of California, Santa Barbara, January 22, 1999.
• "Automated Symbolic Analysis of Reactive Systems," (ps file)
  Department of Computer Science, University of Maryland, College Park, July 16, 1998.