Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Iskander Kort
Hierarchical Verification Using an MDG-HOL Hybrid Tool
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
An Automatic Verification Tool for Firewall Configurations
The Hybrid AAVP Tool Gets an Upgrade
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Formal Verification of Hybrid Systems
Refinement to Imperative/Hol
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
ICoVeR – An Interactive Visualization Tool for Verification and Refinement of Metagenomic Bins
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
InterRing: An Interactive Tool for Visually Navigating and Manipulating Hierarchical Structures
Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle
