Rupak Majumdar
#150,033
Most Influential Person Now
Rupak Majumdar's AcademicInfluence.com Rankings
Rupak Majumdarcomputer-science Degrees
Computer Science
#7823
World Rank
#8230
Historical Rank
Software Engineering
#211
World Rank
#213
Historical Rank
Algorithms
#308
World Rank
#312
Historical Rank
Database
#4876
World Rank
#5064
Historical Rank

Download Badge
Computer Science
Rupak Majumdar's Degrees
- PhD Computer Science Stanford University
Similar Degrees You Can Earn
Why Is Rupak Majumdar Influential?
(Suggest an Edit or Addition)Rupak Majumdar's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Lazy abstraction (2002) (1222)
- Software Verification with BLAST (2003) (527)
- The software model checker Blast (2007) (442)
- The software model checker B last : Applications to software engineering (2007) (423)
- Abstractions from proofs (2004) (422)
- Hybrid Concolic Testing (2007) (409)
- Automatic predicate abstraction of C programs (2001) (401)
- Generating tests from counterexamples (2004) (239)
- Dynamic test input generation for database applications (2007) (226)
- Cause clue clauses: error localization using maximum satisfiability (2010) (224)
- Race checking by context inference (2004) (203)
- Temporal-Safety Proofs for Systems Code (2002) (195)
- Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods (2000) (185)
- Proving non-termination (2008) (167)
- The Element of Surprise in Timed Games (2003) (167)
- Discounting the Future in Systems Theory (2003) (162)
- Thread-Modular Abstraction Refinement (2003) (147)
- Markov Decision Processes with Multiple Objectives (2006) (139)
- Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions (2013) (139)
- Quantitative solution of omega-regular games (2004) (138)
- Path invariants (2007) (136)
- Path slicing (2005) (132)
- Race detection for Android applications (2014) (128)
- Abstractions from proofs (2004) (122)
- Software model checking (2009) (118)
- Permissive interfaces (2005) (117)
- Model checking discounted temporal properties (2005) (115)
- Rectangular Hybrid Games (1999) (107)
- On Nash Equilibria in Stochastic Games (2004) (107)
- Invariant Synthesis for Combined Theories (2007) (107)
- Extreme Model Checking (2003) (101)
- Tools and Algorithms for the Construction and Analysis of Systems (2010) (100)
- Interpolation for data structures (2006) (96)
- Interprocedural analysis of asynchronous programs (2007) (96)
- Algorithmic verification of asynchronous programs (2010) (96)
- Symbolic Algorithms for Infinite-State Games (2001) (92)
- A classification of symbolic transition systems (2000) (91)
- Testing for buffer overflows with length abstraction (2008) (90)
- Engage: a deployment management system (2012) (90)
- Directed test generation using symbolic grammars (2007) (89)
- jMocha: a model checking tool that exploits design structure (2001) (88)
- The Blast Query Language for Software Verification (2004) (87)
- Lock allocation (2007) (86)
- MrCrypt: static analysis for secure cloud computations (2013) (77)
- Quantifying Similarities Between Timed Systems (2005) (75)
- Approximate counting in SMT and value estimation for probabilistic programs (2014) (73)
- Counterexample-Guided Control (2003) (67)
- Tasks: language support for event-driven programming (2007) (67)
- Automatic verification of control system implementations (2010) (67)
- Joining dataflow with predicates (2005) (67)
- From tests to proofs (2009) (64)
- Stack size analysis for interrupt-driven programs (2003) (63)
- HMC: Verifying Functional Programs Using Abstract Interpreters (2010) (63)
- Verification of population protocols (2017) (62)
- Parameterized Verification of Asynchronous Shared-Memory Systems (2013) (60)
- Checking Memory Safety with Blast (2005) (60)
- An SMT-Based Approach to Coverability Analysis (2014) (60)
- From verification to control: dynamic programs for omega-regular objectives (2001) (58)
- Towards Robustness for Cyber-Physical Systems (2014) (57)
- CSIsat: Interpolation for LA+EUF (2008) (56)
- Bug-Assist: Assisting Fault Localization in ANSI-C Programs (2011) (56)
- Symbolic Robustness Analysis (2009) (56)
- Joint Inference of Reward Machines and Policies for Reinforcement Learning (2019) (53)
- Quantifying conformance using the Skorokhod metric (2015) (52)
- Kuai: A model checker for software-defined networks (2014) (52)
- Testing Cyber-Physical Systems through Bayesian Optimization (2017) (50)
- Symbolic Model Checking for Rectangular Hybrid Systems (2000) (47)
- Reducing Test Inputs Using Information Partitions (2009) (47)
- Time-Safety Checking for Embedded Programs (2002) (45)
- Abstract Interpretation of Game Properties (2000) (44)
- Fine-Grained Access Control with Object-Sensitive Roles (2009) (44)
- Bounded underapproximations (2008) (44)
- Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems (2018) (43)
- Game Relations and Metrics (2007) (43)
- Directed test generation using symbolic grammars (2007) (43)
- Pessoa 2.0: a controller synthesis tool for cyber-physical systems (2011) (42)
- Compositional Synthesis of Finite-State Abstractions (2016) (40)
- Synthesis of fixed-point programs (2013) (40)
- Stochastic limit-average games are in EXPTIME (2008) (39)
- Synthesis of Geometry Proof Problems (2014) (39)
- Robust FPGA resynthesis based on fault-tolerant Boolean matching (2008) (39)
- Incremental, Inductive Coverability (2013) (39)
- Performance-aware scheduler synthesis for control systems (2011) (38)
- Robust discrete synthesis against unspecified disturbances (2011) (37)
- Game Refinement Relations and Metrics (2008) (36)
- Backstepping controller synthesis and characterizations of incremental stability (2012) (35)
- Decision Problems for the Verification of Real-Time Software (2006) (34)
- Synthesis of minimal-error control software (2012) (33)
- Approximately Bisimilar Symbolic Models for Digital Control Systems (2012) (33)
- Verifying Quantitative Properties Using Bound Functions (2005) (32)
- Compositional abstractions of interconnected discrete-time stochastic control systems (2017) (32)
- Exploiting symmetry in SAT-based boolean matching for heterogeneous FPGA technology mapping (2007) (31)
- Verifying liveness for asynchronous programs (2009) (30)
- Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes (2015) (30)
- Randomized testing of distributed systems with probabilistic guarantees (2018) (30)
- IPR: In-Place Reconfiguration for FPGA fault tolerance (2009) (30)
- Parameterized verification of transactional memories (2010) (29)
- Verifying Reference Counting Implementations (2009) (29)
- Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility (2018) (28)
- A Perfect Model for Bounded Verification (2012) (27)
- Thread modularity at many levels: a pearl in compositional verification (2017) (27)
- State of the Union: Type Inference Via Craig Interpolation (2007) (27)
- Input-output robustness for discrete systems (2012) (26)
- Language-Theoretic Abstraction Refinement (2012) (26)
- Antlab: A Multi-Robot Task Server (2017) (26)
- Dynamic Bayesian networks for formal verification of structured stochastic processes (2017) (26)
- Paracosm: A Language and Tool for Testing Autonomous Driving Systems (2019) (26)
- Symbolic controller synthesis for Büchi specifications on stochastic systems (2019) (26)
- Quantitative solution of omega-regular games380872 (2001) (25)
- LATEST : Lazy Dynamic Test Input Generation (2007) (25)
- Counterexample-guided Planning (2005) (24)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (2020) (24)
- Model checking parameterized asynchronous shared-memory systems (2015) (24)
- Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances (2017) (23)
- Dynamic scheduling for networked control systems (2015) (23)
- Fault-tolerant resynthesis with dual-output LUTs (2010) (23)
- Fair Termination for Parameterized Probabilistic Concurrent Systems (2017) (23)
- Model Checking Database Applications (2013) (23)
- Code aware resource management (2005) (22)
- A Lyapunov approach in incremental stability (2011) (22)
- Deductive control synthesis for alternating-time logics (2014) (22)
- Algorithms for Game Metrics (2008) (21)
- Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications (2017) (21)
- Computing the Skorokhod distance between polygonal traces (2014) (21)
- Why is random testing effective for partition tolerance bugs? (2017) (21)
- Scalable testing of file system checkers (2012) (21)
- CLSE: Closed-Loop Symbolic Execution (2012) (21)
- Paracosm: A Test Framework for Autonomous Driving Simulations (2021) (20)
- Rely/Guarantee Reasoning for Asynchronous Programs (2015) (20)
- Compositional Quantitative Reasoning (2006) (20)
- An eclipse plug-in for model checking (2004) (18)
- Controller Synthesis with Budget Constraints (2008) (18)
- Rewiring for robustness (2010) (18)
- Systematic testing for control applications (2010) (18)
- On abstraction-based controller design with output feedback (2020) (17)
- Partial Order Reduction for Event-Driven Multi-threaded Programs (2016) (17)
- Model Checking Population Protocols (2016) (17)
- Verifying Compensating Transactions (2007) (17)
- FPGA area reduction by multi-output function based sequential resynthesis (2008) (16)
- Lazy Abstraction-Based Control for Safety Specifications (2018) (16)
- On the Universal and Existential Fragments of the µ-Calculus (2003) (15)
- The BLAST Software Verification System (2005) (15)
- Automatic predicate abstraction of C programs (2001) (15)
- Efficient May Happen in Parallel Analysis for Async-Finish Parallelism (2012) (15)
- Ensuring consistency in long running transactions (2007) (15)
- Algorithms for Game Metrics (Full Version) (2008) (14)
- A theory of robust omega-regular software synthesis (2013) (14)
- Environmentally-friendly GR(1) Synthesis (2019) (14)
- Regression Test Selection for Distributed Software Histories (2014) (14)
- A Theory of Role Composition (2008) (14)
- Trace aware random testing for distributed systems (2019) (14)
- Team Incentives in BitTorrent Systems (2009) (14)
- Compositional equivalence checking for models and code of control systems (2013) (13)
- Symbolic algorithms for verification and control (2003) (13)
- From Verification to Causality-based Explications (2021) (13)
- Invited talk: the blast query language for software verification (2004) (12)
- Improving the bittorrent protocol using different incentive techniques (2010) (12)
- Exploiting Symmetries to Speed Up SAT-Based Boolean Matching for Logic Synthesis of FPGAs (2008) (12)
- MOCHA: Exploiting Modularity in Model Checking (2000) (12)
- Behavior-Level Observability Analysis for Operation Gating in Low-Power Behavioral Synthesis (2010) (11)
- A Theory of Name Boundedness (2013) (11)
- Compositional construction of finite state abstractions for stochastic control systems (2017) (11)
- Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems (2017) (11)
- RALF: Reliability Analysis for Logic Faults — An exact algorithm and its applications (2010) (11)
- Assume–Guarantee Distributed Synthesis (2020) (11)
- iDeA: an immersive debugger for actors (2018) (10)
- Asynchronous Liquid Separation Types (2015) (10)
- Synthesis of Solutions for Shaded Area Geometry Problems (2017) (10)
- PGCD: robot programming and verification with geometry, concurrency, and dynamics (2019) (9)
- A Theory of Partitioned Global Address Spaces (2013) (9)
- Bayesian Persuasion in Sequential Decision-Making (2021) (9)
- Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games (2021) (9)
- Parameter Optimization in Control Software Using Statistical Fault Localization Techniques (2017) (9)
- Directed test generation using symbolic grammars (2007) (9)
- Special Session: Embedded Software for Robotics: Challenges and Future Directions (2018) (9)
- Static Provenance Verification for Message Passing Programs (2013) (9)
- Compositional Abstraction-Based Controller Synthesis for Continuous-Time Systems (2016) (9)
- Trigger memoization in self-triggered control (2012) (8)
- Computing Distances between Reach Flowpipes (2016) (8)
- Robust model predictive control with signal temporal logic constraints for Barcelona wastewater system (2017) (8)
- Analysis of Asynchronous Programs with Event-Based Synchronization (2015) (8)
- Antlab (2017) (8)
- On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours (2018) (8)
- Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2016) (8)
- Bounds on Mobility (2014) (8)
- Minimum Attention Controller Synthesis for Omega-Regular Objectives (2011) (8)
- On Decidability of Time-bounded Reachability in CTMDPs (2020) (8)
- Subcubic certificates for CFL reachability (2021) (8)
- Hitting Families of Schedules for Asynchronous Programs (2016) (8)
- Verification of Immediate Observation Population Protocols (2018) (8)
- Expand, Enlarge, and Check for Branching Vector Addition Systems (2013) (7)
- Edit distance for timed automata (2014) (7)
- Complexity Results for May-Happen-in-Parallel Analysis (2010) (7)
- Analyzing Real-Time Event-Driven Programs (2009) (7)
- Formal controller synthesis for wastewater systems with signal temporal logic constraints: The Barcelona case study (2018) (7)
- The Complexity of Coverage (2008) (7)
- Safety Verification of Continuous-Space Pure Jump Markov Processes (2016) (7)
- Unary Pushdown Automata and Straight-Line Programs (2014) (7)
- Interactive synthesis of temporal specifications from examples and natural language (2020) (7)
- Refinement type inference via abstract interpretation (2010) (7)
- Bisimilar finite abstractions of stochastic control systems (2013) (7)
- VCG with Communities on Random Ad Hoc Networks (2011) (6)
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) (2019) (6)
- Multiparty motion coordination: from choreographies to robotics programs (2020) (6)
- Controller Synthesis for Reward Collecting Markov Processes in Continuous Space (2017) (6)
- Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment (2019) (6)
- On the universal and existential fragments of the mu-calculus (2006) (6)
- Discounting and Averaging in Games across Time scales (2012) (6)
- A Game-Theoretic Account of Responsibility Allocation (2021) (6)
- Testing consensus implementations using communication closure (2020) (6)
- Generalising Projection in Asynchronous Multiparty Session Types (2021) (6)
- Symbolic execution algorithms for test generation (2009) (6)
- DebugAR: Mixed Dimensional Displays for Immersive Debugging of Distributed Systems (2018) (6)
- The Consistency of Web Conversations (2008) (5)
- Symbolic Model Checking for Factored Probabilistic Models (2016) (5)
- A Uniformization Theorem for Nested Word to Word Transductions (2013) (5)
- Data-Driven Abstraction-Based Control Synthesis (2022) (5)
- Synthesis of Problems for Shaded Area Geometry Reasoning (2017) (5)
- Motion Session Types for Robotic Interactions (Brave New Idea Paper) (2019) (5)
- Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System (2015) (5)
- Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach (2018) (5)
- Computer Aided Verification (2017) (5)
- Fair watermarking using combinatorial isolation lemmas (2004) (5)
- The Pseudo-Skolem Problem is Decidable (2021) (5)
- A theory of robust software synthesis (2011) (5)
- Probabilistic CTL*: The Deductive Way (2016) (5)
- Reachability in Bidirected Pushdown VASS (2022) (4)
- Introduction to the special issue on runtime verification (2017) (4)
- Context-bounded verification of liveness properties for multithreaded shared-memory programs (2020) (4)
- Watermarking of SAT using combinatorial isolation lemmas (2001) (4)
- Concentration of Measure for Chance-Constrained Optimization (2018) (4)
- Static Checking for Dynamic Resource Management in Sensor Network Systems (2006) (4)
- Embedded software for robotics: challenges and future directions: special session (2018) (4)
- Bbs: A Phase-Bounded Model Checker for Asynchronous Programs (2015) (4)
- Verifying Reference Counted Objects (2007) (4)
- Lazy Abstraction-Based Control for Reachability (2018) (4)
- Causality Analysis for Concurrent Reactive Systems (2016) (4)
- Verification of Cyber-Physical Systems (2014) (3)
- On power and fault-tolerance optimization in FPGA physical synthesis (2010) (3)
- Bit level types for high level reasoning (2006) (3)
- Checking linearizability using hitting families (2019) (3)
- Simultaneous test pattern compaction, ordering and X-filling for testing power reduction (2009) (3)
- From Verification to Causality-Based Explications (Invited Talk) (2021) (3)
- From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems (2019) (3)
- Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game (2020) (3)
- The Complexity of Bounded Context Switching with Dynamic Thread Creation (2020) (3)
- Structural Invariants (2006) (3)
- LLSPLAT: Improving Concolic Testing by Bounded Model Checking (2016) (3)
- Quantifying conformance using the Skorokhod metric (2017) (3)
- Preventing lost messages in event-driven programming (2006) (3)
- Causality Analysis for Concurrent Reactive Systems (Extended Abstract) (2019) (3)
- Responsibility Attribution in Parameterized Markovian Models (2021) (3)
- Computing the Skorokhod Distance between Polygonal Traces (Full Paper) (2014) (3)
- Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings (2009) (3)
- Safety-Guarantee Controller Synthesis for Cyber-Physical Systems (2010) (3)
- Frugal Routing on Wireless Ad-Hoc Networks (2008) (3)
- Proceedings of the 15th international workshop on Model Checking Software (2008) (3)
- Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201) (2017) (3)
- Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness (2022) (3)
- Closing the Gap in Control System Implementations (2013) (2)
- A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs (2019) (2)
- Perception-in-the-Loop Adversarial Examples (2019) (2)
- Provenance Verification (2013) (2)
- The Complexity of Bidirected Reachability in Valence Systems (2021) (2)
- Robots at the Edge of the Cloud (2016) (2)
- Paul Ammann and Jeff OffuttIntroduction to Software Testing. Cambridge University Press(2008). ISBN: 978-0-521-88038-1, 322 pp. Hardcover (2010) (2)
- Algebraic Invariants for Linear Hybrid Automata (2019) (2)
- Precise but Natural Specification for Robot Tasks (2018) (2)
- Symbolic Model Checking in Non-Boolean Domains (2018) (2)
- Quantifying Conformance using the Skorokhod Metric (full version) (2015) (2)
- Programming event processors with thingflow (2019) (2)
- A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages (2013) (2)
- Symbolic Control for Stochastic Systems via Parity Games (2021) (2)
- Supervisor synthesis for controller upgrades (2013) (2)
- Dynamic hierarchical reactive controller synthesis (2015) (2)
- Synthesis of trajectory-dependent control Lyapunov functions by a single linear program (2009) (2)
- FAR-Cubicle — A new reachability algorithm for Cubicle (2017) (2)
- Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control (2019) (2)
- Input-Output stability for discrete systems (2012) (2)
- Reachability analysis of reversal-bounded automata on series–parallel graphs (2015) (2)
- Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games (2012) (2)
- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games (2022) (2)
- Probabilistic Bisimulation for Parameterized Systems (2019) (2)
- General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond (2021) (2)
- Online Reinforcement Learning with Uncertain Episode Lengths (2023) (1)
- Parikh-Equivalent Bounded Underapproximations (2008) (1)
- On the Generation of Precise Fixed-Point Expressions (2013) (1)
- Deferrability Analysis for JavaScript (2017) (1)
- The computability of LQR and LQG control (2021) (1)
- Discounting in Games across Time Scales (2010) (1)
- Mapping and Resynthesis for LUT-based FPGAs with an Efficient SAT-Based Boolean Matching (2008) (1)
- Lazy Abstraction-Based Controller Synthesis (2018) (1)
- Coordinate-invariant incremental Lyapunov functions (2011) (1)
- Approximate counting in SMT and value estimation for probabilistic programs (2017) (1)
- The Marriage of Exploration and Deduction (2012) (1)
- Study of Visual Search in 3D Space using Virtual Reality (VR) (2018) (1)
- Fabular: Regression Formulas as Probabilistic Programming (2015) (1)
- Robust service composition (2008) (1)
- Design of Controllers for Linear Hybrid Systems (1996) (1)
- The Robot Routing Problem for Collecting Aggregate Stochastic Rewards (2017) (1)
- Code aware resource management (2012) (1)
- Markov Decision Processes with Time-Varying Geometric Discounting (2022) (1)
- Approximate re-finement for hybrid systems (2003) (1)
- Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (2008) (1)
- Dynamic Package Interfaces (2014) (1)
- Dynamic Package Interfaces - Extended Version (2013) (1)
- Analysis of Dynamic Message Passing Programs (A framework for the analysis of depth-bounded systems ) (2013) (1)
- Dominance : Modeling Heap Structures with Sharing (2007) (1)
- Motion Session Types for Robotic Interactions (2019) (1)
- Formal Synthesis of Cyber-Physical Systems (2017) (1)
- Regression Test Selection for Distributed Software Histories: Appendix (2014) (1)
- Reachability analysis of reversal-bounded automata on series–parallel graphs (2016) (1)
- Bounded underapproximations (2012) (1)
- Shape Analysis with Reference Set Relations (2010) (1)
- Symbolic reach-avoid control of multi-agent systems (2021) (1)
- Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111) (2017) (1)
- RALF: reliability analysis for logic faults: an exact algorithm and its applications (2010) (1)
- End-to-End Guarantees in Embedded Control Systems - (Abstract) (2011) (1)
- Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122) (2014) (1)
- From tests to proofs (2012) (1)
- CSIsat :I nterpolation for LA+EUF Tool Paper (2008) (1)
- On event based state estimation (2009) (1)
- A Partial Order Reduction Technique for Event-driven Multi-threaded Programs (2015) (1)
- Foundations of Infinite-State Verification (2014) (0)
- Parameterized software verification (2010) (0)
- Envy-free Policy Teaching to Multiple Agents (2022) (0)
- Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems (2021) (0)
- SYS 4: Designing High Integrity Embedded Networked Sensing Systems (2006) (0)
- Rectangular Hybrid Games (Extended Abstract) (1999) (0)
- Lassie: HOL4 tactics by example (2021) (0)
- Choosing the Initial State for Online Replanning (2021) (0)
- Asymptotic stability implies the existence of a local polynomial Lyapunov function (2012) (0)
- Assertion Verification using Structural Invariants (0)
- SMT 2007: 5th International Workshop on Satisfiability Modulo Theories (2007) (0)
- Synthesis Challenges in Building a Multi-Robot Task Server: Invited Presentation at the Sixth Workshop on Synthesis (2017) (0)
- Programming by Composing Filters (2017) (0)
- A pr 2 01 8 Lazy Abstraction-Based Control for Safety Specifications (2018) (0)
- Random Testing for Distributed Systems with Theoretical Guarantees (Invited Paper) (2018) (0)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (2019) (0)
- Sequential Decision Making With Information Asymmetry (2022) (0)
- Context-bounded verification of thread pools (2021) (0)
- State of the Union : Dependent Type Inference via Craig Interpolation (2007) (0)
- Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs (2019) (0)
- Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models (2023) (0)
- Session details: Session 9A: Concurrency III (2015) (0)
- Ju l 2 01 6 Hitting Families of Schedules for Asynchronous Programs ⋆ (2018) (0)
- The first workshop on language support for privacy-enhancing technologies (PETShop'13) (2013) (0)
- Model checking parameterized asynchronous shared-memory systems (2016) (0)
- Simultaneous RePlanning and Plan Execution for Online Job Arrival (2019) (0)
- Program Analysis for Reliable Sensor Network Software (2005) (0)
- Hybrid Systems: Computation and Control (2009) (0)
- Verification of population protocols (2016) (0)
- PETShop '13: Proceedings of the First ACM Workshop on Language Support for Privacy-enhancing Technologies (2013) (0)
- Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control (2009) (0)
- Symbolic Control for Stochastic Systems via Finite Parity Games (2021) (0)
- Controlled Personal Data Stream in Mobile Personal Sensing (2009) (0)
- Safety Verification for Real-time Event-driven Programs (2009) (0)
- Shape Analysis with Reference Set Dominance (2008) (0)
- Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report) (2017) (0)
- Synthesizing Robust Software: Invited Presentation at the First Workshop on Synthesis (2012) (0)
- Introduction to the special issue on runtime verification (2017) (0)
- Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461) (2012) (0)
- ERRATA TO THE POPL ’ 09 PAPER “ VERIFYING LIVENESS OF ASYNCHRONOUS PROGRAMS ” (2009) (0)
- Lecture Notes on Software Model Checking (2012) (0)
- The Element of Surprise in Timed Games ⋆ In Proc. of CONCUR 2003: 14th International Conference on Concurrency Theory, Lectures Notes in Computer Science, Springer-Verlag, 2003. (2003) (0)
- Synthesis Challenges in Building a Multi-Robot Task Server ( Keynote Talk ) (2017) (0)
- Dynamic Bayesian networks for formal verification of structured stochastic processes (2016) (0)
- Sequential Decision Making With Information Asymmetry (Invited Talk) (2022) (0)
- Context-Bounded Verification of Context-Free Specifications (2023) (0)
- Session details: Session 9A: Concurrency III (2015) (0)
- Lock Al l o cati on (2007) (0)
- DeepEquaL: Deep Learning Based Mathematical Equation to Latex Generation (2020) (0)
- Probabilistic Bisimulation for Parameterized Systems (Technical Report) (2020) (0)
- RTSS 2010 Organizers (2010) (0)
- Dynamic hierarchical reactive controller synthesis (2017) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With Rupak Majumdar?
Rupak Majumdar is affiliated with the following schools: