Concepedia

Yanni Kouskoulas

YK

6

Publications

157

Citations

6

H-Index

2004

Active since

Affiliations

Carnegie Mellon University(Current)

Johns Hopkins University Applied Physics Laboratory

University of Michigan

Yanni Kouskoulas is an author at Carnegie Mellon University specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal VerificationData ScienceVerificationFormal MethodsSpace EngineeringAutomated ReasoningComputer Engineering

Publications per year

2004–2016

6

Publications

6

A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas et al. · International Journal on Software Tools for Technology Transfer · 2016 · 45 citations

Automatic Navigation, Engineering, Aircraft Navigation +8

Certifying the safe design of a virtual fixture control algorithm for a surgical robot

Yanni Kouskoulas, David Renshaw, André Platzer et al. · 2013 · 36 citations

Robot Kinematics, Engineering, Field Robotics +24

Formal verification of ACAS X, an industrial airborne collision avoidance system

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas et al. · 2015 · 27 citations · Full text

Engineering, Verification, Computer-aided Verification +17

Formal verification of ACAS X, an industrial airborne collision avoidance system

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas et al. · Embedded Software · 2015 · 22 citations

Engineering, Verification, Computer-aided Verification +17

The Bayesian Hierarchical Classifier (BHC) and Its Application to Short Vegetation Using Multifrequency Polarimetric SAR

Yanni Kouskoulas, F.T. Ulaby, L.E. Pierce · IEEE Transactions on Geoscience and Remote Sensing · 2004 · 14 citations

Engineering, Machine Learning, Earth Science +24

Rows per page

1–5 of 6