Online Talks

Online Talks

• Trustworthiness Of AI-Based Systems
  AVL TechTrend, April 28, 2022
• Invited Talk: Neural Circuit Policies Enabling Aaditable Autonomy.                                                                   SafeTrans Industrial Day, December 2, 2020. Slides.
• Invited Talk: The Human Heart An Ultimate Cyber-Physical System
  Univ. of Montpellier, Montpellier, France, November 29-30, 2012.
• Invited Talk: Smart Energy - A Cyber-Physical Approach
  IKT der Zukunft 2012, Vienna, Austria, November 28, 2012.
• Invited Talk: Time-Frequency Logic For Signal Processing
  Uni. Klagenfurt, Lakeside Labs, Austria, November 5, 2012.
• Invited Talk: Sodimum Channel Abstractions
  CMACS-PI Meeting, Stony Brook, NY, USA, October 15-17, 2012.
• International Panel Invited Talk: CPS from an EU-Science Perspective
  CPS-PI Meeting, National Harbor, Maryland, USA, October 3-5, 2012.
• Invited Talk: The Human Heart An Ultimate Cyber-Physical System
  CMACS/ARISE Workshop, Austrian Embassy in DC, USA, September 14, 2012.
• Invited Talk: Simulating the human heart: the great challenge.
  HSB 2012, The 1st Int. Workshop on Hybrid Systems and Biology, Newcastle upon Tyne, UK, September 3, 2012.
• Invited Talk: Time-Frequency Logic For Signal Processing.
  LfSA 2012, Logics for System Analysis Workshop, Berkeley, USA, July 7, 2012.
• Invited Talk: The Human Heart: An Ultimate Cyber-Physical System.
  AMFSB 2012, Applications of Formal Methods in Systems Biology Workshop, Berkeley, USA, July 7, 2012.
• Invited Talk: Finite Automata as Time-Invariant Linear Systems: Observability, Reachability and More.
  FTW Forschungszentrum Telekommunikation Wien, Vienna, Austria, May 29, 2012.
• Invited Talk: Cardiac-Cell Abstractions.
  IST Austria, Klosterneuburg, Austria, April 21, 2012.
• Keynote Talk: Cyber-Physical Systems from European Science Perspective.
  Agenda Acatech Closing Event "Integrated Research Agenda Cyber-Physical-Systems”, Berlin, Germany, April 12, 2012.
• Invited Talk: Modeling, Analysis and Control of Embedded Systems.
  TTTech, Vienna, Austria, March 21, 2012.
• Invited Talk: Hybrid Systems Crash Course.
  Winter School on Verification, 6-10 February 2012, Vienna, Austria.
• 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.