Taolue Chen

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

Hybrid Collaborative Filtering-Based API Recommendation.

[BibT_eX]

[DOI]

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

Evaluating Code Summarization with Improved Correlation with Human Assessment.

[BibT_eX]

[DOI]

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

BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Automatic Detection and Repair Recommendation of Directive Defects in Java API Documentation.

[BibT_eX]

[DOI]

Sebastiano Panichella

Harald C. Gall

IEEE Trans. Software Eng., 2020

Predicted Robustness as QoS for Deep Neural Network Models.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 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]

Raid Rafi Omar Al-Nima

CoRR, 2020

Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 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

Adaptive Code Completion with Meta-learning.

[BibT_eX]

[DOI]

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

Synthesizing barrier certificates using neural networks.

[BibT_eX]

[DOI]

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Decision procedures for path feasibility of string-manipulating programs with complex operations.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Augmenting Java method comments generation with context information based on neural networks.

[BibT_eX]

[DOI]

J. Syst. Softw., 2019

Deep finger texture learning for verifying people.

[BibT_eX]

[DOI]

Raid Rafi Omar Al-Nima

Saadoon A. M. Al-Sumaidaee

IET Biom., 2019

Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences.

[BibT_eX]

[DOI]

CoRR, 2019

Online Observability of Boolean Control Networks.

[BibT_eX]

[DOI]

CoRR, 2019

Making Agents' Abilities Explicit.

[BibT_eX]

[DOI]

Yedi Zhang

IEEE Access, 2019

Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks.

[BibT_eX]

[DOI]

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

Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints.

[BibT_eX]

[DOI]

Chong Gao

Proceedings of the SOFSEM 2019: Theory and Practice of Computer Science, 2019

DRONE: a tool to detect and repair directive defects in Java APIs documentation.

[BibT_eX]

[DOI]

Yu Zhou

Xin Yan

Sebastiano Panichella

Harald C. Gall

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

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

[BibT_eX]

[DOI]

Raid Rafi Omar Al-Nima

Proceedings of the Progress in Computer Recognition Systems, 2019

Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

Probabilistic Alternating-Time <i>µ</i>-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

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

[BibT_eX]

[DOI]

Yongzhi Cao

Theor. Comput. Sci., 2018

What is decidable about string constraints with the ReplaceAll function.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Bisimulations for fuzzy transition systems revisited.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2018

Parameter Synthesis Problems for one parametric clock Timed Automata.

[BibT_eX]

[DOI]

CoRR, 2018

Parameter Synthesis Problems for Parametric Timed Automata.

[BibT_eX]

[DOI]

CoRR, 2018

Android Stack Machine.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Augmenting Bug Localization with Part-of-Speech and Invocation.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2017

The packing chromatic number of the infinite square lattice is between 13 and 15.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2017

Analyzing APIs documentation and code to detect directive defects.

[BibT_eX]

[DOI]

Sebastiano Panichella

Harald C. Gall

Proceedings of the 39th International Conference on Software Engineering, 2017

ProEva: runtime proactive performance evaluation based on continuous-time markov chains.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

Model Checking Pushdown Epistemic Game Structures.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2017

A Proof-Theoretic Trust and Reputation Model for VANET.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE European Symposium on Security and Privacy Workshops, 2017

Tractability of Separation Logic with Inductive Definitions: Beyond Lists.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Concurrency Theory, 2017

Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints.

[BibT_eX]

[DOI]

Zhaowei Xu

Proceedings of the Automated Deduction - CADE 26, 2017

2016

Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

A Computationally Grounded, Weighted Doxastic Logic.

[BibT_eX]

[DOI]

Stud Logica, 2016

Formal Reasoning on Infinite Data Values: An Ongoing Quest.

[BibT_eX]

[DOI]

Proceedings of the Engineering Trustworthy Software Systems - Second International School, 2016

Verifying Pushdown Multi-Agent Systems against Strategy Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 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

A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints.

[BibT_eX]

[DOI]

Xincai Gu

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

Global Model Checking on Pushdown Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

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

[BibT_eX]

[DOI]

Nengkun Yu

Inf. Process. Lett., 2015

The packing chromatic number of the infinite square lattice is less than or equal to 16.

[BibT_eX]

[DOI]

CoRR, 2015

On the Axiomatizability of Impossible Futures.

[BibT_eX]

[DOI]

Rob J. van Glabbeek

Log. Methods Comput. Sci., 2015

Towards A Novel Approach for Defect Localization Based on Part-of-Speech and Invocation.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Analyzing Eventual Leader Election Protocols for Dynamic Systems by Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Cloud Computing and Security - First International Conference, 2015

A Probabilistic Analysis Framework for Malicious Insider Threats.

[BibT_eX]

[DOI]

Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2015

On the Satisfiability of Indexed Linear Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Quantitative verification of implantable cardiac pacemakers over hybrid heart models.

[BibT_eX]

[DOI]

Inf. Comput., 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

On the total variation distance of labelled Markov chains.

[BibT_eX]

[DOI]

Stefan Kiefer

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Perturbation Analysis in Verification of Discrete-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

Verification of linear duration properties over continuous-time markov chains.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2013

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

[BibT_eX]

[DOI]

Marta Z. Kwiatkowska

Inf. Process. Lett., 2013

Automatic verification of competitive stochastic systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2013

Orbit Problem Revisited

[BibT_eX]

[DOI]

Xiaoming Sun

Nengkun Yu

CoRR, 2013

Model Repair for Markov Decision Processes.

[BibT_eX]

[DOI]

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

PRISM-games: A Model Checker for Stochastic Multi-Player Games.

[BibT_eX]

[DOI]

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

Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

On Stochastic Games with Multiple Objectives.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

A simulink hybrid heart model for quantitative verification of cardiac pacemakers.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Solvency Markov Decision Processes with Interest.

[BibT_eX]

[DOI]

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012

Quantitative Verification of Implantable Cardiac Pacemakers.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Model Checking Stochastic Branching Processes.

[BibT_eX]

[DOI]

Klaus Dräger

Stefan Kiefer

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

A Compositional Specification Theory for Component Behaviours.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2012

Playing Stochastic Games Precisely.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

On the axiomatizability of priority II.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 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

Time-Bounded Verification of CTMCs against Real-Time Specifications.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Verifying Team Formation Protocols with Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 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

2010

Towards Analysis of Semi-Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Computational Intelligence, 2010

2009

On metrics for probabilistic systems: Definitions and algorithms.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2009

Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Jasper Berendsen

David N. Jansen

Proceedings of the Theory and Applications of Models of Computation, 6th Annual Conference, 2009

On Finite Bases for Weak Semantics: Failures Versus Impossible Futures.

[BibT_eX]

[DOI]

Rob J. van Glabbeek

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 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

LTL Model Checking of Time-Inhomogeneous Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

On the axiomatisability of priority.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2008

Ready to preorder: The case of weak process semantics.

[BibT_eX]

[DOI]

Rob J. van Glabbeek

Inf. Process. Lett., 2008

On finite alphabets and infinite bases.

[BibT_eX]

[DOI]

Inf. Comput., 2008

Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Foundations of Informatics, 2008

PDL over Accelerated Labeled Transition Systems.

[BibT_eX]

[DOI]

Jaco van de Pol

Yanjing Wang

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

Time-Abstracting Bisimulation for Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Joost-Pieter Katoen

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

On the Axiomatizability of Impossible Futures: Preorder versus Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

Towards the Complexity of Controls for Timed Automata with a Small Number of Clocks.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008

2007

Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 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

Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence.

[BibT_eX]

[DOI]

Acta Cybern., 2006

On the Axiomatizability of Priority.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 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

On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation.

[BibT_eX]

[DOI]

Sumit Nain

Proceedings of the Foundations of Software Science and Computation Structures, 2006

On Finite Alphabets and Infinite Bases III: Simulation.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th 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]