Search results for "preconditions"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying	Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs.	LICS	2022	DBLP DOI BibTeX RDF
20	Srdjan Skok, Josip Tosic, Ljupko Teklic	Optimization of Preconditions in Transmission System Restoration Process by Using Artificial Intelligence.	IC3I	2022	DBLP DOI BibTeX RDF
20	Sung-Shik Jongmans, Petra van den Bos	A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming.	ESOP	2022	DBLP DOI BibTeX RDF
20	Jacky Liang, Xianyi Cheng, Oliver Kroemer	Learning Preconditions of Hybrid Force-Velocity Controllers for Contact-Rich Manipulation.	CoRL	2022	DBLP BibTeX RDF
20	Paul Bekaert, Norah Mohsen T. Alotaibi, Florian Mathis, Nina Gerber, Aidan Christopher Rafferty, Mohamed Khamis, Karola Marky	Are Thermal Attacks a Realistic Threat? Investigating the Preconditions of Thermal Attacks in Users' Daily Lives.	NordiCHI	2022	DBLP DOI BibTeX RDF
20	Jonas Krämer, Lionel Blatter, Eva Darulova, Mattias Ulbrich	Inferring Interval-Valued Floating-Point Preconditions.	TACAS (1)	2022	DBLP DOI BibTeX RDF
20	Ehsan Qasemi, Filip Ilievski, Muhao Chen, Pedro A. Szekely	PaCo: Preconditions Attributed to Commonsense Knowledge.	EMNLP (Findings)	2022	DBLP DOI BibTeX RDF
20	Diego Marcilio, Carlo A. Furia	What Is Thrown? Lightweight Precise Automatic Extraction of Exception Preconditions in Java Methods.	ICSME	2022	DBLP DOI BibTeX RDF
20	J. Zhánel, P. Holecek, A. Zdercík	Comparison of the Evaluation of Performance Preconditions in Tennis with the Use of Equal and Expertly Judged Criteria Weights.	Int. J. Comput. Sci. Sport	2021	DBLP DOI BibTeX RDF
20	Ehsan Qasemi, Filip Ilievski, Muhao Chen, Pedro A. Szekely	CoreQuisite: Circumstantial Preconditions of Common Sense Knowledge.	CoRR	2021	DBLP BibTeX RDF
20	Geoff Goodell	The Forgotten Preconditions for a Well-Functioning Internet.	CoRR	2021	DBLP BibTeX RDF
20	Yubao Hou, Jinding Gao	Stability and control of fuzzy time delay systems with unmatched preconditions.	J. Comput. Methods Sci. Eng.	2021	DBLP DOI BibTeX RDF
20	Marlon Freire, Sérgio Nunes, David Duenas-Cid	Analyzing Preconditions to Introduce Internet Voting in Portugal: Insights from the Estonian Model.	EGOV-CeDEM-ePart-*	2021	DBLP BibTeX RDF
20	Gro-Hilde Severinsen, Line Silsand, Kristian Malm-Nicolaisen, Rune Pedersen	Interoperability and Governance; Important Preconditions for Establishing Large-Scale Healthcare Infrastructures Like the Akson program in Norway.	MedInfo	2021	DBLP DOI BibTeX RDF
20	Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer	Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control.	TYPES	2021	DBLP DOI BibTeX RDF
20	Alex Licari LaGrassa, Oliver Kroemer	Learning Model Preconditions for Planning with Multiple Models.	CoRL	2021	DBLP BibTeX RDF
20	Conny Olz, Susanne Biundo, Pascal Bercher	Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks - A Complexity Analysis.	AAAI	2021	DBLP DOI BibTeX RDF
20	Hassan Noun, Christian Urban-Seelmann, Mohamed Abdelfattah, G. Rajesh, Iryna Mozgova, Roland Lachmayer	Quantification of Preconditions for Processing Safety Relevant Vehicle Systems.	ICSRS	2021	DBLP DOI BibTeX RDF
20	Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu	Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs.	TAP@STAF	2021	DBLP DOI BibTeX RDF
20	Radha Jagadeesan, Alan Jeffrey, James Riely	Pomsets with preconditions: a simple model of relaxed memory.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
20	Shadi Oveisgharan, Daniel Esteban-Fernandez, Duane Waliser, Randall Friedl, Son V. Nghiem, Xubin Zeng	Correction: Oveisgharan, S., et al. Evaluating the Preconditions of Two Remote Sensing SWE Retrieval Algorithms over the US, Remote Sensing 2020, 12, 2021.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
20	Shadi Oveisgharan, Daniel Esteban-Fernandez, Duane Waliser, Randall Friedl, Son V. Nghiem, Xubin Zeng	Evaluating the Preconditions of Two Remote Sensing SWE Retrieval Algorithms over the US.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
20	Salomón Wollenstein-Betech, Christos G. Cassandras, Ioannis Ch. Paschalidis	Personalized predictive models for symptomatic COVID-19 patients using basic preconditions: Hospitalizations, mortality, and the need for an ICU or ventilator.	Int. J. Medical Informatics	2020	DBLP DOI BibTeX RDF
20	Heeyoung Kwon, Mahnaz Koupaee, Pratyush Singh, Gargi Sawhney, Anmol Shukla, Keerthi Kumar Kallur, Nathanael Chambers, Niranjan Balasubramanian	Modeling Preconditions in Text with a Crowd-sourced Dataset.	CoRR	2020	DBLP BibTeX RDF
20	Gidon Ernst	Cuvée: Blending SMT-LIB with Programs and Weakest Preconditions.	CoRR	2020	DBLP BibTeX RDF
20	Mohit Sharma 0001, Oliver Kroemer	Relational Learning for Skill Preconditions.	CoRR	2020	DBLP BibTeX RDF
20	Leanna Ireland, James Hawdon, Bert Huang, Anthony Peguero	Preconditions for guardianship interventions in cyberbullying: Incident interpretation, collective and automated efficacy, and relative popularity of bullies.	Comput. Hum. Behav.	2020	DBLP DOI BibTeX RDF
20	Michele Boreale	Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
20	Gennady N. Samarin, Alexander A. Kudryavtsev, Alexander G. Khristenko, Dmitry N. Ignatenko, Egor A. Krishtanov	Preconditions for Optimizing Primary Milk Processing.	ICO	2020	DBLP DOI BibTeX RDF
20	Mohit Sharma 0001, Oliver Kroemer	Relational Learning for Skill Preconditions.	CoRL	2020	DBLP BibTeX RDF
20	Alejandro Aguirre 0001, Shin-ya Katsumata	Weakest Preconditions in Fibrations.	MFPS	2020	DBLP DOI BibTeX RDF
20	Louise Petersen Matjeka	The Move Maker - Exploring Bodily Preconditions and Surrounding Conditions for Bodily Interactive Play.	CHI Extended Abstracts	2020	DBLP DOI BibTeX RDF
20	Lobna Hassan, Henrietta Jylhä, Max Sjöblom, Juho Hamari	Flow in VR: A Study on the Relationships Between Preconditions, Experience and Continued Use.	HICSS	2020	DBLP BibTeX RDF
20	Heeyoung Kwon, Mahnaz Koupaee, Pratyush Singh, Gargi Sawhney, Anmol Shukla, Keerthi Kumar Kallur, Nathanael Chambers, Niranjan Balasubramanian	Modeling Preconditions in Text with a Crowd-sourced Dataset.	EMNLP (Findings)	2020	DBLP DOI BibTeX RDF
20	Kristof Meixner, Lukas Kathrein, Dietmar Winkler 0001, Arndt Lüder, Stefan Biffl	Efficient Test Case Generation from Product and Process Model Properties and Preconditions.	ETFA	2020	DBLP DOI BibTeX RDF
20	Line Silsand, Gro-Hilde Severinsen, Rune Pedersen, Gunnar Ellingsen	Preconditions for Enabling Advanced Patient-Centered Decision Support on a National Knowledge Information Infrastructure.	MedInfo	2019	DBLP DOI BibTeX RDF
20	Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie 0001	Learning stateful preconditions modulo a test generator.	PLDI	2019	DBLP DOI BibTeX RDF
20	David Gamez	Four Preconditions for Solving MC4 Machine Consciousness.	AAAI Spring Symposium: Towards Conscious AI Systems	2019	DBLP BibTeX RDF
20	Nils Weidmann, Anthony Anjorin, Florian Stolte, Florian Kraus	From Pattern Invocation Networks to Rule Preconditions.	ICGT	2019	DBLP DOI BibTeX RDF
20	Martin van den Berg, Lars Cordewener, Raymond Slot, Patricia Lago, Hans van Vliet	Preconditions for the Use of a Checklist by Enterprise Architects to Improve the Quality of a Business Case.	CBI (1)	2019	DBLP DOI BibTeX RDF
20	Anthony J. Erjavac, Ronald Iammartino, John M. Fossaceca	Evaluation of preconditions affecting symptomatic human error in general aviation and air carrier aviation accidents.	Reliab. Eng. Syst. Saf.	2018	DBLP DOI BibTeX RDF
20	Stefan Willeke, Henrik Prinzhorn, Malte Stonis, Peter Nyhuis	Preconditions for applying an energy price-oriented sequencing rule.	Prod. Eng.	2018	DBLP DOI BibTeX RDF
20	Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Márcio Ribeiro 0001, Paulo Borba, Leopoldo Teixeira	Detecting Overly Strong Preconditions in Refactoring Engines.	IEEE Trans. Software Eng.	2018	DBLP DOI BibTeX RDF
20	Thais Elaine Vick, Marcelo Seido Nagano	Preconditions for Successful Knowledge Creation in the Context of Academic Innovation Projects.	J. Inf. Knowl. Manag.	2018	DBLP DOI BibTeX RDF
20	Andreas Argubi-Wollesen, Robert Weidner	Biomechanical Analysis: Adapting to Users' Physiological Preconditions and Demands.	Developing Support Technologies	2018	DBLP DOI BibTeX RDF
20	Angello Astorga, Siwakorn Srisakaokul, Xusheng Xiao, Tao Xie 0001	PreInfer: Automatic Inference of Preconditions via Symbolic Analysis.	DSN	2018	DBLP DOI BibTeX RDF
20	Hoan Anh Nguyen, Tien N. Nguyen, Hridesh Rajan, Robert Dyer 0001	Towards combining usage mining and implementation analysis to infer API preconditions.	WASPI@ESEC/SIGSOFT FSE	2018	DBLP DOI BibTeX RDF
20	Michele Boreale	Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE'S.	SOFSEM	2018	DBLP DOI BibTeX RDF
20	Michele Boreale	Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ode's.	CoRR	2017	DBLP BibTeX RDF
20	Rui Bian, Xiangjun Wu, Aixiang Chen	基于静态前提的谓词知识树分解策略 (Decomposition Strategy for Knowledge Tree of Predicate Based on Static Preconditions).	计算机科学	2017	DBLP DOI BibTeX RDF
20	Peter Forbrig, Gregor Buchholz	Agile Software Development Process with Task Models having Triggers, Preconditions and Context Constraints.	RoCHI	2017	DBLP BibTeX RDF
20	Irena Skrceska, Goran Velinov, Margita Kon-Popovska, Marijana Neskovska, Miroslav Pevac, Leonid Stoimenov, Daniela Ivanova Panova, Berislav Vekic, Boro Jakimovski	Analysis of the Preconditions for Implementation of Nationwide EHR Systems.	ICIST	2017	DBLP DOI BibTeX RDF
20	Yulei Sui, Ding Ye, Yu Su 0012, Jingling Xue	Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions.	IEEE Trans. Reliab.	2016	DBLP DOI BibTeX RDF
20	Hang Luo, Xue Liu 0001, Xi Chen 0009, Ting Long, Ronghua Jiang	Software Reliability Analysis Using Weakest Preconditions in Linear Assignment Programs.	IEEE Trans. Software Eng.	2016	DBLP DOI BibTeX RDF
20	Egor George Karpenkov, David Monniaux	Formula Slicing: Inductive Invariants from Preconditions.	CoRR	2016	DBLP BibTeX RDF
20	Edita Bajramovic, Karl Waedt, Antonio Ciriello, Deeksha Gupta	Forensic readiness of smart buildings: Preconditions for subsequent cybersecurity tests.	ISC2	2016	DBLP DOI BibTeX RDF
20	Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo	More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks.	ECAI	2016	DBLP DOI BibTeX RDF
20	Oliver Kroemer, Gaurav S. Sukhatme	Learning spatial preconditions of manipulation skills using random forests.	Humanoids	2016	DBLP DOI BibTeX RDF
20	Egor George Karpenkov, David Monniaux	Formula Slicing: Inductive Invariants from Preconditions.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
20	Lisardo Prieto-González, Johannes Schubert	Requirements Engineering and Business Process Management as preconditions for the application of the Cloud Blueprinting Model.	Modellierung (Workshops)	2016	DBLP BibTeX RDF
20	Daniel Fava, Daniel G. Shapiro, Joseph C. Osborn, Martin Schäf, E. James Whitehead Jr.	Crowdsourcing program preconditions via a classification game.	ICSE	2016	DBLP DOI BibTeX RDF
20	John K. Tarus, David Gichoya	E-Learning in Kenyan Universities: Preconditions for Successful Implementation.	Electron. J. Inf. Syst. Dev. Ctries.	2015	DBLP DOI BibTeX RDF
20	Yoram Moses	Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle.	TARK	2015	DBLP DOI BibTeX RDF
20	Zachary Terner, Donald E. Brown	Preconditions and multilevel models in studying post-surgical adverse outcomes.	Netw. Model. Anal. Health Informatics Bioinform.	2015	DBLP DOI BibTeX RDF
20	Michael Nofer	The Value of Social Media for Predicting Stock Returns - Preconditions, Instruments and Performance Analysis		2015	DOI RDF
20	Ansgar R. Koene, Elvira Perez, Christopher James Carter, Ramona Statache, Svenja Adolphs, Claire O'Malley, Tom Rodden, Derek McAuley	Research Ethics and Public Trust, Preconditions for Continued Growth of Internet Mediated Research - Public Confidence in Internet Mediate Research.	ICISSP	2015	DBLP DOI BibTeX RDF
20	Hoan Anh Nguyen, Robert Dyer 0001, Tien N. Nguyen, Hridesh Rajan	Consensus-based mining of API preconditions in big code.	SPLASH (Companion Volume)	2015	DBLP DOI BibTeX RDF
20	Severin Andreas Thomas-Morus Fichtl	Developmental learning of preconditions for means-end actions from 3D vision.		2015	RDF
20	Frederik Deckwerth, Gergely Varró	Generating Preconditions from Graph Constraints by Higher Order Graph Transformation.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2014	DBLP DOI BibTeX RDF
20	Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus	Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT.	CoRR	2014	DBLP BibTeX RDF
20	Wang Lin, Min Wu 0003, Zhengfeng Yang, Zhenbing Zeng	Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods.	Frontiers Comput. Sci.	2014	DBLP DOI BibTeX RDF
20	Eric J. Braude	Weakest preconditions and cumulative subgoal fulfillment.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
20	Stefano Ferilli, Berardina De Carolis, Floriana Esposito	Learning Complex Activity Preconditions in Process Mining.	NFMCP	2014	DBLP DOI BibTeX RDF
20	Elizabeth A. Teracino	Institutional Preconditions Influencing Accounting Firms Mobilizing into the Online Software-Enhanced Financial Services Market.	AMCIS	2014	DBLP BibTeX RDF
20	Kazimierz Fraczkowski, Zygmunt Mazur, Hanna Mazur	Preconditions for Processing Electronic Medical Records.	BDAS	2014	DBLP DOI BibTeX RDF
20	Mohamed Nassim Seghir, Peter Schrammel	Necessary and Sufficient Preconditions via Eager Abstraction.	APLAS	2014	DBLP DOI BibTeX RDF
20	Ding Ye, Yu Su 0012, Yulei Sui, Jingling Xue	WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions.	ISSRE	2014	DBLP DOI BibTeX RDF
20	Hoan Anh Nguyen, Robert Dyer 0001, Tien N. Nguyen, Hridesh Rajan	Mining preconditions of APIs in large-scale code corpus.	SIGSOFT FSE	2014	DBLP DOI BibTeX RDF
20	Elizabeth A. Teracino, Kristian Peters, Johan C. Wortmann	Institutional Preconditions Influencing Banks Adopting Software-as-a-Service and Mobilizing for Servitization.	ICIS	2014	DBLP BibTeX RDF
20	James Brotherston, Nikos Gorogiannis	Cyclic Abduction of Inductively Defined Safety and Termination Preconditions.	SAS	2014	DBLP DOI BibTeX RDF
20	Steve Hallman, Jasur Rakhimov, Michel Plaisent, Prosper Bernard	BIG DATA: Preconditions to Productivity.	TrustCom	2014	DBLP DOI BibTeX RDF
20	Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus	Automatic repair of buggy if conditions and missing preconditions with SMT.	CSTVA	2014	DBLP DOI BibTeX RDF
20	Frederik Deckwerth, Gergely Varró	Attribute Handling for Generating Preconditions from Graph Constraints.	ICGT	2014	DBLP DOI BibTeX RDF
20	Ingrid Gottschalk, Stefan Kirn	Cloud Computing As a Tool for Enhancing Ecological Goals? - Analyzing Necessary Preconditions on the Consumer Side.	Bus. Inf. Syst. Eng.	2013	DBLP DOI BibTeX RDF
20	Birgitta Kylesten	Dynamic decision-making on an operative level: a model including preconditions and working method.	Cogn. Technol. Work.	2013	DBLP DOI BibTeX RDF
20	Craig Boutilier	Approximately Optimal Monitoring of Plan Preconditions	CoRR	2013	DBLP BibTeX RDF
20	Owen Eriksson, Göran Goldkuhl	Preconditions for public sector e-infrastructure development.	Inf. Organ.	2013	DBLP DOI BibTeX RDF
20	Mireille Hildebrandt	Autonomic and autonomous 'thinking': preconditions for criminaI accountability.	Law, Human Agency and Autonomic Computing	2013	DBLP BibTeX RDF
20	Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo	Automatic Inference of Necessary Preconditions.	VMCAI	2013	DBLP DOI BibTeX RDF
20	Eric Braude	Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison	CoRR	2012	DBLP BibTeX RDF
20	Ulrika H. Westergren, Jonny Holmström	Exploring preconditions for open innovation: Value networks in industrial firms.	Inf. Organ.	2012	DBLP DOI BibTeX RDF
20	Severin Fichtl, John W. Alexander, Frank Guerin, Jimmy A. Jørgensen, Dirk Kraft, Norbert Krüger	Rapidly learning preconditions for means-ends behaviour using active learning.	ICDL-EPIROB	2012	DBLP DOI BibTeX RDF
20	Chen-Wei Wang	Calculating Preconditions for Parallel Workflows.	APSEC	2012	DBLP DOI BibTeX RDF
20	Valentina Durek, Nina Begicevic Redep, Blazenka Divjak	Preconditions for the implementation of e-learning in primary schools in the Republic of Croatia - Pupils' perspective.	ITI	2012	DBLP DOI BibTeX RDF
20	Alexander Pacholik, Matthias Riebisch	Modelling Technical Constraints and Preconditions for Alternative Design Desicions.	MBEES	2012	DBLP BibTeX RDF
20	Matthew Pediaditis, Manolis Tsiknakis, Vangelis Kritsotakis, Spyridon Voutoufianakis, Magdalena Góralczyk, Pelagia Vorgia	Exploiting advanced video analysis technologies for a smart home monitoring platform for epileptic patients: Technological and legal preconditions.	TEMU	2012	DBLP DOI BibTeX RDF
20	Lorena Erdens, Daniela Barreiro Claro, Denivaldo Lopes, Patrick Albers	Discoverying Cloud Services by Preconditions and Effects for Compositions.	ICEIS (2)	2012	DBLP BibTeX RDF
20	Tianrong Lin	On commutativity of quantum weakest preconditions	CoRR	2011	DBLP BibTeX RDF
20	Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili 0001	Computing Preconditions and Postconditions of While Loops.	ICTAC	2011	DBLP DOI BibTeX RDF
20	Olga Obuhova, Maxim Zaikin, Ivan Soloviev	Предпосылки создания комплексированных индексов научного цитирования сотрудников научного института (The Preconditions of a New Method of Complexed Science Citation Indices for Researchers of Scientific Institute).	RCDL	2011	DBLP BibTeX RDF