Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Shweta Pujar

Formal Based Verification to Build Safer Cars

International Journal of Computer Applications
2016English

Related publications

RESRAD-BUILD Verification.

2002English

She's Teaching Us How to Build a Safer Parachute

Chemical and Engineering News
Chemical Engineering
1993English

The MODUS Approach to Formal Verification

Business Systems Research
Information SystemsFinanceEconomicsManagement Information SystemsInnovationManagement of TechnologyEconometrics
2014English

Towards Formal Verification of Role-Based Access Control Policies

IEEE Transactions on Dependable and Secure Computing
Electronic EngineeringElectricalComputer Science
2008English

Formal Specification and Verification

2019English

Introducing H, an Institution-Based Formal Specification and Verification Language

Logica Universalis
Applied MathematicsLogic
2020English

Automated Logic-Based Technique for Formal Verification of Security Protocols

Journal of Advances in Computer Networks
2018English

Graph-Based Ontology Reasoning for Formal Verification of BREEAM Rules

Cognitive Systems Research
Cognitive PsychologyExperimentalArtificial IntelligenceCognitive Neuroscience
2019English

Formal Verification of Pipelined Processors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy