Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleNovember 2022
Verifying Whiley Programs with Boogie
Journal of Automated Reasoning (JAUR), Volume 66, Issue 4Pages 747–803https://doi.org/10.1007/s10817-022-09619-1AbstractThe quest to develop increasingly sophisticated verification systems continues unabated. Tools such as Dafny, Spec#, ESC/Java, SPARK Ada and Whiley attempt to seamlessly integrate specification and verification into a programming language, in a ...
- research-articleJanuary 2016
Quantum neural network based machine translator for English to Hindi
Applied Soft Computing (APSC), Volume 38, Issue CPages 1060–1075https://doi.org/10.1016/j.asoc.2015.08.031This paper presents the machine translation system for English to Hindi which is based on the concept of machine learning of semantically correct corpus. The machine learning process is based on quantum neural network (QNN), which is a novel approach to ...
- articleDecember 2012
A semantic translation method for data communication protocols
Journal of Systems and Software (JSSO), Volume 85, Issue 12Pages 2876–2898https://doi.org/10.1016/j.jss.2012.06.018Protocol translation is a method for transforming pieces of information from a source protocol into relevant target protocol formats in order to communicate between heterogeneous legacy systems in interoperability environments. There are some existing ...
- articleJune 2012
Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata
Discrete Event Dynamic Systems (KLU-DISC), Volume 22, Issue 2Pages 223–247https://doi.org/10.1007/s10626-010-0096-1We develop a semantic translation approach for Simulink diagrams. Simulink is a graphical tool for representing and simulating dynamical systems. We propose a recursive approach for translating a class of Simulink diagrams to input/output-extended ...
- ArticleMarch 2011
Generating Valid Interface Definition Language from Succinct Models
ISORC '11: Proceedings of the 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed ComputingPages 205–212https://doi.org/10.1109/ISORC.2011.33Source code generation from models (e.g., domain specific models) for distributed real-time and embedded (DRE) systems is intended to alleviate tedious, error-prone, and time consume tasks associated with manually hand-crafting the same code. When ...