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