Search results for: Rupak Majumdar
Formal Methods in System Design > 2017 > 51 > 1 > 1-4
Discrete Event Dynamic Systems > 2017 > 27 > 2 > 261-299
Formal Methods in System Design > 2017 > 50 > 2-3 > 168-206
Acta Informatica > 2017 > 54 > 8 > 729-764
Acta Informatica > 2018 > 55 > 2 > 153-189
Acta Informatica > 2017 > 54 > 2 > 217-242
Formal Methods in System Design > 2017 > 50 > 2-3 > 140-167
Acta Informatica > 2017 > 54 > 2 > 191-215
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Semantics > 226-241
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Invited Contributions > 2-18
Lecture Notes in Computer Science > Static Analysis > Static Analysis of Concurrent Languages > 109-126
Lecture Notes in Computer Science > Automata, Languages and Programming > Logic and Lambda-Calculus > 886-902
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 6 > 378-394