Majumdar, Rupak.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Networked systems8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020 : proceedings /
by:
(1998 :); Georgiou, Chryssis.; Majumdar, Rupak.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.Part I /
by:
(1998 :); Kuncak, Viktor.; Majumdar, Rupak.; SpringerLink (Online service)
(Electronic resources)
Tools and algorithms for the construction and analysis of systems16th international conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /
by:
(1998 :); Esparza, Javier.; Majumdar, Rupak.; SpringerLink (Online service)
(Electronic resources)
Model Checking Software15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
by:
(1998 :); Havelund, Klaus, (1955-); Majumdar, Rupak.; Palsberg, Jens.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.Part II /
by:
(1998 :); Kuncak, Viktor.; Majumdar, Rupak.; SpringerLink (Online service)
(Electronic resources)
Runtime verification6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(1998 :); Bartocci, Ezio.; Majumdar, Rupak.; SpringerLink (Online service)
(Electronic resources)
Hybrid systemscomputation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings /
by:
(1998 :); Majumdar, Rupak.; SpringerLink (Online service); Tabuada, Paulo.
(Electronic resources)
Symbolic algorithms for verification and control
by:
Majumdar, Rupak.; University of California, Berkeley.
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Data Structures and Information Theory.
Logics and Meanings of Programs.
Information Systems and Communication Service.
Software Engineering/Programming and Operating Systems.
Computer software
Computation by Abstract Devices.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computing Milieux.
Programming Languages, Compilers, Interpreters.
Processor Architectures.
Special Purpose and Application-Based Systems.
System design
Computer Science
Formal methods (Computer science)
Wireless communication systems
The Computing Profession.
Artificial Intelligence.
Computer Science.
Hybrid computers
Simulation and Modeling.
Computer Communication Networks.
System Performance and Evaluation.
Computer networks
Cloud computing
System analysis
Mobile computing