|
|
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 |
63 | Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu 0005 |
Weakest Precondition for General Recursive Programs Formalized in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, pp. 332-348, 2002, Springer, 3-540-44039-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Formal Verification, Operational Semantics, Weakest Precondition, Coq |
62 | Wim H. Hesselink, Ronald Reinds |
Temporal Preconditions of Recursive Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 236-260, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 272-, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
53 | Anup Kumar Bandyopadhyay |
Weakest precondition based verification tool that models spatial ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 33(2), 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 42(5), pp. 10-15, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPD ![In: Proceedings of the 2006 International Symposium on Physical Design, ISPD 2006, San Jose, California, USA, April 9-12, 2006, pp. 108-113, 2006, ACM, 1-59593-299-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 5(12), pp. 1651-1661, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
45 | Andrew E. Santosa |
Comparing Weakest Precondition and Weakest Liberal Precondition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1512.04013, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
43 | Michael Barnett 0001, K. Rustan M. Leino |
Weakest-precondition of unstructured programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005, pp. 82-87, 2005, ACM, 1-59593-239-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Ranga Vemuri, Anuradha Sridhar |
Temporal Precondition Verification of Design Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings, pp. 125-135, 1991, Springer, 3-540-55179-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
41 | Karl-Heinz Pennemann |
Development of Correct Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 508-510, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2003, Thessaloniki, Greece, June 30 - July 2, 2003, pp. 262, 2003, ACM, 1-58113-672-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Anup Kumar Bandyopadhyay |
Modeling fairness and starvation in concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 32(6), 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAICSIT ![In: Proceedings of the 2009 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, SAICSIT 2009, Vanderbijlpark, Emfuleni, South Africa, October 12-14, 2009, pp. 22-29, 2009, ACM, 978-1-60558-643-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 239-244, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009, pp. 59-71, 2009, ACM, 978-1-60558-645-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 32(4), 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Orieta Celiku, Joakim von Wright |
Theorem Prover Support for Precondition and Correctness Calculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 299-310, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Annegret Habel, Karl-Heinz Pennemann, Arend Rensink |
Weakest Preconditions for High-Level Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings, pp. 445-460, 2006, Springer, 3-540-38870-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Timothy S. Gegg-Harrison |
Constructing contracts: Making discrete mathematics relevant to beginning programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Educ. Resour. Comput. ![In: ACM J. Educ. Resour. Comput. 5(2), pp. 3:1-3:28, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings, pp. 344-360, 2004, Springer, 3-540-22791-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2003, Thessaloniki, Greece, June 30 - July 2, 2003, pp. 129-133, 2003, ACM, 1-58113-672-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Java, design by contract, axiomatic semantics |
31 | Michael Lawley |
Transaction Safety in Deductive Object-Oriented Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Fourth International Conference, DOOD'95, Singapore, December 4-7, 1995, Proceedings, pp. 395-410, 1995, Springer, 3-540-60608-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Zhongxian Gu, Earl T. Barr, David J. Hamilton, Zhendong Su 0001 |
Has the bug really been fixed? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 55-64, 2010, ACM, 978-1-60558-719-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
bug fixes, symbolic execution, weakest precondition |
31 | Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan |
Program analysis as constraint solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 281-292, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 32(4), 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 39(2), pp. 12-17, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings, pp. 267-280, 2004, Springer, 3-540-21305-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995, pp. 124-133, 1995, IEEE Computer Society, 0-8186-7141-6. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 45(2), pp. 905-929, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 54(3), pp. 363-393, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Sumanth Prabhu 0001, Grigory Fedyukovich, Deepak D'Souza |
Maximal Quantified Precondition Synthesis for Linear Array Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP (2) ![In: Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II, pp. 245-274, 2024, Springer, 978-3-031-57266-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II, pp. 175-195, 2024, Springer, 978-3-031-57248-7. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, pp. 320-325, 2024, Springer, 978-3-031-57258-6. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Hongsang Yoo, Haopeng Li, Qiuhong Ke, Liangchen Liu, Rui Zhang 0003 |
Precondition and effect reasoning for action recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Vis. Image Underst. ![In: Comput. Vis. Image Underst. 232, pp. 103691, July 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.01172, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Maike Meier, Yuji Nakatsukasa, Alex Townsend, Marcus Webb |
Are sketch-and-precondition least squares solvers numerically stable? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.07202, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.09601, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Satoshi Kura 0001 |
Higher-Order Weakest Precondition Transformers via a CPS Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.09997, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.01767, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik |
Program Structure Aware Precondition Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.02154, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Big Data ![In: IEEE Trans. Big Data 9(3), pp. 949-963, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 22812-22824, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. Forum ![In: Comput. Graph. Forum 41(6), pp. 418-434, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Marko Kleine Büning, Johannes Meuer, Carsten Sinz |
Refined Modularization for Bounded Model Checking Through Precondition Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings, pp. 209-226, 2022, Springer, 978-3-031-17243-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022., pp. 1873-1879, 2022, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Heeyoung Kwon, Nathanael Chambers, Niranjan Balasubramanian |
Toward Diverse Precondition Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.07117, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard |
Transformation-Enabled Precondition Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.03178, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.08123, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Hongsang Yoo, Haopeng Li, Qiuhong Ke, Liangchen Liu, Rui Zhang 0003 |
Precondition and Effect Reasoning for Action Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.10057, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Technol. Tour. ![In: J. Inf. Technol. Tour. 23(1), pp. 19-43, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard |
Transformation-Enabled Precondition Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 21(6), pp. 700-716, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021, pp. 5717-5724, 2021, IEEE, 978-1-6654-1714-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Heeyoung Kwon, Nathanael Chambers, Niranjan Balasubramanian |
Toward Diverse Precondition Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
*SEM ![In: Proceedings of *SEM 2021: The Tenth Joint Conference on Lexical and Computational Semantics, *SEM 2021, Online, August 5-6, 2021, pp. 160-172, 2021, Association for Computational Linguistics, 978-1-954085-77-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Filippo Cantucci, Rino Falcone, Cristiano Castelfranchi |
Robot's self-trust as precondition for being a good collaborator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRUST@AAMAS ![In: Proceedings of the 22nd International Workshop on Trust in Agent Societies (TRUST 2021) Co-located with the 20th International Conferences on Autonomous Agents and Multiagent Systems (AAMAS 2021), London, UK, May 3-7, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Qian Zhou, Fan Ye 0003 |
On Achieving Reliable and Efficient Precondition Execution Enforcement in Internet-of-Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: 2020 IEEE International Conference on Communications, ICC 2020, Dublin, Ireland, June 7-11, 2020, pp. 1-7, 2020, IEEE, 978-1-7281-5089-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Aleksandar S. Dimovski, Axel Legay |
Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, pp. 182-202, 2020, Springer, 978-3-030-45233-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Qian Zhou, Fan Ye 0003 |
APEX: automatic precondition execution with isolation and atomicity in internet-of-things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IoTDI ![In: Proceedings of the International Conference on Internet of Things Design and Implementation, IoTDI 2019, Montreal, QC, Canada, April 15-18, 2019, pp. 25-36, 2019, ACM, 978-1-4503-6283-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 2019 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2019, Rio de Janeiro, Brazil, May 20-24, 2019, pp. 293-302, 2019, IEEE, 978-1-7281-1246-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Alexis Huf, Frank Siqueira |
Scalable precondition-aware service composition with SPARQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: 2019 IEEE Symposium on Computers and Communications, ISCC 2019, Barcelona, Spain, June 29 - July 3, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-2999-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Benjamin Lucien Kaminski |
Advanced weakest precondition calculi for probabilistic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
22 | Sylvain Dailler, David Hauzar, Claude Marché, Yannick Moy |
Instrumenting a weakest precondition calculus for counterexample generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 99, pp. 97-113, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 65(5), pp. 30:1-30:68, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.05989, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
Precondition Inference via Partitioning of Initial States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.06771, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 18(3-4), pp. 553-570, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: 2018 IEEE International Conference on Communications, ICC 2018, Kansas City, MO, USA, May 20-24, 2018, pp. 1-6, 2018, IEEE, 978-1-5386-3180-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018, pp. 679-690, 2018, ACM, 978-1-4503-5573-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Chihiro Iida, Shingo Takada 0001 |
Reducing Mutants with Mutant Killable Precondition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017, pp. 128-133, 2017, IEEE Computer Society, 978-1-5090-6676-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | David Menendez, Santosh Nagarakatte |
Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017, pp. 49-63, 2017, ACM, 978-1-4503-4988-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 54(2), pp. 651-662, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Sci. Comput. ![In: SIAM J. Sci. Comput. 38(6), 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 23(1), pp. 77-104, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.01001, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
22 | David Menendez, Santosh Nagarakatte |
Precondition Inference for Peephole Optimizations in LLVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.05980, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.04219, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIS ![In: Building Sustainable Health Ecosystems - 6th International Conference on Well-Being in the Information Society, WIS 2016, Tampere, Finland, September 16-18, 2016, Proceedings, pp. 37-46, 2016, Springer, 978-3-319-44671-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS ![In: 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Vienna, Austria, August 1-3, 2016, pp. 132-143, 2016, IEEE, 978-1-5090-4127-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Cyrille Artho, Quentin Gros, Guillaume Rousset |
Precondition Coverage in Software Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VST@SANER ![In: First International Workshop on Validating Software Tests, VST@SANER 2016, Osaka, Japan, March 15, 2016, pp. 21-24, 2016, IEEE Computer Society, 978-1-5090-1855-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 364-389, 2016, Springer, 978-3-662-49497-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DiGRA/FDG ![In: Proceedings of the First Joint International Conference of Digital Games Research Association and Foundation of Digital Games, DiGRA/FDG 2016, Dundee, Scotland, UK, August 1-6, 2016, 2016, Digital Games Research Association/Society for the Advancement of the Science of Digital Games. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
22 | Saswat Padhi, Rahul Sharma 0001, Todd D. Millstein |
Data-driven precondition inference with learned features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016, pp. 42-56, 2016, ACM, 978-1-4503-4261-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016, pp. 45-52, 2016, IEEE, 978-1-5090-5707-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 14th IEEE International Conference on Industrial Informatics, INDIN 2016, Poitiers, France, July 19-21, 2016, pp. 166-172, 2016, IEEE, 978-1-5090-2870-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Ichiro Hasuo |
Generic weakest precondition semantics from monads enriched with order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 604, pp. 2-29, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Juan Zhai, Hanfei Wang, Jianhua Zhao |
Assertion-Directed Precondition Synthesis for Loops over Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings, pp. 258-274, 2015, Springer, 978-3-319-25941-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Anton Manfreda, Andrej Kovacic, Mojca Indihar Stemberger, Peter Trkman |
Absorptive Capacity as a Precondition for Business Process Improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Inf. Syst. ![In: J. Comput. Inf. Syst. 54(2), pp. 35-43, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Inf. Syst. ![In: Comput. Sci. Inf. Syst. 11(1), pp. 1-27, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Ichiro Hasuo |
Generic Weakest Precondition Semantics from Monads Enriched with Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers, pp. 10-32, 2014, Springer, 978-3-662-44123-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Christoph Scheben, Peter H. Schmitt |
Efficient Self-composition for Weakest Precondition Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 579-594, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMT@MoDELS ![In: Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014., pp. 34-43, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
22 | Nuno P. Lopes, José Monteiro 0001 |
Weakest Precondition Synthesis for Compiler Optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, pp. 203-221, 2014, Springer, 978-3-642-54012-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer |
A weakest precondition calculus for BUnity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 78(9), pp. 1278-1293, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAD/Graphics ![In: 2013 International Conference on Computer-Aided Design and Computer Graphics, CAD/Graphics 2013, Guangzhou, China, November 16-18, 2013, pp. 81-86, 2013, IEEE, 978-1-4799-2576-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMV ![In: Sixth International Conference on Machine Vision, ICMV 2013, London, United Kingdom, April 16-17, 2013, pp. 90671Z, 2013, SPIE, 9780819499967. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Mickaël Delahaye, Nikolai Kosmatov |
A Late Treatment of C Precondition in Dynamic Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, pp. 230-231, 2013, IEEE Computer Society, 978-1-4799-1324-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Mohamed Nassim Seghir, Daniel Kroening |
Counterexample-Guided Precondition Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, pp. 451-471, 2013, Springer, 978-3-642-37035-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Mickaël Delahaye, Nikolai Kosmatov |
A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 328-333, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Willi Kafitz, Volker Burgers |
Security in Critical Infrastructures - Future Precondition for Operating License? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSE ![In: ISSE 2013 - Securing Electronic Business Processes, Highlights of the Information Security Solutions Europe 2013 Conference, Brussels, Belgium, October 22-23, 2013, pp. 205-215, 2013, Springer, 978-3-658-03370-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver |
Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 168-177, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 469 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|