|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1191 occurrences of 716 keywords
|
|
|
|
|
Results
Found 995 publication records. Showing 995 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yujun Dai, Shaoying Liu, Guangquan Xu, Ai Liu |
Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection.  |
ICECCS  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He 0001 |
Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yan, Simon Foster 0001, Ibrahim Habli |
Automated Compositional Verification for Robotic State Machines using Isabelle/HOL. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ning Ge 0002, Jinwen Yang, Tianyu Yu, Wei Liu |
AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language Contracts. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Byrd Victorica, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto |
Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Kan Jiang, Zhaoyu Liu, Chen Dong, Zhe Hou, Rajdeep Singh Hundal, Jingyu Guo, Yun Lin 0001 |
Sports Analytics Using Probabilistic Model Checking and Deep Learning. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuya Noguchi, Tatsuhiro Tsuchiya |
Model Checking of Intersection Traffic Control Protocols. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shu Peng, Naipeng Dong, Guangdong Bai |
Quantitative Explainable AI For Face Recognition. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Foster 0001, Burkhart Wolff |
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti 0001, Robert M. Hierons |
Challenges in testing of cyclic systems. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yamine Aït-Ameur, Ferhat Khendek, Dominique Méry (eds.) |
27th International Conference on Engineering of Complex Computer Systems, ICECCS 2023, Toulouse, France, June 14-16, 2023 |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Racem Bougacha, Régine Laleau, Simon Collart Dutilleul |
Formal alignment of requirements models with high-level architecture models. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | João Marques-Silva 0001 |
Disproving XAI Myths with Formal Methods - Initial Results. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierfrancesco Bellini, Daniele Bologna, Marco Fanfani, Luciano Alessandro Ipsaro Palesi, Paolo Nesi, Gianni Pantaleo |
Rapid Prototyping & Development Life Cycle for Smart Applications of Internet of Entities. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Norbert Ropiak, Mateusz Gniewkowski, Michal Swedrowski, Michal Pogoda, Karol Gawron, Bartlomiej Bojanowski, Tomasz Walkowiak |
How to select samples for active learning? Document clustering with active learning methodology. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | J. J. Verbakel, Wan J. Fokkink, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda |
Validating communication of a dynamic traffic management system. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Scheerer, Ralf H. Reussner |
Reliability Analysis of Architectural Safeguards for AI-enabled Systems. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, Lom-Messan Hillah |
An Experience Report on the Optimization of the Product Configuration System of Renault *. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Bu, Meng Sun 0002 |
Certifying Semantic Robustness of Deep Neural Networks. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ciprian Paduraru, Marina Cernat, Adelina-Nicoleta Staicu |
Concolic execution for RPA testing. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix |
Specification and Verification of Communication Paradigms for CBSE in Event B. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Engel Lefaucheux, Dylan Marinho |
Expiring opacity problems in parametric timed automata. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Huasong Meng, Guangdong Bai, Sin G. Teo, Jin Song Dong |
Supervised Robustness-preserving Data-free Neural Network Pruning. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Philémon Houdaille, Djamel Eddine Khelladi, Romain Briend, Robbert Jongeling, Benoît Combemale |
Polyglot AST: Towards Enabling Polyglot Code Analysis. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pingyan Wang, Shaoying Liu |
Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer Analysis. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Javadpour, Forough Ja'fari, Tarik Taleb, Chafika Benzaïd |
A Mathematical Model for Analyzing Honeynets and Their Cyber Deception Techniques. |
ICECCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang, Ya Gao |
A Bounded Semantics for Improving the Efficiency of Bounded Model Checking. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Perrotin, Nicolas Belloir, Salah Sadou, David Hairion, Antoine Beugnard |
HoS-ML: Socio-Technical System ADL Dedicated to Human Vulnerability Identification. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Penglong Chen, Zhen Li 0027, Yu Wen, Lili Liu |
Generating Adversarial Source Programs Using Important Tokens-based Structural Transformations. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Basso, Filippo Schiavio, Andrea Rosà, Walter Binder |
Optimizing Parallel Java Streams. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaime Arias 0001, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk |
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Meryem Afendi, Amel Mammar, Régine Laleau |
Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sree Ram Boyapati, Claudia Szabo |
Self-adaptation in Microservice Architectures: A Case Study. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yulin Bao, Chenyi Zhang, Xilong Zhuo, Yongliang Wang |
Parameter Sensitive Pointer Analysis for Java. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiaqi Yin, Huibiao Zhu |
The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Riviere, Neeraj Kumar Singh 0001, Yamine Aït Ameur |
EB4EB: A Framework for Reflexive Event-B. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sami Evangelista, Laure Petrucci, Lars Michael Kristensen |
Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Weilin Wu, Na Wang 0007, Yixiang Chen |
A Novel Intelligent-Building-Fire-Risk Classification Method. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mufan Xiang, Yongjian Li, Sijun Tan, Yongxin Zhao, Yiwei Chi |
Parameterized Design and Formal Verification of Multi-ported Memory. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Camille Coti, Laure Petrucci, Daniel Alberto Torres González |
A Formal Model for Fault Tolerant Parallel Matrix Factorization. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yepeng Ding, Hiroyuki Sato |
Formalism- Driven Development of Decentralized Systems. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Zhou, Li Kuang |
Combining Global and Local Representations of Source Code for Method Naming. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinyue Li, Wu Chen |
Multi-layer Event Analytic Method of Adaptive Software Orienting at Uncertain Environments. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Li, Huibiao Zhu, Richard Banach |
Denotational and Algebraic Semantics for Cyber-physical Systems. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Guanhong Chen, Shuang Liu 0007 |
Reducing Malware labeling Efforts Through Efficient Prototype Selection. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanzhao Wang, Fei Xie |
Extending Tensor Virtual Machine to Support Deep-Learning Accelerators with Convolution Cores. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lian Gu, Zihui Wang, Jiaxin Liu, Yating Zhang, Dong Yang, Wei Dong 0006 |
Extension-Compression Learning: A deep learning code search method that simulates reading habits. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | |
26th International Conference on Engineering of Complex Computer Systems, ICECCS 2022, Hiroshima, Japan, March 26-30, 2022 |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhé Hóu, Qinyi Li, Ernest Foo, Jin Song Dong, Paulo de Souza |
A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Enze Ma |
DLGR: A Rule-Based Approach to Graph Replacement for Deep Learning. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Rosales 0001, Andrea Rosà, Matteo Basso, Alex Villazón, Adriana Orellana, Ángel Zenteno, Jhon Rivero, Walter Binder |
Characterizing Java Streams in the Wild. |
ICECCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin |
Visual counterexample explanation for model checking with OERITTE. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Huang, Yao Lu 0003, Xinjun Mao |
Gathering GitHub OSS Requirements from Q&A Community: an Empirical Study. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Aleksander Kryukov |
Parametric non-interference in timed automata. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yizhen Dong, Peixin Zhang, Jingyi Wang 0004, Shuang Liu 0007, Jun Sun 0001, Jianye Hao, Xinyu Wang 0001, Li Wang, Jin Song Dong, Ting Dai |
An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tayssir Touili, Xin Ye 0007 |
CTL Model Checking of Self Modifying Code. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Szabo, Vanja Radenovic, Gregory Judd, Dustin Craggs, Kin Leong Lee, Xiaoshan Chen, Kevin Chan 0001 |
Optimizing Communication Strategies in Contested and Dynamic Environments. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Rivera, Antonio Ken Iannillo, Sofiane Lagraa, Clément Joly, Radu State |
ROS-FM: Fast Monitoring for the Robotic Operating System(ROS). |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Yan, Kaixin Huang, Shengan Zheng, Dongliang Xue, Linpeng Huang |
ReoFS: A Read-Efficient and Write-Optimized File System for Persistent Memory. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Qinyuan Li, Minyi Li 0001, Bao Quoc Vo, Ryszard Kowalczyk |
An Anytime Algorithm for Large-scale Heterogeneous Task Allocation. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan-Bach Le, David Sanán, Jun Sun 0001, Shang-Wei Lin 0001 |
Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Farokhi, Katharina Dost, Gerald Weber, Jing Sun 0002, Christof Lutteroth |
The Semantic Spreadsheet. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Foster 0001, Mario Gleirscher, Radu Calinescu |
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanlin Wei, Guangdong Bai, Zongwei Luo |
Foggy: A New Anonymous Communication Architecture Based on Microservices. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kan Jiang, Masoumeh Izadi, Zhaoyu Liu, Jin Song Dong |
Deep Learning Application in Broadcast Tennis Video Annotation. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nacha Chondamrongkul, Jing Sun 0002, Ian Warren |
Automated Planning for Software Architectural Migration. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zan Wang, Haichi Wang, Shuang Liu 0007, Jun Sun 0001, Haoyu Wang, Junjie Chen 0003 |
IFIX: Fixing Concurrency Bugs While They Are Introduced. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Li 0008, Alan Wee-Chung Liew (eds.) |
25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020 |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Rivera |
Formal Verification of Access Control Model for My Health Record System. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Gleirscher, Radu Calinescu |
Safety Controller Synthesis for Collaborative Robots. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruitao Feng, Jing Qiang Lim, Sen Chen 0001, Shang-Wei Lin 0001, Yang Liu 0003 |
SeqMobile: An Efficient Sequence-Based Malware Detection System Using RNN on Mobile Devices. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Babu Pillai, Kamanashis Biswas, Zhé Hóu, Vallipuram Muthukkumarasamy |
The Burn-to-Claim cross-blockchain asset transfer protocol. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Laurent 0003, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque |
Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ru Ji, Ningyu He, Lei Wu 0012, Haoyu Wang 0001, Guangdong Bai, Yao Guo 0001 |
DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Ashiqur Rahman, Rahat Masum, Matthew Anderson, Steven L. Drager 0001 |
Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rong Wang 0002, Shaoying Liu, Yuji Sato |
A Fault Localization Approach Derived From Testing-based Formal Verification. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy |
RL: a Language for Formal Engineering. |
ICECCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bai Xue, Yang Liu 0003, Lei Ma 0003, Xiyue Zhang, Meng Sun 0002, Xiaofei Xie |
Safe Inputs Approximation for Black-Box Systems. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Spichkova |
Industry-Oriented Project-Based Learning of Software Engineering. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Lamine Kerdoudi, Tewfik Ziadi, Chouki Tibermacine, Salah Sadou |
Recovering Software Architecture Product Lines. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer |
Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Pang 0001, Jing Sun 0002 (eds.) |
24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019 |
ICECCS |
2019 |
DBLP BibTeX RDF |
|
| 1 | Li Huang 0001, Tian Liang, Eun-Young Kang 0001 |
Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You, Qimin Hu |
Apla Generic Constraint Matching Detection and Verification. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Gao 0001, Li Li 0029, Tegawendé F. Bissyandé, Jacques Klein |
On the Evolution of Mobile App Complexity. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao-Yi Zhang 0005, Paolo Arcaini, Fuyuki Ishikawa |
Assessing the Relation Between Hazards and Variability in Automotive Systems. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Didier Lime, Mathias Ramparison |
On the Expressive Power of Invariants in Parametric Timed Automata. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane |
Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi Gong, Zhenchang Xing, Xiaohong Li 0001, Zhiyong Feng 0002, Zhuobing Han |
Joint Prediction of Multiple Vulnerability Characteristics Through Multi-Task Learning. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao Cheng 0002, Haoyu Wang 0001, Jiayi Hua, Miao Zhang, Guoai Xu, Li Yi, Yulei Sui |
Static Detection of Control-Flow-Related Vulnerabilities Using Graph Embedding. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali |
A Formal Methods Approach to Security Requirements Specification and Verification. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Xue-Yang Zhu |
Efficient Retiming of Unfolded Synchronous Dataflow Graphs. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Faheem Ullah, Muhammad Ali Babar 0001 |
QuickAdapt: Scalable Adaptation for Big Data Cyber Security Analytics. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Chen, Wenhui Zhang |
Checking Multi-Agent Systems Against Temporal-Epistemic Specifications. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaixin Huang, Yan Yan, Linpeng Huang |
EFLightPM: An Efficient and Lightweight Persistent Memory System. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tayssir Touili, Xin Ye 0007 |
LTL Model Checking of Self Modifying Code. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sung-Shik Jongmans |
Toward New Unit-Testing Techniques for Shared-Memory Concurrent Programs. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh 0001, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky |
Modelling Hybrid Train Speed Controller using Proof and Refinement. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Laure Petrucci, Michal Knapik, Wojciech Penczek, Teofil Sidoruk |
Squeezing State Spaces of (Attack-Defence) Trees. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Jiang, David Sanán, Yongwang Zhao, Shuanglong Kan, Yang Liu 0003 |
A Formally Verified Buddy Memory Allocation Model. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 995 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license