Search results for "Restart"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	William Leal, Sandip Bapat, Taewoo Kwon, Pihui Wei, Anish Arora	Stabilizing Health Monitoring for Wireless Sensor Networks.	SSS	2006	DBLP DOI BibTeX RDF
20	Ana R. Cavalli, Dario Vieira, Timothy G. Griffin	Implementation Analysis of MSP.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
20	Yawei Li, Zhiling Lan	Exploit Failure Prediction for Adaptive Fault-Tolerance in Cluster Computing.	CCGRID	2006	DBLP DOI BibTeX RDF
20	Hakon O. Bugge	High availability MPIs - Exploring the importance of high availability MPIs.	SC	2006	DBLP DOI BibTeX RDF
20	Pierre M. Fiorini, Robert Sheahan, Lester Lipsky	On unreliable computing systems when heavy-tails appear as a result of the recovery procedure.	SIGMETRICS Perform. Evaluation Rev.	2005	DBLP DOI BibTeX RDF
20	Anne Auger, Nikolaus Hansen	Performance evaluation of an advanced local search evolutionary algorithm.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
20	Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster	Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.	ATVA	2005	DBLP DOI BibTeX RDF
20	Feng Qin, Joseph A. Tucek, Jagadeesan Sundaresan, Yuanyuan Zhou 0001	Rx: treating bugs as allergies - a safe method to survive software failures.	SOSP	2005	DBLP DOI BibTeX RDF	reliability, availability, bug, software failure
20	Guilherme Bastos Alvarenga, Ricardo Martins Abreu e Silva, Geraldo Robson Mateus	A Hybrid Approach for the Dynamic Vehicle Routing Problem with Time Windows.	HIS	2005	DBLP DOI BibTeX RDF
20	Matthieu Fertre, Christine Morin	Extending a Cluster SSI OS for Transparently Checkpointing Message-Passing Parallel Application.	ISPAN	2005	DBLP DOI BibTeX RDF	global coordination, checkpointing, parallel application, single system image
20	Sheldon H. Jacobson, Enver Yücesan	Analyzing the Performance of Generalized Hill Climbing Algorithms.	J. Heuristics	2004	DBLP DOI BibTeX RDF	performance evaluation, simulated annealing, convergence, meta-heuristics
20	Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat	Benchmarking The Dependability of Windows NT4, 2000 and XP.	DSN	2004	DBLP DOI BibTeX RDF
20	Matthew Beaumont, John Thornton 0001, Abdul Sattar 0001, Michael J. Maher	Solving Over-Constrained Temporal Reasoning Problems Using Local Search.	PRICAI	2004	DBLP DOI BibTeX RDF
20	Greg Bronevetsky, Daniel Marques, Keshav Pingali, Peter K. Szwed, Martin Schulz 0001	Application-level checkpointing for shared memory programs.	ASPLOS	2004	DBLP DOI BibTeX RDF	fault-tolerance, checkpointing, openMP, shared-memory programs
20	Robert W. Carey, Paul J. Van Arsdall, John P. Woodruff	The national ignition facility: early operational experience with a large Ada control system.	SIGAda	2002	DBLP DOI BibTeX RDF	Ada
20	Fasma Diele, Tiziano Politi, Ivonne Sgura	A Fortran90 Routine for the Solution of Orthogonal Differential Problems.	International Conference on Computational Science (3)	2002	DBLP DOI BibTeX RDF
20	Sven Buchholz 0002, Alexander Schill, Thomas Ziegert	A simulation study of update techniques for cyclic data broadcast.	MSWiM	2001	DBLP DOI BibTeX RDF
20	Hubie Chen, Carla P. Gomes, Bart Selman	Formal Models of Heavy-Tailed Behavior in Combinatorial Search.	CP	2001	DBLP DOI BibTeX RDF
20	Shinji Osada, Hiroaki Higaki	QoS-Based Checkpoint Protocol for Multimedia Network Systems.	IEEE Pacific Rim Conference on Multimedia	2001	DBLP DOI BibTeX RDF
20	David B. Lomet, Gerhard Weikum	Efficient and Transparent Application Recovery in Client-Server Information Systems.	SIGMOD Conference	1998	DBLP DOI BibTeX RDF
20	Sanjay Kumar Madria, S. N. Maheshwari, B. Chandra 0001, Bharat K. Bhargava	Crash Recovery in an Open and Safe Nested Transaction Model.	DEXA	1997	DBLP DOI BibTeX RDF
20	Sophie Chabridon, Erol Gelenbe	Dependable parallel computing with agents based on a task graph model.	PDP	1995	DBLP DOI BibTeX RDF	dependable parallel computing, task graph model, MIMD shared memory architecture, performance evaluation, parallel processing, parallel programming, parallel programs, agents, discrete event simulation, discrete-event simulator, fast Fourier transform, software performance evaluation, failure detection, application program
20	C. Mohan 0001, Frank E. Levine	ARIES/IM: An Efficient and High Concurrency Index Management Method Using Write-Ahead Logging.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
20	Y. C. Tay, Rajan Suri, Nathan Goodman	A Mean Value Performance Model for Locking in Databases: The Waiting Case.	PODS	1984	DBLP DOI BibTeX RDF
20	Donald S. Fussell, Zvi M. Kedem, Abraham Silberschatz	Deadlock Removal Using Partial Rollback in Database Systems.	SIGMOD Conference	1981	DBLP DOI BibTeX RDF
19	Alain Berlinet, Christophe Roland	Parabolic acceleration of the EM algorithm.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Restart strategies, Linear mixed model, Multivariate Student distribution, Stability, Convergence, EM algorithm, Acceleration, Fixed point iteration, Finite mixture
19	Yunkai Zhou, Yousef Saad	Block Krylov-Schur method for large symmetric eigenvalue problems.	Numer. Algorithms	2008	DBLP DOI BibTeX RDF	Block method, Krylov-Schur, Lanczos, Implicit restart
19	Borja Sotomayor, Kate Keahey, Ian T. Foster	Combining batch execution and leasing using virtual machines.	HPDC	2008	DBLP DOI BibTeX RDF	resource leasing, virtual machine overhead, virtual workspaces, virtual machines, resource management, advance reservations, batch processing, checkpoint/restart, backfilling
19	Pierre L'Ecuyer, Valérie Demers, Bruno Tuffin	Rare events, splitting, and quasi-Monte Carlo.	ACM Trans. Model. Comput. Simul.	2007	DBLP DOI BibTeX RDF	highly-reliable Markovian systems, Markov chain, importance sampling, variance reduction, splitting, RESTART, Quasi-Monte Carlo
19	Uwe Schöning	Principles of Stochastic Local Search.	UC	2007	DBLP DOI BibTeX RDF	heuristic information, meta-algorithmics, local search, restart, stochastic local search
19	Ricardo Marcelín-Jiménez, Sergio Rajsbaum, Brett Stevens	Cyclic Storage for Fault-Tolerant Distributed Executions.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	storage/repositories, network repositories/data mining/backup, fault-tolerance, distributed systems, distributed applications, checkpoint/restart, Load balancing and task assignment
19	Tatsuya Ozaki, Tadashi Dohi, Hiroyuki Okamura, Naoto Kaio	Distribution-Free Checkpoint Placement Algorithms Based on Min-Max Principle.	IEEE Trans. Dependable Secur. Comput.	2006	DBLP DOI BibTeX RDF	incomplete failure information, performance evaluation, fault-tolerance, maintenance, high availability, modeling and prediction, Checkpoint/restart
19	Rohit Fernandes, Keshav Pingali, Paul Stodghill	Mobile MPI programs in computational grids.	PPoPP	2006	DBLP DOI BibTeX RDF	over-decomposition, portable checkpointing, grid computing, MPI, heterogeneity, checkpoint/restart, application-level checkpointing
19	Sara Bouchenak, Daniel Hagimont, Noel De Palma	Efficient Java thread serialization.	PPPJ	2003	DBLP DOI BibTeX RDF	dynamic de-optimization, persistence K2checkpoint/restart, performance, mobility, JVM, threads, type inference
19	Zsolt Haraszti, J. Keith Townsend	The theory of direct probability redistribution and its application to rare event simulation.	ACM Trans. Model. Comput. Simul.	1999	DBLP DOI BibTeX RDF	DPR, accelerated simulation, discrete event simulation, importance sampling, queuing, splitting, rare event simulation, RESTART
19	Lorenzo Alvisi, Keith Marzullo	Message Logging: Pessimistic, Optimistic, Causal, and Optimal.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	pessimistic protocols, checkpoint-restart protocols, resilient processes, specification of fault-tolerance techniques, Message logging, optimistic protocols
19	Toby J. Teorey, Wee Teck Ng	Dependability and Performance Measures for the Database Practitioner.	IEEE Trans. Knowl. Data Eng.	1998	DBLP DOI BibTeX RDF	Database performance estimation, restart delays, reliability, dependability, response time, queuing delays, mean time to failure
19	Marek Szularz, Jim Weston, Maurice Clint	Robust Parallel Lanczos Methods for Clustered Eigenvalues.	Euro-Par	1997	DBLP DOI BibTeX RDF	Lanczos, orthogonalization, restart, MPP, deflation
19	Eliezer Levy, Abraham Silberschatz	Incremental Recovery in Main Memory Database Systems.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	incremental database recovery, online transaction processing systems, memory database systems, page-based incremental restart algorithm, high-level recovery manager, nonvolatile RAM, database management systems, checkpointing, transaction processing, storage management, updates, system recovery
19	Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II	System Level Concurrency Control for Distributed Database Systems.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	deadly embrace, readers and writers, database, concurrency, integrity, distributed, consistency, transaction, deadlock, lock, rollback, restart
19	Daniel J. Rosenkrantz	Dynamic Database Dumping.	SIGMOD Conference	1978	DBLP DOI BibTeX RDF	dumping, on-line dumping, consistency, recovery, database integrity, restart
19	Raymond A. Lorie	Physical Integrity in a Large Segmented Database.	ACM Trans. Database Syst.	1977	DBLP DOI BibTeX RDF	checkpoint-restart, database, recovery, storage management
16	Peter Seele	AI ethics inflation, Delphi and the restart of theory.	AI Soc.	2024	DBLP DOI BibTeX RDF
16	Hao Zhang 0064, Jiao Jiao, Tianheng Zhao, Enshuang Zhao, Lanhui Li, Guihua Li, Borui Zhang, Qing-Ming Qin	GERWR: Identifying the Key Pathogenicity- Associated sRNAs of Magnaporthe Oryzae Infection in Rice Based on Graph Embedding and Random Walk With Restart.	IEEE ACM Trans. Comput. Biol. Bioinform.	2024	DBLP DOI BibTeX RDF
16	Anthony Baptista, Galadriel Brière, Anaïs Baudot	Random walk with restart on multilayer networks: from node prioritisation to supervised link prediction and beyond.	BMC Bioinform.	2024	DBLP DOI BibTeX RDF
16	Jianying Dang, Xiaowu Cai, Longli Pan, Liang Shan 0015, Yu Lu, Yafei Xie, Xupeng Wang, Shiping Wang, Bo Li 0051	A Novel Reliability-Enhanced Dual Over-Temperature Protection Circuit With Delayed Thermal Restart for Power ICs.	IEEE Trans. Circuits Syst. II Express Briefs	2024	DBLP DOI BibTeX RDF
16	Brielen Madureira, Patrick Kahardipraja, David Schlangen	When Only Time Will Tell: Interpreting How Transformers Process Local Ambiguities Through the Lens of Restart-Incrementality.	CoRR	2024	DBLP DOI BibTeX RDF
16	Renchi Yang	Effective Edge Ranking via Random Walk with Restart.	CoRR	2024	DBLP DOI BibTeX RDF
16	Alex C. Fish, Daniel R. Reynolds, Steven B. Roberts	Implicit-explicit multirate infinitesimal stage-restart methods.	J. Comput. Appl. Math.	2024	DBLP DOI BibTeX RDF
16	Dangdang Niu, Bin Liu, Minghao Yin, Yupeng Zhou	A new local search algorithm with greedy crossover restart for the dominating tree problem.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
16	Xianzhen Jiang, Huihui Yang, Jinbao Jian, Xiaodi Wu	Two families of hybrid conjugate gradient methods with restart procedures and their applications.	Optim. Methods Softw.	2023	DBLP DOI BibTeX RDF
16	Lei Wang 0042, Jiyuan Liu 0007, Qiang He 0001	Concept Drift-Based Checkpoint-Restart for Edge Services Rejuvenation.	IEEE Trans. Serv. Comput.	2023	DBLP DOI BibTeX RDF
16	Xianzhen Jiang, Xiaomin Ye, Zefeng Huang, Meixing Liu	A family of hybrid conjugate gradient method with restart procedure for unconstrained optimizations and image restorations.	Comput. Oper. Res.	2023	DBLP DOI BibTeX RDF
16	Qipeng Tang, Yi Shen, Minggang Sheng, Anwen Shen, Pan Luo, Xin Luo 0004, Jinbang Xu	Dead Time Adaptive Expansion-Based Sensorless Restart Strategy for Free-Wheeling SPMSM Drives.	IEEE Trans. Ind. Informatics	2023	DBLP DOI BibTeX RDF
16	Daksh Mittal, Sandeep Juneja 0001, Shubhada Agrawal	Shift, scale and restart smaller models to estimate larger ones: Agent based simulators in epidemiology.	SIGMETRICS Perform. Evaluation Rev.	2023	DBLP DOI BibTeX RDF
16	Teodoro Alamo, Pablo Krupa, Daniel Limón	Restart of Accelerated First-Order Methods With Linear Convergence Under a Quadratic Functional Growth Condition.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
16	Shengdong Li, Chuanwen Luo, Yuqing Zhu 0002, Weili Wu 0001	Bold driver and static restart fused adaptive momentum for visual question answering.	Knowl. Inf. Syst.	2023	DBLP DOI BibTeX RDF
16	Akira Nukada, Taichiro Suzuki, Satoshi Matsuoka	Efficient checkpoint/Restart of CUDA applications.	Parallel Comput.	2023	DBLP DOI BibTeX RDF
16	Basma Abdel Azeem, Manal Helal	Performance Evaluation of Checkpoint/Restart Techniques.	CoRR	2023	DBLP DOI BibTeX RDF
16	Yilun Xu, Mingyang Deng, Xiang Cheng, Yonglong Tian, Ziming Liu, Tommi S. Jaakkola	Restart Sampling for Improving Generative Processes.	CoRR	2023	DBLP DOI BibTeX RDF
16	Lionel Tondji, Ion Necoara, Dirk A. Lorenz	Acceleration and restart for the randomized Bregman-Kaczmarz method.	CoRR	2023	DBLP DOI BibTeX RDF
16	Kevin Scaman	Breaking the Log Barrier: a Novel Universal Restart Strategy for Faster Las Vegas Algorithms.	CoRR	2023	DBLP DOI BibTeX RDF
16	Yao Xu, Leonid Belyaev, Twinkle Jain, Derek Schafer, Anthony Skjellum, Gene Cooperman	Implementation-Oblivious Transparent Checkpoint-Restart for MPI.	CoRR	2023	DBLP DOI BibTeX RDF
16	Ilshat Sagitov, Charles Pillet, Alexios Balatsoukas-Stimming, Pascal Giard	Successive-Cancellation Flip Decoding of Polar Codes with a Simplified Restart Mechanism.	CoRR	2023	DBLP DOI BibTeX RDF
16	Alex C. Fish, Daniel R. Reynolds, Steven B. Roberts	Implicit-Explicit Multirate Infinitesimal Stage-Restart Methods.	CoRR	2023	DBLP DOI BibTeX RDF
16	Pengjie Liu, Hu Shao, Zihang Yuan, Xiaoyu Wu, Tianlei Zheng	A family of three-term conjugate gradient projection methods with a restart procedure and their relaxed-inertial extensions for the constrained nonlinear pseudo-monotone equations with applications.	Numer. Algorithms	2023	DBLP DOI BibTeX RDF
16	James Uttaro, Enke Chen, Bruno Decraene, John G. Scudder	Long-Lived Graceful Restart for BGP.	RFC	2023	DBLP DOI BibTeX RDF
16	Ping Meng, Guohua Wang, Hongzhe Guo, Tao Jiang 0021	Identifying cancer driver genes using a two-stage random walk with restart on a gene interaction network.	Comput. Biol. Medicine	2023	DBLP DOI BibTeX RDF
16	Yanan Zhang, Jian Shen 0004, Ruisheng Zhang, Zhili Zhao	Network representation learning via improved random walk with restart.	Knowl. Based Syst.	2023	DBLP DOI BibTeX RDF
16	Jialu Han, Xian Wang, Xuebing Yang, Qihui Ling, Wei Liu	Yaw system restart strategy optimization of wind turbines in mountain wind farms based on operational data mining and multi-objective optimization.	Eng. Appl. Artif. Intell.	2023	DBLP DOI BibTeX RDF
16	Quanbin Zhang, Zhenyu Meng	Adaptive differential evolution algorithm based on deeply-informed mutation strategy and restart mechanism.	Eng. Appl. Artif. Intell.	2023	DBLP DOI BibTeX RDF
16	Juan José Maulén, Juan Peypouquet	A Speed Restart Scheme for a Dynamics with Hessian-Driven Damping.	J. Optim. Theory Appl.	2023	DBLP DOI BibTeX RDF
16	Dong Wang 0003, Peilin Jia, Jie Lian 0001, Xinyu Pei	An Optimal DoS Attack Strategy With Pause and Restart Rules Under Energy Constraints.	IEEE Trans. Control. Netw. Syst.	2023	DBLP DOI BibTeX RDF
16	Xianzhen Jiang, Huihui Yang, Jianghua Yin, Wei Liao	A three-term conjugate gradient algorithm with restart procedure to solve image restoration problems.	J. Comput. Appl. Math.	2023	DBLP DOI BibTeX RDF
16	Tianhong Cai, Yufan Liao, Chenxi Ma, Li Liu	Community Detection Algorithm Based on Local Random Walk with Restart and Label Propagation.	ICCCM	2023	DBLP DOI BibTeX RDF
16	Sven Jäger 0001, Guillaume Sagnol, Daniel Schmidt genannt Waldschmidt, Philipp Warode	Competitive Kill-and-Restart and Preemptive Strategies for Non-clairvoyant Scheduling.	IPCO	2023	DBLP DOI BibTeX RDF
16	Daria Maltseva	Heuristic Restart Methods for Optimal Surgery Scheduling.	Canadian AI	2023	DBLP DOI BibTeX RDF
16	Yoichiro Iida, Tomohiro Sonobe, Mary Inaba	Unleashing the Potential of Restart by Detecting the Search Stagnation.	LION	2023	DBLP DOI BibTeX RDF
16	Hongbo Li, Jimmy H. M. Lee	Finding Good Partial Assignments during Restart-Based Branch and Bound Search.	AAAI	2023	DBLP DOI BibTeX RDF
16	Yoichiro Iida, Tomohiro Sonobe, Mary Inaba	Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract).	AAAI	2023	DBLP DOI BibTeX RDF
16	Ilshat Sagitov, Charles Pillet, Alexios Balatsoukas-Stimming, Pascal Giard	Successive-Cancellation Flip Decoding of Polar Codes with a Simplified Restart Mechanism.	WCNC	2023	DBLP DOI BibTeX RDF
16	Yilun Xu, Mingyang Deng, Xiang Cheng, Yonglong Tian, Ziming Liu, Tommi S. Jaakkola	Restart Sampling for Improving Generative Processes.	NeurIPS	2023	DBLP BibTeX RDF
16	Yao Xu, Leonid Belyaev, Twinkle Jain, Derek Schafer, Anthony Skjellum, Gene Cooperman	Implementation-Oblivious Transparent Checkpoint-Restart for MPI.	SC Workshops	2023	DBLP DOI BibTeX RDF
16	Niklas Eiling, Stefan Lankes, Antonello Monti	Checkpoint/Restart for CUDA Kernels.	SC Workshops	2023	DBLP DOI BibTeX RDF
16	Rong Zheng, Heming Jia, Shuang Wang, Qingxin Liu	Enhanced slime mould algorithm with multiple mutation strategy and restart mechanism for global optimization.	J. Intell. Fuzzy Syst.	2022	DBLP DOI BibTeX RDF
16	Niklas Eiling, Jonas Baude, Stefan Lankes, Antonello Monti	Cricket: A virtualization layer for distributed execution of CUDA applications with checkpoint/restart support.	Concurr. Comput. Pract. Exp.	2022	DBLP DOI BibTeX RDF
16	Genlang Chen, Jiajian Zhang, Zufang Zhu, Hao Wang, Hai Jiang 0003, Chaoyi Pang	CRAC: An automatic assistant compiler of checkpoint/restart for OpenCL program.	Concurr. Comput. Pract. Exp.	2022	DBLP DOI BibTeX RDF
16	Heming Jia, Wanying Zhang, Rong Zheng, Shuang Wang, Xin Leng, Ning Cao	Ensemble mutation slime mould algorithm with restart mechanism for feature selection.	Int. J. Intell. Syst.	2022	DBLP DOI BibTeX RDF
16	James Renegar, Benjamin Grimmer	A Simple Nearly Optimal Restart Scheme For Speeding Up First-Order Methods.	Found. Comput. Math.	2022	DBLP DOI BibTeX RDF
16	Hande Öztop, Mehmet Fatih Tasgetiren, Levent Kandiller, Quan-Ke Pan	Metaheuristics with restart and learning mechanisms for the no-idle flowshop scheduling problem with makespan criterion.	Comput. Oper. Res.	2022	DBLP DOI BibTeX RDF
16	Ruizhi Li, Yupan Wang, Huan Liu, Ruiting Li, Shuli Hu, Minghao Yin	A restart local search algorithm with Tabu method for the minimum weighted connected dominating set problem.	J. Oper. Res. Soc.	2022	DBLP DOI BibTeX RDF
16	Liugen Wang, Min Shang, Qi Dai, Pingan He 0001	Prediction of lncRNA-disease association based on a Laplace normalized random walk with restart algorithm on heterogeneous networks.	BMC Bioinform.	2022	DBLP DOI BibTeX RDF
16	Weijie Zheng 0001, Benjamin Doerr	From Understanding Genetic Drift to a Smart-Restart Mechanism for Estimation-of-Distribution Algorithms.	CoRR	2022	DBLP DOI BibTeX RDF
16	Iddo Eliazar, Shlomi Reuveni	Entropy of Sharp Restart.	CoRR	2022	DBLP DOI BibTeX RDF
16	Sven Jäger 0001, Guillaume Sagnol, Daniel Schmidt genannt Waldschmidt, Philipp Warode	Competitive Kill-and-Restart and Preemptive Strategies for Non-Clairvoyant Scheduling.	CoRR	2022	DBLP DOI BibTeX RDF
16	Wen Huang 0001, Kyle A. Gallivan	A Limited-Memory Riemannian Symmetric Rank-One Trust-Region Method with a Restart Strategy.	J. Sci. Comput.	2022	DBLP DOI BibTeX RDF
16	Ruizhi Li, Siqi Liu, Fangzhou Wang, Jian Gao 0007, Huan Liu, Shuli Hu, Minghao Yin	A restart local search algorithm with relaxed configuration checking strategy for the minimum k-dominating set problem.	Knowl. Based Syst.	2022	DBLP DOI BibTeX RDF
16	Bao Wang, Tan M. Nguyen, Tao Sun, Andrea L. Bertozzi, Richard G. Baraniuk, Stanley J. Osher	Scheduled Restart Momentum for Accelerated Stochastic Gradient Descent.	SIAM J. Imaging Sci.	2022	DBLP DOI BibTeX RDF
16	Seoyeon Kang, Jeongwoo Kim, Eun-Sun Cho, Seokwoo Choi	Program Synthesis-based Simplification of MBA Obfuscated Malware with Restart Strategies.	Checkmate@CCS	2022	DBLP DOI BibTeX RDF
16	Luyao Niu, Dinuka Sahabandu, Andrew Clark 0001, Radha Poovendran	Verifying Safety for Resilient Cyber-Physical Systems via Reactive Software Restart.	ICCPS	2022	DBLP DOI BibTeX RDF