The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for precondition with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1976-1988 (15) 1989-1992 (16) 1993-1995 (19) 1996-1998 (20) 1999-2000 (21) 2001-2002 (31) 2003 (24) 2004 (29) 2005 (42) 2006 (37) 2007 (41) 2008 (42) 2009 (38) 2010-2011 (18) 2012-2014 (18) 2015-2016 (17) 2017-2020 (15) 2021-2023 (21) 2024 (5)
Publication types (Num. hits)
article(108) incollection(2) inproceedings(357) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 484 occurrences of 360 keywords

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