Making Parallel Programs Reliable with Stable MultithreadingJUNFENG YANG; HEMING CUI; JINGYUE WU et al.Communications of the ACM. 2014, Vol 57, Num 3, pp 58-69, issn 0001-0782, 12 p.Article

High density QR code with multi-view schemeCHIANG, Jen-Shiun; HSIA, Chih-Hsien; LI, Hsin-Ting et al.Electronics letters. 2013, Vol 49, Num 22, pp 1381-1383, issn 0013-5194, 3 p.Article

Advances and Challenges in Log AnalysisOLINER, Adam; GANAPATHI, Archana; WEI XU et al.Communications of the ACM. 2012, Vol 55, Num 2, pp 55-61, issn 0001-0782, 7 p.Article

Attack vulnerability of self-organizing networksJIANHUA ZHANG; XIAOMING XU; LIU HONG et al.Safety science. 2012, Vol 50, Num 3, pp 443-447, issn 0925-7535, 5 p.Article

Design by Units: Abstractions for Human and Compute Resources for Elastic SystemsTAI, Stefan; LEITNER, Philipp; DUSTDAR, Schahram et al.IEEE internet computing. 2012, Vol 16, Num 4, pp 84-88, issn 1089-7801, 5 p.Article

Expertise-dependent visual attention strategies develop over time during debugging with multiple code representationsBEDNARIK, Roman.International journal of human-computer studies. 2012, Vol 70, Num 2, pp 143-155, issn 1071-5819, 13 p.Article

Fault Localization Based Only on Failed Runs : Computing in AsiaZHENYU ZHANG; CHAN, W. K; TSE, T. H et al.Computer (Long Beach, CA). 2012, Vol 45, Num 6, pp 64-71, issn 0018-9162, 8 p.Article

SAGE: Whitebox Fuzzing for Security TestingGODEFROID, Patrice; LEVIN, Michael Y; MOLNAR, David et al.Communications of the ACM. 2012, Vol 55, Num 3, pp 40-44, issn 0001-0782, 5 p.Article

Continuity and Robustness of ProgramsCHAUDHURI, Swarat; GULWANI, Sumit; LUBLINERMAN, Roberto et al.Communications of the ACM. 2012, Vol 55, Num 8, pp 107-115, issn 0001-0782, 9 p.Article

Software FMEA for Safety-Critical System Based on Co-analysis of System Model and Software ModelLI, Guoqi.IEICE transactions on information and systems. 2012, Vol 95, Num 12, pp 3101-3105, issn 0916-8532, 5 p.Article

A Decade of Software Model Checking with SLAMBALL, Thomas; LEVIN, Vladimir; RAJAMANI, Sriram K et al.Communications of the ACM. 2011, Vol 54, Num 7, pp 68-76, issn 0001-0782, 9 p.Article

Enhancing software reliability modeling and prediction through the introduction of time-variable fault reduction factorHSU, Chao-Jung; HUANG, Chin-Yu; CHANG, Jun-Ru et al.Applied mathematical modelling. 2011, Vol 35, Num 1, pp 506-521, issn 0307-904X, 16 p.Article

Formal modeling and synthesis of programmable logic controllersRUI WANG; XIAOYU SONG; JIANZHONG ZHU et al.Computers in industry. 2011, Vol 62, Num 1, pp 23-31, issn 0166-3615, 9 p.Article

Proving Program TerminationCOOK, Byron; PODELSKI, Andreas; RYBALCHENKO, Andrey et al.Communications of the ACM. 2011, Vol 54, Num 5, issn 0001-0782, 88-98 [10 p.]Article

Postmortem Debugging in Dynamic EnvironmentsPACHECO, David.Communications of the ACM. 2011, Vol 54, Num 12, pp 44-51, issn 0001-0782, 8 p.Article

AVATAR/TTool: un environnement en mode libre pour SysML temps réelAPVRILLE, Ludovic; DE SAQUI-SANNES, Pierre.Génie logiciel (1995). 2011, Num 98, pp 22-26, issn 1265-1397, 5 p.Article

Generating Verifiable Test ScenariosCORRIVEAU, J.-P; SHI, W.Software engineering research & preactice. International conferenceWorldComp'2011. 2011, pp 315-321, isbn 1-60132-199-6 1-60132-200-3 1-60132-201-1, 7 p.Conference Paper

NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel CorrectnessBURNIM, Jacob; ELMAS, Tayfun; NECULA, George et al.ACM SIGPLAN notices. 2011, Vol 46, Num 6, pp 401-414, issn 1523-2867, 14 p.Conference Paper

Static Analysis of Synchronous Programs in Signal for Efficient Design of Multi-Clocked Embedded SystemsGAMATIE, Abdoulaye; GONNORD, Laure.ACM SIGPLAN notices. 2011, Vol 46, Num 5, pp 71-80, issn 1523-2867, 10 p.Conference Paper

Task-Level Analysis for a Language with async/finish ParallelismALBERT, Elvira; ARENAS, Puri; GENAIM, Amir et al.ACM SIGPLAN notices. 2011, Vol 46, Num 5, pp 21-30, issn 1523-2867, 10 p.Conference Paper

Vector Addition System Reachability Problem: A Short Self-Contained ProofLEROUX, Jérôme.ACM SIGPLAN notices. 2011, Vol 46, Num 1, pp 307-316, issn 1523-2867, 10 p.Conference Paper

You're Doing It WrongKAMP, Poul-Henning.Communications of the ACM. 2010, Vol 53, Num 7, pp 55-59, issn 0001-0782, 5 p.Article

A Survey of Online Failure Prediction MethodsSALFNER, Felix; LENK, Maren; MALEK, Miroslaw et al.ACM computing surveys. 2010, Vol 42, Num 3, issn 0360-0300, 10.1-10.42Article

Data decision diagrams for Promela systems analysisBEAUDENON, Vincent; ENCRENAZ, Emmanuelle; TAKTAK, Sami et al.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 5, pp 337-352, issn 1433-2779, 16 p.Article

Newtonian Program AnalysisESPARZA, Javier; KIEFER, Stefan; LUTTENBERGER, Michael et al.Journal of the Association for Computing Machinery. 2010, Vol 57, Num 6, issn 0004-5411, 33.1-33.47Article