MEMOCODE'19
17th ACM-IEEE International Conference on Formal Methods and Models for System Design
San Diego, USA
October 9-11, 2019
Organization
- General Chairs
Partha Roop, University of Auckland
Naijun Zhan, Institute of Software CAS - Local Chair
Dezhi Hong, UC San Diego - Program Chairs
Pierluigi Nuzzo, University of Southern California
Sicun Gao, University of California - Publicity Chair
Bai Xue, Institute of Software CAS - Publication Chair
Srinivas Pinisetty, Indian Institute of Technology Bhubaneswar
Program Committee
- Paul Attie
American University of Beirut, Lebanon - Shuvra Bhattacharyya
University of Maryland, USA - Mingsong Chen
East China Normal University, China - Sudipta Chattopadhyay
Singapore University of Technology and Design, Singapore - Pallab Dasgupta
IIT Kharagpur, India - Robert De Simone
INRIA, France - Patricia Derler
National Instruments, USA - Stephen Edwards
Columbia University, USA - Lu Feng
University of Virginia, USA - Mamoun Filali-Amine
IRIT, France - Martin Fränzle
Carl von Ossietzky Universität, Germany - Franco Fummi
Università di Verona, Italy - Abdoulaye Gamatié
CNRS, France - Marc Geilen
Eindhoven University of Technology, Netherlands - Gregor Goessler
INRIA, France - Soonho Kong
Toyota Research Institute, Japan - Rick Kuhn
National Institute of Standards & Technology, USA - Luciano Lavagno
Politecnico di Torino, Italy - Elizabeth Leonard
Naval Research Laboratory, USA - Xuandong Li
Nanjing University, China - Katell Morin-Allory
TIMA Laboratory, France - Roberto Passerone
Università di Trento, Italy - Doron Peled
Bar Ilan University, Israel - Pavithra Prabhakar
Kansas State University, USA - Sanjiva Prasad
Indian Institute of Technology Delhi, India - Jan Reineke
Saarland University, Germany - Manoranjan Satpathy
IIT Bhubaneswar, India - Aviral Shrivastava
Arizona State University, USA - Marjan Sirjani
Malardalen University, Swedenl - Jürgen Teich
University of Erlangen-Nuremberg, Germany - Ufuk Topcu
University of Texas at Austin, USA - Stavros Tripakis
Northeastern University, USA - Ji Wang
National Laboratory for Parallel and Distributed Processing, China - Bican Xia
Peking University, China - Paolo Zuliani
Newcastle University, UK
Steering Committee
- Arvind
MIT, USA - Rajesh Gupta
UCSD, USA - James Hoe
CMU, USA - Sandeep Shukla
IIT Kanpur, India - Jean-Pierre Talpin
INRIA, France - Naijun Zhan
Institute of Software CAS, China