YoungMin Kwon

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Bounded Quantum Regular Language Generator.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

2022

Energy Efficient Text Spotting Technique for Mobile Edge Computing.

[BibT_eX]

[DOI]

Seonghwan Jeong

Proceedings of the 4th IEEE International Conference on Artificial Intelligence Circuits and Systems, 2022

2021

A Design of GPU-Based Quantitative Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Keyword-Based Vehicle Retrieval.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2021

The 2020 Low-Power Computer Vision Challenge.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on Artificial Intelligence Circuits and Systems, 2021

2020

A Metric to Compare Pixel-Wise Interpretation Methods for Neural Networks.

[BibT_eX]

[DOI]

IEEE Access, 2020

Boundaries of Single-Class Regions in the Input Space of Piece-Wise Linear Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Pattern Recognition, 2020

Color, Edge, and Pixel-wise Explanation of Predictions Based on Interpretable Neural Network Model.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Pattern Recognition, 2020

2019

A Metric to Measure Contribution of Nodes in Neural Networks.

[BibT_eX]

[DOI]

Yousun Shin

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2019

Quantitative Model Checking for a Resilient Control System.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2019

Robustness of Piece-Wise Linear Neural Network with Feasible Region Approaches.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2019

2018

Extension of Convolutional Neural Network with General Image Processing Kernels.

[BibT_eX]

[DOI]

Yousun Shin

Proceedings of the TENCON 2018, 2018

Quantitative Model Checking for a Controller Design.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 25th International Symposium, 2018

2017

Quantitative Model Checking for a Smart Grid Pricing.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2015

Bounded Model Checking of Hybrid Systems for Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2015

2014

Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Kirill Mechitov

Gul A. Agha

Proceedings of the Concurrent Objects and Beyond, 2014

2013

Performance evaluation of sensor networks by statistical modeling and euclidean model checking.

[BibT_eX]

[DOI]

ACM Trans. Sens. Networks, 2013

2011

Verifying the Evolution of Probability Distributions Governed by a DTMC.

[BibT_eX]

[DOI]

Gul A. Agha

IEEE Trans. Software Eng., 2011

Model Checking MDPs with a Unique Compact Invariant Set of Distributions.

[BibT_eX]

[DOI]

Rohit Chadha

Vijay Anand Korthikanti

Mahesh Viswanathan

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

2010

Resilient localization for sensor networks in outdoor environments.

[BibT_eX]

[DOI]

ACM Trans. Sens. Networks, 2010

Reasoning about MDPs as Transformers of Probability Distributions.

[BibT_eX]

[DOI]

Vijay Anand Korthikanti

Mahesh Viswanathan

Proceedings of the QEST 2010, 2010

2008

Passive Localization: Large Size Sensor Network Localization Based on Environmental Events.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Information Processing in Sensor Networks, 2008

LTLC: Linear Temporal Logic for Control.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2007

A Markov Reward Model for Software Reliability.

[BibT_eX]

[DOI]

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

2006

Probabilistic Modeling and Verification of Large Scale Systems

[BibT_eX]

[DOI]

PhD thesis, 2006

Scalable Modeling and Performance Evaluation of Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

ActorNet: an actor platform for wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs.

[BibT_eX]

[DOI]

Gul A. Agha

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

2004

Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains.

[BibT_eX]

[DOI]