Search results for "Precondition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
63	Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu 0005	Weakest Precondition for General Recursive Programs Formalized in Coq.	TPHOLs	2002	DBLP DOI BibTeX RDF	Formal Verification, Operational Semantics, Weakest Precondition, Coq
62	Wim H. Hesselink, Ronald Reinds	Temporal Preconditions of Recursive Procedures.	REX Workshop	1992	DBLP DOI BibTeX RDF	leads-to, eventually, healthiness law, guarded recursion, unfolding, weakest precondition, recursive procedure
53	Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan Hyung Yoo	Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis.	APSEC	1997	DBLP DOI BibTeX RDF
53	Anup Kumar Bandyopadhyay	Weakest precondition based verification tool that models spatial ordering.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	spatial ordering, distributed systems, correctness, weakest precondition
53	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	weakest precondition, program specification, deadlock freedom, program correctness
53	Jin Shi, Yici Cai, Sheldon X.-D. Tan, Xianlong Hong	High accurate pattern based precondition method for extremely large power/ground grid analysis.	ISPD	2006	DBLP DOI BibTeX RDF	pattern, iterative method, precondition, PCG
52	Kim V. Hansen, Peter Aundal Toft	Fast curve estimation using preconditioned generalized Radon transform.	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF
45	Andrew E. Santosa	Comparing Weakest Precondition and Weakest Liberal Precondition.	CoRR	2015	DBLP BibTeX RDF
43	Michael Barnett 0001, K. Rustan M. Leino	Weakest-precondition of unstructured programs.	PASTE	2005	DBLP DOI BibTeX RDF
43	Ranga Vemuri, Anuradha Sridhar	Temporal Precondition Verification of Design Transformations.	CAV	1991	DBLP DOI BibTeX RDF
41	Karl-Heinz Pennemann	Development of Correct Graph Transformation Systems.	ICGT	2008	DBLP DOI BibTeX RDF
41	Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson	Studying program correctness in ProVIDE.	ITiCSE	2003	DBLP DOI BibTeX RDF
41	Anup Kumar Bandyopadhyay	Modeling fairness and starvation in concurrent systems.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	temporal quantifier, temporal logic, fairness, concurrent program, liveness, weakest precondition
41	Emmad Saadeh, Derrick G. Kourie	Composite refactoring using fine-grained transformations.	SAICSIT	2009	DBLP DOI BibTeX RDF	FGT-enabling precondition, fine-grain transformations, refactoring-level precondition, composite, primitive
33	Diana Heckl, Jürgen Moormann	Operational control of service processes: modularization as precondition.	SAC	2009	DBLP DOI BibTeX RDF	operational process control, process model design, modularization
33	Musard Balliu, Isabella Mastroeni	A weakest precondition approach to active attacks analysis.	PLAS	2009	DBLP DOI BibTeX RDF	robustness, non-interference, declassification, program semantics, active attackers
33	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	Application of Dijkstra's weakest precondition calculus to Dining Philosophers problem.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF
33	Orieta Celiku, Joakim von Wright	Theorem Prover Support for Precondition and Correctness Calculation.	ICFEM	2002	DBLP DOI BibTeX RDF
31	Annegret Habel, Karl-Heinz Pennemann, Arend Rensink	Weakest Preconditions for High-Level Programs.	ICGT	2006	DBLP DOI BibTeX RDF
31	Timothy S. Gegg-Harrison	Constructing contracts: Making discrete mathematics relevant to beginning programmers.	ACM J. Educ. Resour. Comput.	2005	DBLP DOI BibTeX RDF	programming by contract, Formal methods, program verification, weakest preconditions, programming tools, loop invariants, axiomatic semantics
31	Marius Bozga, Radu Iosif, Yassine Lakhnech	On Logics of Aliasing.	SAS	2004	DBLP DOI BibTeX RDF
31	Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson	Studying program correctness by constructing contracts.	ITiCSE	2003	DBLP DOI BibTeX RDF	Java, design by contract, axiomatic semantics
31	Michael Lawley	Transaction Safety in Deductive Object-Oriented Databases.	DOOD	1995	DBLP DOI BibTeX RDF
31	Zhongxian Gu, Earl T. Barr, David J. Hamilton, Zhendong Su 0001	Has the bug really been fixed?	ICSE (1)	2010	DBLP DOI BibTeX RDF	bug fixes, symbolic execution, weakest precondition
31	Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan	Program analysis as constraint solving.	PLDI	2008	DBLP DOI BibTeX RDF	most-general counterexamples, non-termination analysis, strongest postcondition, program verification, constraint solving, weakest precondition, bounds analysis
31	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	Ordering of events in two-process concurrent system.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	parallel processing, weakest precondition, program specification, program correctness
31	Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay	Adding the leads-to operator to Dijkstra's calculus.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	guarded process, non-deterministic selection, weakest cooperation, distributed systems, protocol, correctness, weakest precondition
31	Haifeng He, Neelam Gupta	Automated Debugging Using Path-Based Weakest Preconditions.	FASE	2004	DBLP DOI BibTeX RDF	software testing, Fault location, weakest precondition, postcondition
31	Aniello Cimitile, Andrea De Lucia, Malcolm Munro	Identifying reusable functions using specification driven program slicing: a case study.	ICSM	1995	DBLP DOI BibTeX RDF	reusable function identification, specification driven program slicing, code fragment isolation, functional abstractions, program statement execution, program predicate execution, entry points, exit points, algorithms, formal specification, software maintenance, software reusability, data flow analysis, symbolic execution, precondition, program diagnostics, dependence graphs, symbol manipulation, control flow graphs, program control structures, C programs, postcondition
22	Maike Meier, Yuji Nakatsukasa, Alex Townsend, Marcus Webb	Are Sketch-and-Precondition Least Squares Solvers Numerically Stable?	SIAM J. Matrix Anal. Appl.	2024	DBLP DOI BibTeX RDF
22	Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby	Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints.	Softw. Pract. Exp.	2024	DBLP DOI BibTeX RDF
22	Sumanth Prabhu 0001, Grigory Fedyukovich, Deepak D'Souza	Maximal Quantified Precondition Synthesis for Linear Array Loops.	ESOP (2)	2024	DBLP DOI BibTeX RDF
22	Sumanth Prabhu 0001, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh 0001, Grigory Fedyukovich	Weakest Precondition Inference for Non-Deterministic Linear Array Programs.	TACAS (2)	2024	DBLP DOI BibTeX RDF
22	Arpita Dutta, Rasool Maghareh, Joxan Jaffar, Sangharatna Godboley, Xiao Liang Yu	TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution).	FASE	2024	DBLP DOI BibTeX RDF
22	Hongsang Yoo, Haopeng Li, Qiuhong Ke, Liangchen Liu, Rui Zhang 0003	Precondition and effect reasoning for action recognition.	Comput. Vis. Image Underst.	2023	DBLP DOI BibTeX RDF
22	Yucheng Lu, Shivani Agrawal, Suvinay Subramanian, Oleg Rybakov, Christopher De Sa, Amir Yazdanbakhsh	STEP: Learning N: M Structured Sparsity Masks from Scratch with Precondition.	CoRR	2023	DBLP DOI BibTeX RDF
22	Maike Meier, Yuji Nakatsukasa, Alex Townsend, Marcus Webb	Are sketch-and-precondition least squares solvers numerically stable?	CoRR	2023	DBLP DOI BibTeX RDF
22	Lajanugen Logeswaran, Sungryull Sohn, Yiwei Lyu, Anthony Zhe Liu, Dong-Ki Kim, Dongsub Shim, Moontae Lee, Honglak Lee	Code Models are Zero-shot Precondition Reasoners.	CoRR	2023	DBLP DOI BibTeX RDF
22	Satoshi Kura 0001	Higher-Order Weakest Precondition Transformers via a CPS Transformation.	CoRR	2023	DBLP DOI BibTeX RDF
22	Darlington Akogo, Issah Abubakari Samori, Cyril Akafia, Harriet Fiagbor, Andrews Kangah, Donald Kwame Asiedu, Kwabena Fuachie, Luis Oala	Localized Data Work as a Precondition for Data-Centric ML: A Case Study of Full Lifecycle Crop Disease Identification in Ghana.	CoRR	2023	DBLP DOI BibTeX RDF
22	Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik	Program Structure Aware Precondition Generation.	CoRR	2023	DBLP DOI BibTeX RDF
22	Huizhang Luo, Junqi Wang, Zhenlu Qin, Dan Huang, Qing Liu 0002, Mengchu Zhou, Hong Jiang 0001	A Data-driven Approach to Harvesting Latent Reduced Models to Precondition Lossy Compression for Scientific Data.	IEEE Trans. Big Data	2023	DBLP DOI BibTeX RDF
22	Yucheng Lu, Shivani Agrawal, Suvinay Subramanian, Oleg Rybakov, Christopher De Sa, Amir Yazdanbakhsh	STEP: Learning N: M Structured Sparsity Masks from Scratch with Precondition.	ICML	2023	DBLP BibTeX RDF
22	Z. Zeng, Stephane Cotin, Hadrien Courtecuisse	Real-Time FE Simulation for Large-Scale Problems Using Precondition-Based Contact Resolution and Isolated DOFs Constraints.	Comput. Graph. Forum	2022	DBLP DOI BibTeX RDF
22	Marko Kleine Büning, Johannes Meuer, Carsten Sinz	Refined Modularization for Bounded Model Checking Through Precondition Generation.	ICFEM	2022	DBLP DOI BibTeX RDF
22	Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb	Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition.	IJCAI	2022	DBLP DOI BibTeX RDF
22	Heeyoung Kwon, Nathanael Chambers, Niranjan Balasubramanian	Toward Diverse Precondition Generation.	CoRR	2021	DBLP BibTeX RDF
22	Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard	Transformation-Enabled Precondition Inference.	CoRR	2021	DBLP BibTeX RDF
22	Panagiotis Kourtesis, Simona Collina, Leonidas A. A. Doumas, Sarah E. MacPherson	Technological Competence is a Precondition for Effective Implementation of Virtual Reality Head Mounted Displays in Human Neuroscience: A Technological Review and Meta-analysis.	CoRR	2021	DBLP BibTeX RDF
22	Hongsang Yoo, Haopeng Li, Qiuhong Ke, Liangchen Liu, Rui Zhang 0003	Precondition and Effect Reasoning for Action Recognition.	CoRR	2021	DBLP BibTeX RDF
22	Dajana Bjelajac, Bojan Dercan, Sanja Kovacic	Dark skies and dark screens as a precondition for astronomy tourism and general well-being.	J. Inf. Technol. Tour.	2021	DBLP DOI BibTeX RDF
22	Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard	Transformation-Enabled Precondition Inference.	Theory Pract. Log. Program.	2021	DBLP DOI BibTeX RDF
22	Shohin Mukherjee, Chris Paxton, Arsalan Mousavian, Adam Fishman, Maxim Likhachev, Dieter Fox	Reactive Long Horizon Task Execution via Visual Skill and Precondition Models.	IROS	2021	DBLP DOI BibTeX RDF
22	Heeyoung Kwon, Nathanael Chambers, Niranjan Balasubramanian	Toward Diverse Precondition Generation.	*SEM	2021	DBLP DOI BibTeX RDF
22	Filippo Cantucci, Rino Falcone, Cristiano Castelfranchi	Robot's self-trust as precondition for being a good collaborator.	TRUST@AAMAS	2021	DBLP BibTeX RDF
22	Qian Zhou, Fan Ye 0003	On Achieving Reliable and Efficient Precondition Execution Enforcement in Internet-of-Things.	ICC	2020	DBLP DOI BibTeX RDF
22	Aleksandar S. Dimovski, Axel Legay	Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting.	FASE	2020	DBLP DOI BibTeX RDF
22	Qian Zhou, Fan Ye 0003	APEX: automatic precondition execution with isolation and atomicity in internet-of-things.	IoTDI	2019	DBLP DOI BibTeX RDF
22	Huizhang Luo, Dan Huang, Qing Liu 0002, Zhenbo Qiao, Hong Jiang 0001, Jing Bi, Haitao Yuan 0001, Mengchu Zhou, Jinzhen Wang, Zhenlu Qin	Identifying Latent Reduced Models to Precondition Lossy Compression.	IPDPS	2019	DBLP DOI BibTeX RDF
22	Alexis Huf, Frank Siqueira	Scalable precondition-aware service composition with SPARQL.	ISCC	2019	DBLP DOI BibTeX RDF
22	Benjamin Lucien Kaminski	Advanced weakest precondition calculi for probabilistic programs.		2019	RDF
22	Sylvain Dailler, David Hauzar, Claude Marché, Yannick Moy	Instrumenting a weakest precondition calculus for counterexample generation.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
22	Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo	Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms.	J. ACM	2018	DBLP DOI BibTeX RDF
22	Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey	An iterative approach to precondition inference using constrained Horn clauses.	CoRR	2018	DBLP BibTeX RDF
22	Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey	Precondition Inference via Partitioning of Initial States.	CoRR	2018	DBLP BibTeX RDF
22	Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey	An iterative approach to precondition inference using constrained Horn clauses.	Theory Pract. Log. Program.	2018	DBLP DOI BibTeX RDF
22	Zhenzhu Chen, Anmin Fu, Ke Xiao, Mang Su, Yan Yu, Yongli Wang	Secure and Verifiable Outsourcing of Large-Scale Matrix Inversion without Precondition in Cloud Computing.	ICC	2018	DBLP DOI BibTeX RDF
22	Mijung Kim, Shing-Chi Cheung, Sunghun Kim 0001	Which generated test failures are fault revealing? prioritizing failures based on inferred precondition violations using PAF.	ESEC/SIGSOFT FSE	2018	DBLP DOI BibTeX RDF
22	Chihiro Iida, Shingo Takada 0001	Reducing Mutants with Mutant Killable Precondition.	ICST Workshops	2017	DBLP DOI BibTeX RDF
22	David Menendez, Santosh Nagarakatte	Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM.	PLDI	2017	DBLP DOI BibTeX RDF
22	Tien-Hao Liao, Leung Tsang, Shaowu Huang, Noppasin Niamsuwan, Sermsak Jaruwatanadilok, Seung-Bum Kim, Hsuan Ren, Kuan-Liang Chen	Copolarized and Cross-Polarized Backscattering From Random Rough Soil Surfaces From L-Band to Ku-Band Using Numerical Solutions of Maxwell's Equations With Near-Field Precondition.	IEEE Trans. Geosci. Remote. Sens.	2016	DBLP DOI BibTeX RDF
22	Victorita Dolean, Martin J. Gander, Walid Kheriji, Felix Kwok, Roland Masson	Nonlinear Preconditioning: How to Use a Nonlinear Schwarz Method to Precondition Newton's Method.	SIAM J. Sci. Comput.	2016	DBLP DOI BibTeX RDF
22	Jeffrey L. Overbey, Ralph E. Johnson, Munawar Hafiz	Differential precondition checking: a language-independent, reusable analysis for refactoring engines.	Autom. Softw. Eng.	2016	DBLP DOI BibTeX RDF
22	Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo	Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs.	CoRR	2016	DBLP BibTeX RDF
22	David Menendez, Santosh Nagarakatte	Precondition Inference for Peephole Optimizations in LLVM.	CoRR	2016	DBLP BibTeX RDF
22	Zongyan Huang, Matthew England 0001, James H. Davenport, Lawrence C. Paulson	Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases.	CoRR	2016	DBLP BibTeX RDF
22	Anna-Lena Pohl, Roland Trill	Digital Health Literacy as Precondition for Sustainable and Equal Health Care - A Study Focussing the Users' Perspective.	WIS	2016	DBLP DOI BibTeX RDF
22	Juan Zhai, Bin Li 0054, Zhenhao Tang, Jianhua Zhao, Xuandong Li	Precondition Calculation for Loops Iterating over Data Structures.	QRS	2016	DBLP DOI BibTeX RDF
22	Cyrille Artho, Quentin Gros, Guillaume Rousset	Precondition Coverage in Software Testing.	VST@SANER	2016	DBLP DOI BibTeX RDF
22	Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo	Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs.	ESOP	2016	DBLP DOI BibTeX RDF
22	Kate Compton, Heather Logas, Joseph C. Osborn, Chandranil Chakraborttii, Kelsey Coffman, Daniel Fava, Dylan Lederle-Ensign, Zhongpeng Lin, Jo Mazeika, Afshin Mobramaein, Johnathan Pagnutti, Huascar Sanchez, Jim Whitehead, Brenda Laurel	Design Lessons From Binary Fission: A Crowd Sourced Game for Precondition Discovery.	DiGRA/FDG	2016	DBLP BibTeX RDF
22	Saswat Padhi, Rahul Sharma 0001, Todd D. Millstein	Data-driven precondition inference with learned features.	PLDI	2016	DBLP DOI BibTeX RDF
22	Zongyan Huang, Matthew England 0001, James H. Davenport, Lawrence C. Paulson	Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases.	SYNASC	2016	DBLP DOI BibTeX RDF
22	Birgit Vogel-Heuser, Thomas Simon, Jens Folmer, Robert Heinrich, Kiana Rostami, Ralf H. Reussner	Towards a common classification of changes for information and automated production systems as precondition for maintenance effort estimation.	INDIN	2016	DBLP DOI BibTeX RDF
22	Ichiro Hasuo	Generic weakest precondition semantics from monads enriched with order.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
22	Juan Zhai, Hanfei Wang, Jianhua Zhao	Assertion-Directed Precondition Synthesis for Loops over Data Structures.	SETTA	2015	DBLP DOI BibTeX RDF
22	Anton Manfreda, Andrej Kovacic, Mojca Indihar Stemberger, Peter Trkman	Absorptive Capacity as a Precondition for Business Process Improvement.	J. Comput. Inf. Syst.	2014	DBLP DOI BibTeX RDF
22	Feng Chen 0004, Da Tang, Hongji Yang, Mohammed Alawairdhi	A precondition-based approach to workflow oriented software re-engineering.	Comput. Sci. Inf. Syst.	2014	DBLP DOI BibTeX RDF
22	Ichiro Hasuo	Generic Weakest Precondition Semantics from Monads Enriched with Order.	CMCS	2014	DBLP DOI BibTeX RDF
22	Christoph Scheben, Peter H. Schmitt	Efficient Self-composition for Weakest Precondition Calculi.	FM	2014	DBLP DOI BibTeX RDF
22	Elie Richa, Etienne Borde, Laurent Pautet, Matteo Bordin, José F. Ruiz	Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation.	AMT@MoDELS	2014	DBLP BibTeX RDF
22	Nuno P. Lopes, José Monteiro 0001	Weakest Precondition Synthesis for Compiler Optimizations.	VMCAI	2014	DBLP DOI BibTeX RDF
22	Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer	A weakest precondition calculus for BUnity.	Sci. Comput. Program.	2013	DBLP DOI BibTeX RDF
22	Jiaqi Wang, Yuedou Pan, Liang Tang, Zuying Luo	Thermal Analysis with Considering Interactions among Temperature/Power/Heat Conductance and Its Fast Precondition-Solving Algorithm FPSCG.	CAD/Graphics	2013	DBLP DOI BibTeX RDF
22	Qian Yu, Tong Li 0004, Jinzhuo Liu, Xuan Zhang, Yong Yu 0009	Completeness set proof of precondition and post-condition types of activity in any EPM.	ICMV	2013	DBLP DOI BibTeX RDF
22	Mickaël Delahaye, Nikolai Kosmatov	A Late Treatment of C Precondition in Dynamic Symbolic Execution.	ICST Workshops	2013	DBLP DOI BibTeX RDF
22	Mohamed Nassim Seghir, Daniel Kroening	Counterexample-Guided Precondition Inference.	ESOP	2013	DBLP DOI BibTeX RDF
22	Mickaël Delahaye, Nikolai Kosmatov	A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools.	RV	2013	DBLP DOI BibTeX RDF
22	Willi Kafitz, Volker Burgers	Security in Critical Infrastructures - Future Precondition for Operating License?	ISSE	2013	DBLP DOI BibTeX RDF
22	Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver	Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language.	QEST	2012	DBLP DOI BibTeX RDF