|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 156 publication records. Showing 156 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Holger Hermanns, Jun Sun 0001, Lei Bu (eds.) |
Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings  |
SETTA  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhangyue He, Yanni Tang, Kaiqi Zhao 0001, Jiamou Liu, Wu Chen |
Graph-Based Log Anomaly Detection via Adversarial Training. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Weihao Su, Haiming Chen, Rongchen Li, Zixuan Chen |
Modeling Regex Operators for Solving Regex Crossword Puzzles. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zekun Ji, Shuling Wang, Xiong Xu |
Session Types with Multiple Senders Single Receiver. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yixiao Yang, Chen Gao, Zhiqi Li, Yifan Wang, Rui Wang |
Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinpeng Ni, Yulun Wu, Bican Xia |
Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic Verification. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Geng, Ruiqi Hu, Kairong Liu, Zhihui Li, Zhikun She |
Reachability Based Uniform Controllability to Target Set with Evolution Function. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shenghao Yuan, Benjamin Lion, Frédéric Besson, Jean-Pierre Talpin |
Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jintao Huang, Gaosheng Wang, Zhiqiang Shi, Fei Lv 0010, Weidong Zhang, Shichao Lv |
SeHBPL: Behavioral Semantics-Based Patch Presence Test for Binaries. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Sun, Zhe Bu, Yang Xiao, Chengsheng Zhou, Zhiyu Hao, Hongsong Zhu |
Software Vulnerability Detection Using an Enhanced Generalization Strategy. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Qian Yao, Xinli Xiong, Yongjie Wang |
Cheat-FlipIt: An Approach to Modeling and Perception of a Deceptive Opponent. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu 0001, Jiadong Teng, Bo Liu 0033 |
Multi-dimensional Abstraction and Decomposition for Separation of Concerns. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunxi Zhang, Shuyan Zhang, Ting Chen, Rong Zhang 0002, Kai Liu |
An Optimized Solution for Highly Contended Transactional Workloads. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Denghang Hu, Zhilin Wu |
String Constraints with Regex-Counting and String-Length Solved More Efficiently. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lingzhi Ouyang, Yu Huang 0002, Binyu Huang, Xiaoxing Ma |
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeperCoordination Service. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Weiwei Wang, Zidong Li, Feng You, Ruilian Zhao |
Vulnerability Report Analysis and Vulnerability Reproduction for Web Applications. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingmin Xiao, Zhibin Yang, Yong Zhou, Zhiqiu Huang |
Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang 0001 |
An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinyi Wan, Qinxiang Cao |
Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaocong Han, Yi Zhang 0029 |
Enhancing Branch and Bound for Robustness Verification of Neural Networks via an Effective Branching Strategy. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Weidi Sun, Yuteng Lu, Xiaokun Luan, Meng Sun 0002 |
HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yixuan Yan, Weihao Su, Lixiao Zheng, Mengxi Wang, Haiming Chen, Chengyao Peng, Rongchen Li, Zixuan Chen |
Deducing Matching Strings for Real-World Regular Expressions. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Zhu, Chuanqi Tao, Hongjing Guo, Yue Ju |
DeepTD: Diversity-Guided Deep Neural Network Test Generation. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Huiyu Liu, Qichao Kong, Jue Wang, Ting Su, Haiying Sun |
Understanding the Reproducibility Issues of Monkey for GUI Testing. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang 0001 |
Formal Verification Based Synthesis for Behavior Trees. |
SETTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu 0001 |
Decidability of Liveness for Concurrent Objects on the TSO Memory Model. |
SETTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Fengmin Zhu, Fei He 0001 |
EqFix: Fixing LaTeX Equation Errors by Examples. |
SETTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh |
Diversifying a Parallel SAT Solver with Bayesian Moment Matching. |
SETTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Fengmin Zhu, Xingyu Xie, Dongyu Feng, Na Meng 0001, Fei He 0001 |
Mastery: Shifted-Code-Aware Structured Merging. |
SETTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Weidi Sun, Xiaoyong Xue, Yuteng Lu, Meng Sun 0002 |
HashC: Making DNNs' Coverage Testing Finer and Faster. |
SETTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yichen Tao, Qinxiang Cao |
LOGIC: A Coq Library for Logics. |
SETTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Li, Huibiao Zhu, Richard Banach |
Translating CPS with Shared-Variable Concurrency in SpaceEx. |
SETTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | M. H. Bandukara, Nikos Tzevelekos |
On-The-Fly Bisimilarity Checking for Fresh-Register Automata. |
SETTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Gross, Nils Jansen 0001, Sebastian Junges, Guillermo A. Pérez 0001 |
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. |
SETTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaodong Du, Pengfei Xu, Zheng Zhang, Shushan Chai, Rui Xia, Zhe Zong |
KCL: A Declarative Language for Large-Scale Configuration and Policy Management. |
SETTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu 0001 |
A Contract-Based Semantics and Refinement for Simulink. |
SETTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong 0006, Jean-Pierre Talpin (eds.) |
Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings |
SETTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Siran Li, Lei Wang 0126, Keyang Hu, Ce Mo, Bo Jiang 0001 |
VM Migration and Live-Update for Reliable Embedded Hypervisor. |
SETTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun 0002 |
MTUL: Towards Mutation Testing of Unsupervised Learning Systems. |
SETTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | ZhengPu Shi, Gang Chen |
Integration of Multiple Formal Matrix Models in Coq. |
SETTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruiqi Hu, Meilun Li, Zhikun She |
$\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations. |
SETTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz |
MC/DC Test Cases Generation Based on BDDs. |
SETTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao |
Formal Analysis of 5G AKMA. |
SETTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh 0001, Dominique Méry, Philippe A. Palanque |
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. |
SETTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaozhi Wei, Ran Mo, Pu Xiong, Siyuan Zhang, Yang Zhao, Zengyang Li |
Predicting and Monitoring Bug-Proneness at the Feature Level. |
SETTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xue-er Ding, Jun Niu, Jia Wang |
API Usage Pattern Search Based on Model Checking. |
SETTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Jim Woodcock 0001, Wenhui Zhang (eds.) |
Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings |
SETTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun 0002 |
DeepGlobal: A Global Robustness Verifiable FNN Framework. |
SETTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun |
Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization. |
SETTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka |
A Distributed Simplex Architecture for Multi-agent Systems. |
SETTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Yan, Shujuan Jiang, Shenggang Zhang, Ying Huang |
CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum. |
SETTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ximeng Li 0003, Qianying Zhang, Guohui Wang, Zhiping Shi 0002, Yong Guan |
Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics. |
SETTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-Fu Chen 0001, Bo Liu 0048, Saihua Cai, Weijia Wang, Shengran Wang |
AIdetectorX: A Vulnerability Detector Based on TCN and Self-attention Mechanism. |
SETTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuteng Lu, Weidi Sun, Meng Sun 0002 |
Mutation Testing of Reinforcement Learning Systems. |
SETTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Teng Long, Xingtao Ren, Qing Wang, Chao Wang |
Verifying the Correctness of Distributed Systems via Mergeable Parallelism. |
SETTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongjie Xu, Fu Song, Taolue Chen |
ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas. |
SETTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lili Xiao, Huibiao Zhu |
Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP. |
SETTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yangxi Zhou, Yan Zhu, Liangyu Chen 0001 |
Software Defect-Proneness Prediction with Package Cohesion and Coupling Metrics Based on Complex Network Theory. |
SETTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang 0001 |
Symbolic Verification of MPI Programs with Non-deterministic Synchronizations. |
SETTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Qinxiang Cao, Zhongye Wang |
Reentrancy? Yes. Reentrancy Bug? No. |
SETTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Wanwei Liu, Liangze Yin, Tun Li |
Compiling FLres on Finite Words. |
SETTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lieuwe Vinkhuijzen, Alfons Laarman |
Symbolic Model Checking with Sentential Decision Diagrams. |
SETTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman |
Randomized Refinement Checking of Timed I/O Automata. |
SETTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Pang 0001, Lijun Zhang 0001 (eds.) |
Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings |
SETTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bai Xue 0001, Naijun Zhan |
Probably Approximately Correct Interpolants Generation. |
SETTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001, Jim Woodcock 0001 |
Learning Safe Neural Network Controllers with Barrier Certificates. |
SETTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Capra |
Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric Nets. |
SETTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xie Li, Taolue Chen, Zhilin Wu, Mingji Xia |
Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata. |
SETTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn A. Goorden, Lars Moormann, Ferdie F. H. Reijnen, J. J. Verbakel, D. A. van Beek, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda, L. F. P. Etman |
The Road Ahead for Supervisor Synthesis. |
SETTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li 0031 |
Modelling and Implementation of Unmanned Aircraft Collision Avoidance. |
SETTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chong Liu, Nuno Macedo, Alcino Cunha |
Simplifying the Analysis of Software Design Variants with a Colorful Alloy. |
SETTA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nan Guan, Joost-Pieter Katoen, Jun Sun 0001 (eds.) |
Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings |
SETTA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Yang Lin, Nikos Tzevelekos |
A Bounded Model Checking Technique for Higher-Order Programs. |
SETTA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasdeep Singh, Luca Santinelli, Federico Reghenzani, Konstantinos Bletsas, David Doose, Zhishan Guo |
Mixed Criticality Scheduling of Probabilistic Real-Time Systems. |
SETTA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Tang 0001, Yuming Jiang 0001, Nan Guan |
Improving the Analysis of GPC in Real-Time Calculus. |
SETTA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Linard, Doina Bucur, Mariëlle Stoelinga |
Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm. |
SETTA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuemei Peng, Meiling Han, Qingxu Deng |
Response Time Analysis of Typed DAG Tasks for G-FP Scheduling. |
SETTA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Zhang, Yongwang Zhao, David Sanán, Lei Qiao, Jinkun Zhang |
A Verified Specification of TLSF Memory Management Allocator Using State Monads. |
SETTA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang |
A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms. |
SETTA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Adelsberger, Anton Setzer, Eric Walkingshaw |
Developing GUI Applications in a Verified Setting. |
SETTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Chen, Zhenya Zhang, Peng Wu 0002, Yu Zhang |
Interleaving-Tree Based Fine-Grained Linearizability Fault Localization. |
SETTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Chung-Ling Lin, Wuwei Shen, Tao Yue 0002, Guangyuan Li |
Automatic Support of the Generation and Maintenance of Assurance Cases. |
SETTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Junyan Qian, Cong Chen, Wei Cao, Zhongyi Zhai, Lingzhong Zhao |
Improvement in JavaMOP by Simplifying Büchi Automaton. |
SETTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee 0001, Oleg Sokolsky |
Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. |
SETTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | James Snook, Michael J. Butler, Thai Son Hoang |
Developing A New Language to Construct Algebraic Hierarchies for Event-B. |
SETTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Severin Kann, Richard Schumi |
Statistical Model Checking of Response Times for Different System Deployments. |
SETTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bai Xue 0001, Naijun Zhan, Yangjia Li, Qiuye Wang |
Robust Non-termination Analysis of Numerical Software. |
SETTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu 0033, Zhiming Liu 0001 |
Identifying Microservices Using Functional Decomposition. |
SETTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Xie 0001 |
Intelligent Software Engineering: Synergy Between AI and Software Engineering. |
SETTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinyu Feng 0001, Markus Müller-Olm, Zijiang Yang (eds.) |
Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings |
SETTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Soumya Paul, Jun Pang 0001, Cui Su |
Towards the Existential Control of Boolean Networks: A Preliminary Report. |
SETTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Eun-Young Kang 0001, Li Huang 0001 |
Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier. |
SETTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhishan Guo, Luca Santinelli, Kecheng Yang 0001 |
Mixed-Criticality Scheduling with Limited HI-Criticality Behaviors. |
SETTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang 0001 |
On Equivalence Checking of Nondeterministic Finite Automata. |
SETTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitar P. Guelev, Shuling Wang, Naijun Zhan |
Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus. |
SETTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng 0001 |
Formalizing SPARCv8 Instruction Set Architecture in Coq. |
SETTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Santinelli, Zhishan Guo |
On the Criticality of Probabilistic Worst-Case Execution Time Models. |
SETTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Calvin Deutschbein, Tom Fleming, Alan Burns 0001, Sanjoy K. Baruah |
Multi-core Cyclic Executives for Safety-Critical Systems. |
SETTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zipeng Zhang, Xinyu Feng 0001 |
AndroidLeaker: A Hybrid Checker for Collusive Leak in Android Applications. |
SETTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ghassen Helali, Sofiène Tahar, Osman Hasan, Tsvetan Dunchev |
Formal Analysis of Information Flow in HOL. |
SETTA |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 156 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license