Tingting Han

Saadoon A. M. Al-Sumaidaee

Wai Lok Woo

Appl. Soft Comput., 2021

Evaluating Code Summarization with Improved Correlation with Human Assessment.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2020

Probabilistic analysis of QoS-aware service composition with explicit environment models.

[BibT_eX]

[DOI]

IET Softw., 2020

Finger Texture Biometric Characteristic: a Survey.

[BibT_eX]

[DOI]

CoRR, 2020

Training Deep Code Comment Generation Models via Data Augmentation.

[BibT_eX]

[DOI]

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

2019

Deep finger texture learning for verifying people.

[BibT_eX]

[DOI]

Saadoon A. M. Al-Sumaidaee

IET Biom., 2019

Road Tracking Using Deep Reinforcement Learning for Self-driving Car Applications.

[BibT_eX]

[DOI]

Proceedings of the Progress in Computer Recognition Systems, 2019

2018

Polynomial-time algorithms for computing distances of fuzzy transition systems.

[BibT_eX]

[DOI]

Yongzhi Cao

Theor. Comput. Sci., 2018

Bisimulations for fuzzy transition systems revisited.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2018

Personal verification based on multi-spectral finger texture lighting images.

[BibT_eX]

[DOI]

Saadoon A. M. Al-Sumaidaee

Musab T. S. Al-Kaltakchi

IET Signal Process., 2018

Probabilistic verification of hierarchical leader election protocol in dynamic systems.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2018

2016

Model based analysis of insider threats.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference On Cyber Security And Protection Of Digital Services (Cyber Security), 2016

2015

Continuous-time orbit problems are decidable in polynomial-time.

[BibT_eX]

[DOI]

Nengkun Yu

Inf. Process. Lett., 2015

2014

On the Complexity of Computing Maximum Entropy for Markovian Models.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

2013

On the complexity of model checking interval-valued discrete time Markov chains.

[BibT_eX]

[DOI]

Marta Z. Kwiatkowska

Inf. Process. Lett., 2013

Modal Specifications for Probabilistic Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013

Model Repair for Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM International Conference on Modeling, 2013

2012

Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the IFIP Wireless Days Conference 2012, Ireland, November 21-23, 2012, 2012

Quantitative Timed Analysis of Interactive Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2012

2011

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2011

Efficient CTMC Model Checking of Linear Real-Time Objectives.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Observing Continuous-Time MDPs by 1-Clock Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 5th International Workshop, 2011

Synthesis for PCTL in Parametric Markov Decision Processes.

[BibT_eX]

[DOI]

Ernst Moritz Hahn

Lijun Zhang

Proceedings of the NASA Formal Methods, 2011

Reachability probabilities in Markovian Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Learning-Based Compositional Verification for Synchronous Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2011

2009

Diagnosis, synthesis and analysis of probabilistic models.

[BibT_eX]

[DOI]

PhD thesis, 2009

Counterexample Generation in Probabilistic Model Checking.

[BibT_eX]

[DOI]

Berteun Damman

IEEE Trans. Software Eng., 2009

On metrics for probabilistic systems: Definitions and algorithms.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2009

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

Diagnosis, Synthesis and Analysis of Probabilistic Models.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2009, 2009

LTL Model Checking of Time-Inhomogeneous Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Time-Abstracting Bisimulation for Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability.

[BibT_eX]

[DOI]

Alexandru Mereacre

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Regular Expressions for PCTL Counterexamples.

[BibT_eX]

[DOI]

Berteun Damman

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains.

[BibT_eX]

[DOI]

Alexandru Mereacre

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

2007

Counterexamples in Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007

07101 Working Group Report -- Performance Measures Other Than Time.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence.

[BibT_eX]

[DOI]

Acta Cybern., 2006

On the Markovian Randomized Strategy of Controller for Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Fuzzy Systems and Knowledge Discovery, Third International Conference, 2006

2005

Structure Analysis for Dynamic Software Architecture.

[BibT_eX]

[DOI]

Proceedings of the 6th ACIS International Conference on Software Engineering, 2005

On the Bisimulation Congruence in <i>chi</i>-Calculus.

[BibT_eX]

[DOI]

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Structure Analysis for Dynamic Software Architecture Based on Spatial Logic.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Analysis of A Leader Election Algorithm in uCRL.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005

2004

Checking Strong Open Congruence in Chi -Calculus.

[BibT_eX]

[DOI]

Proceedings of Computing: The Australasian Theory Symposium, 2004

A Modal Logic for pi-Calculus and Model Checking Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 11th Workshop on Logic, Language, Information and Computation, 2004

Tree logic with recursion and model checking algorithm.

[BibT_eX]

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Towards a Model Logic for p-Calculus.

[BibT_eX]

[DOI]

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Conference on Computer and Information Technology (CIT 2004), 2004

2003

Intensionality of modal logic for Robust Ambient Calculus.

[BibT_eX]

[DOI]