Xiaowei Huang

IEEE Robotics Autom. Lett., May, 2023

Generalizing universal adversarial perturbations for deep neural networks.

[BibT_eX]

[DOI]

Mach. Learn., May, 2023

Transportation Object Counting With Graph-Based Adaptive Auxiliary Learning.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., March, 2023

Machine Learning Safety

[BibT_eX]

[DOI]

Gaojie Jin

Leandro Soriano Marcolino

Artificial Intelligence: Foundations, Theory, and Algorithms, Springer, ISBN: 978-981-19-6813-6, 2023

Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2023

ReRoGCRL: Representation-based Robustness in Goal-Conditioned Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2023

Reward Certification for Policy Smoothed Reinforcement Learning.

[BibT_eX]

[DOI]

Ronghui Mu

CoRR, 2023

DeepHGCN: Toward Deeper Hyperbolic Graph Convolutional Networks.

[BibT_eX]

[DOI]

Jiaxu Liu

CoRR, 2023

Symplectic Structure-Aware Hamiltonian (Graph) Embeddings.

[BibT_eX]

[DOI]

CoRR, 2023

MathAttack: Attacking Large Language Models Towards Math Solving Ability.

[BibT_eX]

[DOI]

CoRR, 2023

A Symbolic Character-Aware Model for Solving Geometry Problems.

[BibT_eX]

[DOI]

CoRR, 2023

Risk Controlled Image Retrieval.

[BibT_eX]

[DOI]

CoRR, 2023

A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation.

[BibT_eX]

[DOI]

CoRR, 2023

Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT.

[BibT_eX]

[DOI]

Yi Qi

CoRR, 2023

STPA for Learning-Enabled Systems: A Survey and A New Method.

[BibT_eX]

[DOI]

CoRR, 2023

Towards Verifying the Geometric Robustness of Large-scale Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2023

Optimising Event-Driven Spiking Neural Network with Regularisation and Cutoff.

[BibT_eX]

[DOI]

CoRR, 2023

Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Bridging the Gap Between AI and Reality, 2023

What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Model-Agnostic Reachability Analysis on Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2023

A Symbolic Characters Aware Model for Solving Geometry Problems.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM International Conference on Multimedia, 2023

STPA for Learning-Enabled Systems: A Survey and A New Practice.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Short-term Load Forecasting with Distributed Long Short-Term Memory.

[BibT_eX]

[DOI]

Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2023

Progressive Supervision for Tampering Localization in Document Images.

[BibT_eX]

[DOI]

Proceedings of the Neural Information Processing - 30th International Conference, 2023

Robust Bayesian Abstraction of Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning and Cybernetics, 2023

SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

Sora: Scalable Black-Box Reachability Analyser on Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2023

Randomized Adversarial Training via Taylor Expansion.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Weight-based Semantic Testing Approach for Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-23 Joint Workshop on Artificial Intelligence Safety and Safe Reinforcement Learning (AISafety-SafeRL 2023) co-located with the 32nd International Joint Conference on Artificial Intelligence(IJCAI2023), 2023

Learning by Analogy: Diverse Questions Generation in Math Word Problem.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

2022

Coverage-Guided Testing for Recurrent Neural Networks.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2022

Weight Expansion: A New Perspective on Dropout and Generalization.

[BibT_eX]

[DOI]

Trans. Mach. Learn. Res., 2022

Graph-Based Region and Boundary Aggregation for Biomedical Image Segmentation.

[BibT_eX]

[DOI]

IEEE Trans. Medical Imaging, 2022

Editorial to theme section on open environmental software systems modeling.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2022

Soft pseudo-Label shrinkage for unsupervised domain adaptive person re-identification.

[BibT_eX]

[DOI]

Pattern Recognit., 2022

Embedding and extraction of knowledge in tree ensemble classifiers.

[BibT_eX]

[DOI]

Wei Huang

Mach. Learn., 2022

Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems.

[BibT_eX]

[DOI]

CoRR, 2022

3D Dense Face Alignment with Fused Features by Aggregating CNNs and GCNs.

[BibT_eX]

[DOI]

CoRR, 2022

Counting with Adaptive Auxiliary Learning.

[BibT_eX]

[DOI]

CoRR, 2022

Neuronal Correlation: a Central Concept in Neural Network.

[BibT_eX]

[DOI]

Gaojie Jin

CoRR, 2022

Dependable learning-enabled multiagent systems.

[BibT_eX]

[DOI]

Bei Peng

AI Commun., 2022

A Graph Neural Network Reasoner for Game Description Language.

[BibT_eX]

[DOI]

Alvaro Gunawan

Ji Ruan

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking.

[BibT_eX]

[DOI]

Yi Dong

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

STUN: Self-Teaching Uncertainty Estimation for Place Recognition.

[BibT_eX]

[DOI]

Kaiwen Cai

Chris Xiaoxuan Lu

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), 2022

Bridging Formal Methods and Machine Learning with Global Optimisation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2022

Adversarial Label Poisoning Attack on Graph Neural Networks via Label Propagation.

[BibT_eX]

[DOI]

Ganlin Liu

Proceedings of the Computer Vision - ECCV 2022, 2022

Enhancing Adversarial Training with Second-Order Statistics of Weights.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

Formal Specification for Learning-Enabled Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

EnnCore: End-to-End Conceptual Guarding of Neural Architectures.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

Quantifying the Importance of Latent Features in Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

2021

An Overview of Verification and Validation Challenges for Inspection Robots.

[BibT_eX]

[DOI]

Robotics, 2021

Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2021

Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems.

[BibT_eX]

[DOI]

Yi Dong

CoRR, 2021

Tutorials on Testing Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2021

Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features.

[BibT_eX]

[DOI]

CoRR, 2021

A Little Energy Goes a Long Way: Energy-Efficient, Accurate Conversion from Convolutional Neural Networks to Spiking Neural Networks.

[BibT_eX]

[DOI]

Dengyu Wu

CoRR, 2021

BayLIME: Bayesian local interpretable model-agnostic explanations.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021

Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Artificial Intelligence Safety 2021 co-located with the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), 2021

A Segment-Based Layout Aware Model for Information Extraction on Document Images.

[BibT_eX]

[DOI]

Proceedings of the Neural Information Processing - 28th International Conference, 2021

Spatial Uncertainty-Aware Semi-Supervised Crowd Counting.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

Statistical Certification of Acceptable Robustness for Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2021, 2021

Detecting Operational Adversarial Examples for Reliable Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications.

[BibT_eX]

[DOI]

Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021

BI-GCN: Boundary-Aware Input-Dependent Graph Convolution Network for Biomedical Image Segmentation.

[BibT_eX]

[DOI]

Proceedings of the 32nd British Machine Vision Conference 2021, 2021

2020

A game-based approximate verification of deep neural networks with provable guarantees.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability.

[BibT_eX]

[DOI]

Comput. Sci. Rev., 2020

BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations.

[BibT_eX]

[DOI]

CoRR, 2020

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics.

[BibT_eX]

[DOI]

CoRR, 2020

Embedding and Synthesis of Knowledge in Tree Ensemble Classifiers.

[BibT_eX]

[DOI]

Wei Huang

CoRR, 2020

Towards the Quantification of Safety Risks in Deep Neural Networks.

[BibT_eX]

[DOI]

Peipei Xu

João Batista Pereira Matos Jr.

CoRR, 2020

CasGCN: Predicting future cascade growth based on information diffusion graph.

[BibT_eX]

[DOI]

CoRR, 2020

Adaptable and Verifiable BDI Reasoning.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020

Generating Adversarial Inputs Using A Black-box Differential Technique.

[BibT_eX]

[DOI]

Lucas Carvalho Cordeiro

Marcelo d'Amorim

CoRR, 2020

The Association for the Advancement of Artificial Intelligence 2020 Workshop Program.

[BibT_eX]

[DOI]

AI Mag., 2020

PRODeep: a platform for robustness verification of deep neural networks.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

A Safety Framework for Critical Systems Utilising Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2020

How does Weight Correlation Affect Generalisation Ability of Deep Neural Networks?

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

CNN-GCN Aggregation Enabled Boundary Regression for Biomedical Image Segmentation.

[BibT_eX]

[DOI]

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2020, 2020

Practical Verification of Neural Network Enabled State Estimation System for Robotics.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Maximum Power Point Tracking of Photovoltaic Systems Using Deep Q-networks.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Industrial Informatics, 2020

Reliability Validation of Learning Enabled Vehicle Tracking.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Generalizing Universal Adversarial Attacks Beyond Additive Perturbations.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Data Mining, 2020

Explaining Image Classifiers Using Statistical Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2020, 2020

Regression of Instance Boundary by Aggregated CNN and GCN.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2020, 2020

2019

Reasoning about Cognitive Trust in Stochastic Multiagent Systems.

[BibT_eX]

[DOI]

Maciej Olejnik

ACM Trans. Comput. Log., 2019

Structural Test Coverage Criteria for Deep Neural Networks.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

Test Metrics for Recurrent Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2019

Explaining Deep Neural Networks Using Spectrum-Based Fault Localization.

[BibT_eX]

[DOI]

CoRR, 2019

testRNN: Coverage-guided Testing on Recurrent Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2019

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.

[BibT_eX]

[DOI]

CoRR, 2019

Reports of the Workshops Held at the 2019 AAAI Conference on Artificial Intelligence.

[BibT_eX]

[DOI]

AI Mag., 2019

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 26th International Symposium, 2019

Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

DeepConcolic: testing and debugging deep neural networks.

[BibT_eX]

[DOI]

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

2018

An Epistemic Strategy Logic.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2018

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm.

[BibT_eX]

[DOI]

CoRR, 2018

Testing Deep Neural Networks.

[BibT_eX]

[DOI]

Youcheng Sun

Daniel Kroening

CoRR, 2018

Feature-Guided Black-Box Safety Testing of Deep Neural Networks.

[BibT_eX]

[DOI]

Matthew Wicker

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

Concolic testing for deep neural networks.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Reachability Analysis of Deep Neural Networks with Provable Guarantees.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

ATL Strategic Reasoning Meets Correlated Equilibrium.

[BibT_eX]

[DOI]

Ji Ruan

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Safety Verification of Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Quantified Coalition Logic of Knowledge, Belief and Certainty.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2017

Reasoning about Cognitive Trust in Stochastic Multiagent Systems.

[BibT_eX]

[DOI]

Marta Zofia Kwiatkowska

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Normative Multiagent Systems: The Dynamic Generalization.

[BibT_eX]

[DOI]

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

Reconfigurability in Reactive Multiagent Systems.

[BibT_eX]

[DOI]

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

Model Checking Probabilistic Knowledge: A PSPACE Case.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Strengthening Agents Strategic Ability with Communication.

[BibT_eX]

[DOI]

Qingliang Chen

Kaile Su

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

The complexity of approximations for epistemic synthesis (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

Bounded model checking of strategy ability with perfect recall.

[BibT_eX]

[DOI]

Artif. Intell., 2015

The Complexity of Model Checking Succinct Multiagent Systems.

[BibT_eX]

[DOI]

Qingliang Chen

Kaile Su

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

An Epistemic Strategy Logic (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

Symbolic Synthesis for Epistemic Specifications with Observational Semantics.

[BibT_eX]

[DOI]

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

A Temporal Logic of Strategic Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Symbolic Model Checking Epistemic Strategy Logic.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics.

[BibT_eX]

[DOI]

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

Model Checking for Reasoning about Incomplete Information Games.

[BibT_eX]

[DOI]

Ji Ruan

Michael Thielscher

Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

A logic of probabilistic knowledge and strategy.

[BibT_eX]

[DOI]

Cheng Luo

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Bounded planning for strategic goals with incomplete information and perfect recall.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Diagnosability in concurrent probabilistic systems.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall.

[BibT_eX]

[DOI]

Kaile Su

Chenyi Zhang

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Symbolic model checking of probabilistic knowledge.

[BibT_eX]

[DOI]

Cheng Luo

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Model Checking Knowledge in Pursuit Evasion Games.

[BibT_eX]

[DOI]

Patrick Maupin

Proceedings of the IJCAI 2011, 2011

2010

A precongruence format for should testing preorder.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence.

[BibT_eX]

[DOI]

Comput. J., 2010

Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic.

[BibT_eX]

[DOI]

Cheng Luo

Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

2009

Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009

2008

Weak Parametric Failure Equivalences and Their Congruence Formats.

[BibT_eX]

[DOI]

Proceedings of the Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), 2008

2007

A Modular Petri Net Used in Synchronous Communication of Sequential Processes.

[BibT_eX]

Jie Meng

Proceedings of the 2007 International Conference on Modeling, 2007

What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security, 9th International Conference, 2007

A Semantic Preorder Combining ST Notion and Fair Testing Semantic.

[BibT_eX]