Hongyang Qu - RankMe

79 papers A* 2A 13B 5C 4Misc 2Journal 28Unranked 23

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles. J. Sens. Actuator Networks Mohammed Al-Nuaimi, Sapto Wibowo, Hongyang Qu, Jonathan M. Aitken, Sandor M. Veres
2020	A	`conf`	Computationally Grounded Quantitative Trust with Time. AAMAS Nagat Drawel, Jamal Bentahar, Hongyang Qu
2020	—	`conf`	Multi-model Adaptive Learning for Robots Under Uncertainty. ICAART (1) Michalis Smyrnakis, Hongyang Qu, Dario Bauso, Sandor M. Veres
2020	—	`conf`	On the Combination of Game-Theoretic Learning and Multi Model Adaptive Filters. ICAART (Revised Selected Papers) Michalis Smyrnakis, Hongyang Qu, Dario Bauso, Sandor M. Veres
2020	J	`jnl`	Specification and automatic verification of trust-based multi-agent systems. Future Gener. Comput. Syst. Nagat Drawel, Hongyang Qu, Jamal Bentahar, Elhadi M. Shakshuki
2019	J	`jnl`	A new decomposition-based method for detecting attractors in synchronous Boolean networks. Sci. Comput. Program. Qixia Yuan, Andrzej Mizera, Jun Pang, Hongyang Qu
2019	J	`jnl`	Comparing approaches for model-checking strategies under imperfect information and fairness constraints. Int. J. Softw. Tools Technol. Transf. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
2019	J	`jnl`	Online Observability of Boolean Control Networks. CoRR Guisen Wu, Liyun Dai, Zhiming Liu, Taolue Chen, Jun Pang, Hongyang Qu
2019	J	`jnl`	Taming Asynchrony for Attractor Detection in Large Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
2018	—	`conf`	A stochastically verifiable decision making framework for autonomous ground vehicles. ISR Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres
2018	—	`conf`	ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks. CMSB Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
2018	—	`conf`	Computational Framework for Verifiable Decisions of Self-Driving Vehicles. CCTA Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres
2018	J	`jnl`	Improving Multi-Robot Coordination by Game-Theoretic Learning Algorithms. Int. J. Artif. Intell. Tools Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres
2017	Misc	`conf`	A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks. SETTA Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
2017	B	`conf`	Improving Multi-robot Coordination by Game-Theoretic Learning Algorithms. ICTAI Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres
2017	J	`jnl`	MCMAS: an open-source model checker for the verification of multi-agent systems. Int. J. Softw. Tools Technol. Transf. Alessio Lomuscio, Hongyang Qu, Franco Raimondi
2017	J	`jnl`	SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication. Fundam. Informaticae Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
2017	J	`jnl`	Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report). CoRR Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
2016	—	`conf`	A stochastically verifiable autonomous control architecture with reasoning. CDC Paolo Izzo, Hongyang Qu, Sandor M. Veres
2016	J	`jnl`	A stochastically verifiable autonomous control architecture with reasoning. CoRR Paolo Izzo, Hongyang Qu, Sandor M. Veres
2016	J	`jnl`	Improving BDD-based attractor detection for synchronous Boolean networks. Sci. China Inf. Sci. Qixia Yuan, Hongyang Qu, Jun Pang, Andrzej Mizera
2016	J	`jnl`	Reducing complexity of autonomous control agents for verifiability. CoRR Paolo Izzo, Hongyang Qu, Sandor M. Veres
2016	J	`jnl`	SMCL - Stochastic Model Checker for Learning in Games. CoRR Hongyang Qu, Michalis Smyrnakis, Sandor M. Veres
2016	—	`conf`	Testing, Verification and Improvements of Timeliness in ROS Processes. TAROS Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres
2016	J	`jnl`	Testing, Verification and Improvements of Timeliness in ROS processes. CoRR Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres
2016	J	`jnl`	Verification of Logical Consistency in Robotic Reasoning. CoRR Hongyang Qu, Sandor M. Veres
2016	J	`jnl`	Verification of logical consistency in robotic reasoning. Robotics Auton. Syst. Hongyang Qu, Sandor M. Veres
2015	A	`conf`	Behaviour Analysis of Mixed Game-Theoretic Learning Algorithms. AAMAS Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres
2015	—	`conf`	Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear Programming. TAROS Hongyang Qu, Andreas Kolling, Sandor M. Veres
2015	J	`jnl`	Formal Specification and Automatic Verification of Conditional Commitments. IEEE Intell. Syst. Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
2015	—	`conf`	Improving BDD-based Attractor Detection for Synchronous Boolean Networks. Internetware Hongyang Qu, Qixia Yuan, Jun Pang, Andrzej Mizera
2015	J	`jnl`	Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Inf. Comput. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
2014	J	`jnl`	Conditional Commitments: Reasoning and Model Checking. ACM Trans. Softw. Eng. Methodol. Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
2014	C	`conf`	Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. ICFEM Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
2014	J	`jnl`	Local abstraction refinement for probabilistic timed programs. Theor. Comput. Sci. Klaus Dräger, Marta Z. Kwiatkowska, David Parker, Hongyang Qu
2014	J	`jnl`	Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols. Expert Syst. Appl. Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
2014	—	`ch.`	On Incremental Quantitative Verification for Probabilistic Systems. HOWARD-60 Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma
2014	—	`conf`	On efficient consistency checks by robots. ECC Hongyang Qu, Sandor M. Veres
2014	A	`conf`	Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols. ICWS Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
2013	J	`jnl`	Compositional probabilistic verification through multi-objective model checking. Inf. Comput. Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
2013	Misc	`conf`	Model Repair for Markov Decision Processes. TASE Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang
2013	—	`conf`	Reasoning about Strategies under Partial Observability and Fairness Constraints SR Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
2013	A	`conf`	Representing and reasoning about communicative conditional commitments. AAMAS Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
2012	J	`jnl`	Communicative commitments: Model checking and complexity analysis. Knowl. Based Syst. Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
2012	B	`conf`	Incremental Runtime Verification of Probabilistic Systems. RV Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma
2012	J	`jnl`	Towards verifying contract regulated service composition. Auton. Agents Multi Agent Syst. Alessio Lomuscio, Hongyang Qu, Monika Solanki
2011	A	`conf`	Incremental quantitative verification for Markov decision processes. DSN Marta Z. Kwiatkowska, David Parker, Hongyang Qu
2011	A	`conf`	On the verification of social commitments and time. AAMAS Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
2011	—	`conf`	Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. QEST Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu
2011	A	`conf`	Quantitative Multi-objective Verification for Probabilistic Systems. TACAS Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
2010	A	`conf`	Assume-Guarantee Verification for Probabilistic Systems. TACAS Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
2010	—	`conf`	Automatic Data-Abstraction in Model Checking Multi-Agent Systems. MoChArt Alessio Lomuscio, Hongyang Qu, Francesco Russo
2010	—	`conf`	Dependability Analysis and Verification for Connected Systems. ISoLA (2) Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu
2010	A	`conf`	Parallel Model Checking for Temporal Epistemic Logic. ECAI Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu
2010	J	`jnl`	Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems. Fundam. Informaticae Alessio Lomuscio, Wojciech Penczek, Hongyang Qu
2010	A	`conf`	Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. AAMAS Alessio Lomuscio, Wojciech Penczek, Hongyang Qu
2009	B	`conf`	A Data Symmetry Reduction Technique for Temporal-epistemic Logic. ATVA Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu
2009	A*	`conf`	A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. IJCAI Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu
2009	A*	`conf`	MCMAS: A Model Checker for the Verification of Multi-Agent Systems. CAV Alessio Lomuscio, Hongyang Qu, Franco Raimondi
2009	A	`conf`	Optimizing Probabilities of Real-Time Test Case Execution. ICST Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu
2009	—	`conf`	Reo2MC: a tool chain for performance analysis of coordination models. ESEC/SIGSOFT FSE Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu
2008	J	`jnl`	Automatic generation of path conditions for concurrent timed systems. Theor. Comput. Sci. Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
2008	—	`conf`	Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. MoChArt Alessio Lomuscio, Wojciech Penczek, Hongyang Qu
2008	A	`conf`	Towards Verifying Contract Regulated Service Composition. ICWS Alessio Lomuscio, Hongyang Qu, Monika Solanki
2008	—	`conf`	Towards verifying compliance in agent-based web service compositions. AAMAS (1) Alessio Lomuscio, Hongyang Qu, Monika Solanki
2007	—	`conf`	Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck
2007	A	`conf`	Verifying Temporal and Epistemic Properties of Web Service Compositions. ICSOC Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki
2006	—	`conf`	Adding Invariants to Event Zone Automata. FORMATS Peter Niebert, Hongyang Qu
2006	J	`jnl`	Enforcing Concurrent Temporal Behaviors. Int. J. Found. Comput. Sci. Doron A. Peled, Hongyang Qu
2006	C	`conf`	Grey-Box Checking. FORTE Edith Elkind, Blaise Genest, Doron A. Peled, Hongyang Qu
2006	C	`conf`	Stronger Reduction Criteria for Local First Search. ICTAC Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler
2006	B	`conf`	The Implementation of Mazurkiewicz Traces in POEM. ATVA Peter Niebert, Hongyang Qu
2005	—	`conf`	Calculating Probabilities of Real-Time Test Cases. FATES Marcin Jurdzinski, Doron A. Peled, Hongyang Qu
2005	B	`conf`	Generating Path Conditions for Timed Systems. IFM Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
2005	—	`—`	Theoretical and practical tools for validating discrete and real-time systems. Hongyang Qu
2005	—	`conf`	Time Unbalanced Partial Order. FATES Doron A. Peled, Hongyang Qu
2004	—	`conf`	Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
2004	—	`conf`	Enforcing Concurrent Temporal Behaviors. RV@ETAPS Doron A. Peled, Hongyang Qu
2003	C	`conf`	Automatic Verification of Annotated Code. FORTE Doron A. Peled, Hongyang Qu