Using abstraction and model checking to detect safety violations in requirements specifications C Heitmeyer, J Kirby, B Labaw, M Archer, R Bharadwaj IEEE Transactions on software engineering 24 (11), 927-948, 1998 | 265 | 1998 |
SCR: A toolset for specifying and analyzing software requirements C Heitmeyer, J Kirby, B Labaw, R Bharadwaj Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998 | 215 | 1998 |
Model checking complete requirements specifications using abstraction R Bharadwaj, CL Heitmeyer Automated Software Engineering 6, 37-68, 1999 | 202 | 1999 |
Tools for constructing requirements specifications: The SCR toolset at the age of ten C Heitmeyer, M Archer, R Bharadwaj, R Jeffords International Journal of Computer Systems Science and Engineering 20 (1), 19-35, 2005 | 124 | 2005 |
Salsa: Combining constraint solvers with BDDs for automatic invariant checking R Bharadwaj, S Sims International Conference on Tools and Algorithms for the Construction and …, 2000 | 83 | 2000 |
Verifying SCR requirements specifications using state exploration R Bharadwaj, C Heitmeyer Proceedings of 1st ACM SIGPLAN Workshop on the Automated Analysis of …, 1997 | 65 | 1997 |
Applying the SCR requirements method to the light control case study. CL Heitmeyer, R Bharadwaj J. Univers. Comput. Sci. 6 (7), 650-678, 2000 | 48 | 2000 |
Developing high assurance avionics systems with the SCR requirements method R Bharadwaj, C Heitmeyer 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No …, 2000 | 46 | 2000 |
Hardware/software co-design and co-validation using the SCR method R Bharadwaj, C Heitmeyer Proceedings IEEE International High-Level Design Validation and Test …, 1999 | 30 | 1999 |
SOL: A verifiable synchronous language for reactive systems R Bharadwaj Electronic Notes in Theoretical Computer Science 65 (5), 140-154, 2002 | 28 | 2002 |
Applying the SCR requirements method to a simple autopilot R Bharadwaj, C Heitmeyer NASA Conference Publication, 87-102, 1997 | 21 | 1997 |
Invariant checking method and apparatus using binary decision diagrams in combination with constraint solvers R Bharadwaj, S Sims US Patent 7,058,910, 2006 | 20 | 2006 |
Secure middleware for situation-aware naval C/sup 2/and combat systems R Bharadwaj The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems …, 2003 | 19 | 2003 |
Applying the SCR requirements specification method to practical systems: A case study R Bharadwaj, C Heitmeyer The 21th Software Engineering Workshop, NASA Goddard Space Flight Center …, 1996 | 18 | 1996 |
Specification, analysis and implementation of architectural patterns for dependable software systems SS Yau, S Mukhopadhyay, R Bharadwaj 10th IEEE International Workshop on Object-Oriented Real-Time Dependable …, 2005 | 17 | 2005 |
A framework for the formal analysis of multi-agent systems R Bharadwaj Proc. Formal Approaches to Multi-Agent Systems, 2003 | 16 | 2003 |
Formalizing inductive proofs of network algorithms R Bharadwaj, A Felty, F Stomp Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science …, 1995 | 16 | 1995 |
A complex-event-processing framework for smart-grid management S Srinivasagopalan, S Mukhopadhyay, R Bharadwaj 2012 IEEE International Multi-Disciplinary Conference on Cognitive Methods …, 2012 | 14 | 2012 |
Service composition in a secure agent-based architecture R Bharadwaj, S Mukhopadhyay, N Padh 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service …, 2005 | 13 | 2005 |
Verifiable middleware for secure agent interoperability R Bharadwaj International Workshop on Formal Approaches to Agent-Based Systems, 126-132, 2002 | 12 | 2002 |