Online Talks

• From Cardiac Cells to Genetic Regulatory Networks.
  The 23rd International Conference on Computer Aided Verification, Snowbird, July, 2011.

• Predicting Emergent Behavior in Cardiac Tissue: A Grand Challenge.
  Invited Talk at the CMACS Seminar, CMU, Pittsburgh, July, 2011, and the Toward Systems Biology Workshop, Grenoble, June, 2011.

• Finite Automata as Time-Invariant Linear Systems: Observability, Reachability and More.
  HSCC'09, the 12th International Conference on Hybrid Systems: Computation and Control, San Francisco, USA, April, 2009.

• Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes.
  HSCC'08, the 11th International Conference on Hybrid Systems: Computation and Control, St. Louis, USA, April, 2008.

• Modeling Excitable Cells with Hybrid Automata.
  Center for Information and Systems Engineering Seminar, Boston University, March, 2008.

• Learning Cycle-Linear Hybrid Automata for Excitable Cells.
  MIT STTR Meeting, Cambridge, MA, November, 2006.

• Deep Random Search for Efficient Model Checking of Timed Automata.
  Monterey Workshop on Composition of Embedded Systems, Paris, France, October, 2006.

• Static and Runtime Verification: A Monte Carlo Approach (short).
  Dagstuhl Seminar on Specification, Verification and Testing of Open Systems, Dagstuhl, Germany, October 2006.

• Static and Runtime Verification: A Monte Carlo Approach (long).
  2nd IEEE International Conference on Intelligent Computer Communication and Processing, Cluj, Romania, September, 2006.

• Hybrid Automata as a Unifying Framework for Modeling Excitable Cells.
  Computational Biology Workshop, Stony Brook, NY, USA, June, 2006.

• Compiler-Assisted Software Verification Using Plug-Ins.
  NSF Next Generation Software Workshop at IPDPS, Rhodes Island, Greece, April, 2006.

• Efficient Modeling of Excitable Cells using Hybrid Automata (Extended Version of CMSB Talk).
  IFIP WG 2.2 Meeting, Skagen, Denmark, September, 2005.

• Open Source Model Checking.
  SoftMC'05, the 3rd International Workshop on Software Model Checking, Edinburgh, UK, July, 2005.

• Safety-Liveness Semantics for UML 2.0 Sequence Diagrams.
  ACSD'05, the 5th International Conference on Applications of Concurrency to System Design, Saint Malo, France, June, 2005.

• Monte Carlo Model Checking.
  TACAS'05, the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Edinburgh, UK, April, 2005.

• Efficient Modeling of Excitable Cells using Hybrid Automata.
  CMSB'05, the 3rd International Workshop on Computational Methods in Systems Biology, Edinburgh, UK, April, 2005.

• Quantitative Model Checking.
  ISoLa'04, the 1st International Symposium on Leveraging Applications of Formal Methods, Paphos, Cyprus, November, 2004.

• Monte Carlo Model Checking.
  IFIP WG 2.2 Meeting, Bertinoro, Italy, September, 2004.

• Monte Carlo Analysis of Security Protocols: Needham Schroeder Revisited.
  DIMACS Workshop on Security Analysis of Protocols, Rutgers University, USA, June, 2004.

• Model-Based Design and Verification of Embedded Systems.
  IFIP WG 2.2 Meeting, Amsterdam, The Netherlands, May, 2003.

• Automated Software Engineering Using Concurrent Class Machines.
  ASE'01, the 16th IEEE International Conference on Automated Software Engineering, San Diego, USA, November, 2001.

• Shared Variables Interaction Diagrams.
  ASE'01, the 16th IEEE International Conference on Automated Software Engineering, San Diego, USA, November, 2001.

• Efficient Reachability Analysis of Hierarchical Reactive Modules.
  CAV'00, the 12th International Conference on Computer Aided Verification, Chicago, IL, July, 2000.

• Modular Refinement of Hierarchic Reactive Machines.
  POPL'00, the 27th Symposium on Principles of Programming Languages, Boston, Massachusetts, January, 2000.

• Modular Specification of Hybrid Systems in Charon.
  HSCC'00, the 3rd International Workshop on Hybrid Systems: Computation and Control, Pittsburgh, PA, March, 2000.

• Hierarchical Design and Analysis of Reactive Systems.
  MFCS'00, the 25th International Symposium on Mathematical Foundations of Computer Science, Bratislava, Slovak Republic, September, 2000.

• Requirements Specification of an Automotive System with Hybrid Sequence Charts.
  WORDS 99F, the 5th International Workshop on Object-oriented Real-time Dependable Systems, Monterey, California, USA, November, 1999.

• A Modular Visual Model for Hybrid Systems.
  FTRTFT'98, the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lyngby, Denmark, September, 1998.

• Visual Formalisms Revisited.
  ACSD'98, the 1st International Conference on Application of Concurrency to System Design, Aizu-Wakamatsu, Japan, March, 1998.

• Towards a Calculus for UML-RT Specifications.
  The 7th OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Vancouver, Canada, October, 1998.