Search results for "preconditions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	Iliano Cervesato, Massimo Franceschet, Angelo Montanari	Modal Event Calculi with Preconditions.	TIME	1997	DBLP DOI BibTeX RDF	modal event calculi, event occurrences, maximal validity intervals, semantic formalization, MVI validation, complexity, temporal logic, temporal logic, preconditions, event calculus
63	Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan	Static specification inference using predicate mining.	PLDI	2007	DBLP DOI BibTeX RDF	predicate mining, program analysis, preconditions, specification inference
63	Max Schäfer, Torbjörn Ekman 0001, Oege de Moor	Sound and extensible renaming for java.	OOPSLA	2008	DBLP DOI BibTeX RDF	name analysis, refactoring, renaming, extensible compilers
52	Satish Chandra 0001, Stephen J. Fink, Manu Sridharan	Snugglebug: a powerful approach to weakest preconditions.	PLDI	2009	DBLP DOI BibTeX RDF	interprocedural analysis, weakest preconditions, symbolic analysis
52	Aitor Urbieta, Ekain Azketa, Inma Gomez, Jorge Parra, Nestor Arana	Analysis of Effects- and Preconditions-Based Service Representation in Ubiquitous Computing Environments.	ICSC	2008	DBLP DOI BibTeX RDF	ubiquitous computing, semantic web services, effects, preconditions
52	Francis Jeffry Pelletier, Renee Elio	Enumerating the Preconditions of Agent Message Types.	AI	2003	DBLP DOI BibTeX RDF
52	Douglas R. Smith	Derived Preconditions and Their Use in Program Synthesis.	CADE	1982	DBLP DOI BibTeX RDF
42	A. Udaya Shankar	An Introduction to Assertional Reasoning for Concurrent Systems.	ACM Comput. Surv.	1993	DBLP DOI BibTeX RDF	generation of preconditions, leads-to, progress properties, invariants, Hoare logic, weakest preconditions, safety properties, state transition systems, assertional reasoning
42	Gertrude Neuman Levine	The classification of deadlock prevention and avoidance is erroneous.	ACM SIGOPS Oper. Syst. Rev.	2005	DBLP DOI BibTeX RDF
42	Ranga Vemuri, Anuradha Sridhar	Temporal Precondition Verification of Design Transformations.	CAV	1991	DBLP DOI BibTeX RDF
41	Umesh Bellur, Harin Vadodaria	On Extending Semantic Matchmaking to Include Preconditions and Effects.	ICWS	2008	DBLP DOI BibTeX RDF
41	Yannick Moy	Sufficient Preconditions for Modular Assertion Checking.	VMCAI	2008	DBLP DOI BibTeX RDF
41	Daniel Brand, Marcio Buss, Vugranam C. Sreedhar	Evidence-Based Analysis and Inferring Preconditions for Bug Detection.	ICSM	2007	DBLP DOI BibTeX RDF
41	Vahur Kotkas	Preconditions for Structural Synthesis of Programs.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
41	Annegret Habel, Karl-Heinz Pennemann, Arend Rensink	Weakest Preconditions for High-Level Programs.	ICGT	2006	DBLP DOI BibTeX RDF
41	Haifeng He, Neelam Gupta	Automated Debugging Using Path-Based Weakest Preconditions.	FASE	2004	DBLP DOI BibTeX RDF	software testing, Fault location, weakest precondition, postcondition
32	Prasun Dewan	Increasing the automation of a toolkit without reducing its abstraction and user-interface flexibility.	EICS	2010	DBLP DOI BibTeX RDF	mvc, preconditions, undo, user interface tools, user interface tools, redo
32	Saurabh Srivastava 0001, Sumit Gulwani	Program verification using templates over predicate abstraction.	PLDI	2009	DBLP DOI BibTeX RDF	constraint-based fixed-point, iterative fixed-point, quantified invariants, template invariants, predicate abstraction, weakest preconditions, smt solvers
32	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
32	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard	How Symbolic Animation Can Help Designing an Efficient Formal Model.	ICFEM	2005	DBLP DOI BibTeX RDF	Symbolic animation, properties detection, weak invariant, strong preconditions, unreachable effects, constraints
32	Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan	Probabilistic Invariants for Probabilistic Machines.	ZB	2003	DBLP DOI BibTeX RDF	the B Method (B), Probability, probabilistic algorithms, weakest preconditions, program correctness, generalised substitutions
32	Ian J. Hayes	Reasoning about real-time programs using idle-invariant assertions.	APSEC	2000	DBLP DOI BibTeX RDF	real-time program reasoning, idle-invariant assertions, software engineering, real-time systems, preconditions, formal logic, Hoare logic, postconditions
32	Carroll Morgan	The Generalised Substitution Language Extended to Probabilistic Programs.	B	1998	DBLP DOI BibTeX RDF	GSL, Probability, weakest preconditions, B, program correctness, generalised substitutions
32	Yu Wang	A Distributed Specification Model and Its Prototyping.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	distributed specification model, execution scheme, high-level state-transition language, SXL, software engineering, software engineering, complexity, prototyping, distributed processing, finite-state machine, specification languages, finite automata, high level languages, preconditions, switching systems, Boolean expressions, postconditions
32	Frank Tip, Adam Kiezun, Dirk Bäumer	Refactoring for generalization using type constraints.	OOPSLA	2003	DBLP DOI BibTeX RDF	program analysis, refactoring, subtyping, class hierarchy, type constraints
32	Richard Mitchell, James McKim	Extending a Method of Devising Software Contracts.	TOOLS (32)	1999	DBLP DOI BibTeX RDF
32	Luc Bougé, Yann Le Guyadec, Gil Utard, Bernard Virot	On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language.	CONPAR	1994	DBLP DOI BibTeX RDF
31	Amel Mammar	A systematic approach to generate B preconditions: application to the database domain.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	B operations, Formal specification, Invariant, Integrity constraints, Precondition
31	Dolors Costal, Cristina Gómez 0001, Anna Queralt, Ernest Teniente	Drawing Preconditions of Operation Contracts from Conceptual Schemas.	CAiSE	2008	DBLP DOI BibTeX RDF	operation contracts, conceptual modelling, integrity constraints
31	Sriram Sankaranarayanan 0001, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta	Dynamic inference of likely data preconditions over predicates by tree learning.	ISSTA	2008	DBLP DOI BibTeX RDF	machine learning, verification, decision trees, sat, software specification
31	David Brumley, Hao Wang, Somesh Jha, Dawn Xiaodong Song	Creating Vulnerability Signatures Using Weakest Preconditions.	CSF	2007	DBLP DOI BibTeX RDF
31	Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang	Footprint Analysis: A Shape Analysis That Discovers Preconditions.	SAS	2007	DBLP DOI BibTeX RDF
31	Sang-Kyun Kim, Taekyung Lee, Kyu-Chul Lee	Toward Knowledge Preconditions for Composition of SemanticWeb Services.	DEEC	2005	DBLP DOI BibTeX RDF
31	Birgit Schieder	Pointer Theory and Weakest Preconditions without Addresses and Heap.	MPC	2004	DBLP DOI BibTeX RDF
31	Ralph Miarka, Eerke A. Boiten, John Derrick	Guards, Preconditions, and Refinement in Z.	ZB	2000	DBLP DOI BibTeX RDF
31	Joseph J. Comuzzi, Johnson M. Hart	Program Slicing Using Weakest Preconditions.	FME	1996	DBLP DOI BibTeX RDF
31	Jean Pierre LeJacq	Function preconditions in object oriented software.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	C++
21	Neil Mitchell, Colin Runciman	Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching.	Haskell	2008	DBLP DOI BibTeX RDF	pattern-match errors, functional programming, haskell, preconditions, automatic verification
21	William G. Griswold, Kevin J. Sullivan, Yuanyuan Song, Macneil Shonle, Nishit Tewari, Yuanfang Cai, Hridesh Rajan	Modular Software Design with Crosscutting Interfaces.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	preconditions, aspect-oriented, postconditions
21	Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth	Contract-Checking Wrappers for C++ Classes.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Assertion checkers, binary components, class invariants, specification, preconditions, design by contract, postconditions, debugging aids, coding techniques
21	Chris Matthews, Paul A. Swatman	Fuzzy concepts and formal methods: some illustrative examples.	APSEC	2000	DBLP DOI BibTeX RDF	fuzzy concepts, problem types, fuzzy logic toolkit, problem domains, soft preconditions, linguistically quantified propositions, modelling, formal specification, formal methods, fuzzy logic, information systems, requirements engineering, uncertainty, specification languages, specification languages, formal modelling, fuzzy set theory, fuzzy set theory, uncertainty handling, fuzzy relations, system requirements, imprecision, Z language
21	Ana Cavalcanti 0001, Jim Woodcock 0001	ZRC - A Refinement Calculus for Z.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Formal methods, Weakest preconditions, Program development
21	Carroll Morgan, Annabelle McIver, Karen Seidel 0002	Probabilistic Predicate Transformers.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	probability, refinement, nondeterminism, weakest preconditions, Galois connection, predicate transformers, program derivation
21	Luc Bougé, David Cachera	On the Completeness of a Proof System for a Simple Data-Parallel Programming Language.	Euro-Par	1995	DBLP DOI BibTeX RDF	Specifying and Verifying and Reasoning about Programs, Concurrent Programming, Hoare Logic, Weakest Preconditions, Proof System, Data-Parallel Languages, Semantics of Programming Languages
21	Marcello M. Bonsangue, Joost N. Kok	Semantics, Orderings and Recursion in the Weakest Precondition Calculus.	REX Workshop	1992	DBLP DOI BibTeX RDF	fixed point transformations, Smyth powerdomain, Egli-Milner powerdomain, refinement, deadlock, recursion, fixed points, backtracking, weakest preconditions, predicate transformers
21	Ralph-Johan Back, Joakim von Wright	Predicate Transformers and Higher Order Logic.	REX Workshop	1992	DBLP DOI BibTeX RDF	nondeterminism, higher order logic, state spaces, weakest preconditions, procedures, Stepwise refinement, predicate transformers, HOL, semantics of programming languages, total correctness
21	Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl	Proving Total Correctness of Programs in Weak Second-Order Logic.	REX Workshop	1992	DBLP DOI BibTeX RDF	Imperative programming language, weak second-order logic, normal form theorem, nondeterminism, weakest preconditions, guarded commands
21	Ralph-Johan Back	Refinement Calculus, Part II: Parallel and Reactive Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	hiding, simulation, parallel programs, fairness, weakest preconditions, Stepwise refinement, reactive programs, action systems, parallel composition, total correctness, refinement mappings, stuttering
21	Ralph-Johan Back, Joakim von Wright	Refinement Calculus, Part I: Sequential Nondeterministic Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	angelic nondeterminism, demonic non-determinism, miraculous statements, inverse statements, lattices, weakest preconditions, Stepwise refinement, data refinement, specification methods, total correctness
21	Saurabh Srivastava 0001, Sumit Gulwani, Jeffrey S. Foster	VS3: SMT Solvers for Program Verification.	CAV	2009	DBLP DOI BibTeX RDF
21	Robert M. Fuhrer, William F. Opdyke	The 3rd ACM workshop on refactoring tools (WRT'09).	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	program analysis, transformation, refactoring, program manipulation
21	Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu 0001	Validation of requirement models by automatic prototyping.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	UML, Prototype, Code generation, OCL, Requirement validation
21	Andreas Podelski, Andrey Rybalchenko, Thomas Wies	Heap Assumptions on Demand.	CAV	2008	DBLP DOI BibTeX RDF
21	Danny Dig, Robert M. Fuhrer, Ralph E. Johnson	The 2nd workshop on refactoring tools (WRT'08).	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	program analysis, transformation, refactoring, program manipulation
21	James Brotherston, Richard Bornat, Cristiano Calcagno	Cyclic proofs of program termination in separation logic.	POPL	2008	DBLP DOI BibTeX RDF	cyclic proof, program verification, termination, hoare logic, separation logic, inductive definitions
21	Hannes Kegel, Friedrich Steimann	Systematically refactoring inheritance to delegation in java.	ICSE	2008	DBLP DOI BibTeX RDF	open recursion, evaluation, design, refactoring, inheritance, delegation, forwarding
21	Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel	Deriving Non-zeno Behavior Models from Goal Models Using ILP.	FASE	2008	DBLP DOI BibTeX RDF
21	Andrea Corradini 0002, Adrian Bak, Thomas Hanneforth	A Natural Language Interface for a 2D Networked Game.	HCI (4)	2007	DBLP DOI BibTeX RDF	Multiplayer Networked Game, Natural Language Processing
21	Amit M. Paradkar, Avik Sinha, Clay Williams, Robert D. Johnson, Susan Outterson, Charles Shriver, Carol Liang	Automated Functional Conformance Test Generation for Semantic Web Services.	ICWS	2007	DBLP DOI BibTeX RDF
21	Christian Wimmer, Hanspeter Mössenböck	Automatic feedback-directed object inlining in the java hotspotTM virtual machine.	VEE	2007	DBLP DOI BibTeX RDF	object colocation, object inlining, java, optimization, performance, cache, garbage collection, just-in-time compilation
21	Nanjangud C. Narendra, Karthikeyan Ponnalagu, Karthik Gomadam, Amit P. Sheth	Variation Oriented Service Composition and Adaptation (VOSCA): A Work in Progress.	IEEE SCC	2007	DBLP DOI BibTeX RDF
21	Judith Hartmann, Sabine Rittmann, Doris Wild, Peter Scholz	Formal incremental requirements specification of service-oriented automotive software systems.	SOSE	2006	DBLP DOI BibTeX RDF
21	Tomohiro Kaizu, Tomoya Noro, Takehiro Tokuda	A state propagation method for consistency checking of web service function invocations in web applications.	ICWE Workshops	2006	DBLP DOI BibTeX RDF	Web services, semantic Web, Web applications, OWL-S, consistency checking
21	Yishai A. Feldman, Leon Gendler	Discern: Towards the Automatic Discovery of Software Contracts.	SEFM	2006	DBLP DOI BibTeX RDF
21	Laure Bourgois, Alexandre Delteil, François Lévy	Web Services Subsumption with a Specific PDL.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
21	Renée Elio, Anita Petrinjak	Normative Communication Models for Agent.	Auton. Agents Multi Agent Syst.	2005	DBLP DOI BibTeX RDF	communication errors, interaction protocols, agent communication, agent-based software engineering, cooperative problem-solving
21	Murat Karaorman, Parker Abercrombie	jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	jContractor, Java, Design by Contract, bytecode instrumentation
21	Xuan Li, Lunjin Lu	Inverting abstract unification for set-sharing.	PPDP	2005	DBLP DOI BibTeX RDF	maximal models and Boolean formulas, set-sharing, logic programs, backward analysis
21	Patrick Lam 0001, Viktor Kuncak, Martin C. Rinard	Crosscutting techniques in program specification and analysis.	AOSD	2005	DBLP DOI BibTeX RDF	aspect-oriented programming, program verification, crosscutting concerns, static analysis tools
21	Eva Cogan, Simon Parsons, Peter McBurney	What kind of argument are we going to have today?	AAMAS	2005	DBLP DOI BibTeX RDF	argumentation, agent communication, dialogue games
21	Phan Minh Dung, Phan Minh Thang	Stepwise development of security protocols: a speech act-oriented approach.	FMSE	2004	DBLP DOI BibTeX RDF	security protocols, cryptographic protocols
21	Stefan Edelkamp	Generalizing the Relaxed Planning Heuristic to Non-linear Tasks.	KI	2004	DBLP DOI BibTeX RDF
21	Patricia Johann, Janis Voigtländer	Free theorems in the presence of seq.	POPL	2004	DBLP DOI BibTeX RDF	controlling strict evaluation, short cut fusion, theorems for free, program transformations, Haskell, denotational semantics, parametricity, correctness proofs, logical relations
21	Andrew Bachmann, Tania Bedrax-Weiss, Jeremy Frank, Michael Iatauro, Conor McGann, Will Taylor	PLASMA: A Constraint Based Planning Architecture.	CP	2004	DBLP DOI BibTeX RDF
21	Christel Kemke	A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases.	AI	2003	DBLP DOI BibTeX RDF
21	Viktor Kuncak, Martin C. Rinard	Existential Heap Abstraction Entailment Is Undecidable.	SAS	2003	DBLP DOI BibTeX RDF	Program Verification, Shape Analysis, Type Checking, Monadic Second-Order Logic, Typestate, Graph Homomorphism, Post Correspondence Problem
21	Dennis Dams, Kedar S. Namjoshi	Shape Analysis through Predicate Abstraction and Model Checking.	VMCAI	2003	DBLP DOI BibTeX RDF
21	Orieta Celiku, Joakim von Wright	Theorem Prover Support for Precondition and Correctness Calculation.	ICFEM	2002	DBLP DOI BibTeX RDF
21	Ute Schmid, Marina Müller, Fritz Wysotzki	Integrating Function Application in State-Based Planning.	KI	2002	DBLP DOI BibTeX RDF
21	Ho Mun Chan, Barbara Gorayska	Critique of Pure Technology.	Cognitive Technology	2001	DBLP DOI BibTeX RDF
21	Richard Mitchell	Analysis by Contract: UML with Attitude!	TOOLS (29)	1999	DBLP DOI BibTeX RDF
21	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
20	Diego Marcilio, Carlo A. Furia	Lightweight precise automatic extraction of exception preconditions in java methods.	Empir. Softw. Eng.	2024	DBLP DOI BibTeX RDF
20	Shibbir Ahmed, Hongyang Gao, Hridesh Rajan	Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment.	CoRR	2024	DBLP DOI BibTeX RDF
20	M. Yunus Seker, Oliver Kroemer	Leveraging Simulation-Based Model Preconditions for Fast Action Parameter Optimization with Multiple Models.	CoRR	2024	DBLP DOI BibTeX RDF
20	Alex LaGrassa, Moonyoung Lee, Oliver Kroemer	Task-Oriented Active Learning of Model Preconditions for Inaccurate Dynamics Models.	CoRR	2024	DBLP DOI BibTeX RDF
20	Shibbir Ahmed, Hongyang Gao, Hridesh Rajan	Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment.	ICSE	2024	DBLP DOI BibTeX RDF
20	Kirsi Kokkonen, Lea Hannola, Tuija Rantala, Juhani Ukko, Minna Saunila, Tero Rantala	Preconditions and benefits of digital twin-based business ecosystems in manufacturing.	Int. J. Comput. Integr. Manuf.	2023	DBLP DOI BibTeX RDF
20	Gro-Hilde Severinsen, Line Silsand, Kristian Malm-Nicolaisen, Rune Pedersen	Preconditions for Implementing a Nursing App to Improve Digital Maturity.	ICIMTH	2023	DBLP DOI BibTeX RDF
20	Songtuan Lin, Gregor Behnke, Simona Ondrcková, Roman Barták, Pascal Bercher	On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm.	AAAI	2023	DBLP DOI BibTeX RDF
20	Artur Zaporozhets, Ganna Kostenko, Oleksandr Zgurovets	Preconditions and Main Features of Electric Vehicles Application for Frequency Regulation in the Power System.	ITTAP	2023	DBLP BibTeX RDF
20	Greg Anderson 0003, Swarat Chaudhuri, Isil Dillig	Guiding Safe Exploration with Weakest Preconditions.	ICLR	2023	DBLP BibTeX RDF
20	Alejandro Aguirre 0001, Shin-ya Katsumata, Satoshi Kura 0001	Weakest preconditions in fibrations.	Math. Struct. Comput. Sci.	2022	DBLP DOI BibTeX RDF
20	Alex LaGrassa, Oliver Kroemer	Learning Model Preconditions for Planning with Multiple Models.	CoRR	2022	DBLP DOI BibTeX RDF
20	Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer	Verification of Bitcoin's Smart Contracts in Agda using Weakest Preconditions for Access Control.	CoRR	2022	DBLP DOI BibTeX RDF
20	Greg Anderson 0003, Swarat Chaudhuri, Isil Dillig	Guiding Safe Exploration with Weakest Preconditions.	CoRR	2022	DBLP DOI BibTeX RDF
20	Jacky Liang, Xianyi Cheng, Oliver Kroemer	Learning Preconditions of Hybrid Force-Velocity Controllers for Contact-Rich Manipulation.	CoRR	2022	DBLP DOI BibTeX RDF
20	Young-Geun Yoon, Chung-Min Kim, Tae-Keun Oh 0001	A Study on the Applicability of the Impact-Echo Test Using Semi-Supervised Learning Based on Dynamic Preconditions.	Sensors	2022	DBLP DOI BibTeX RDF
20	Dustin A. Lewis	On 'Responsible AI' in War: Exploring Preconditions for Respecting International Law in Armed Conflict.	The Cambridge Handbook of Responsible Artificial Intelligence	2022	DBLP DOI BibTeX RDF
20	Rin Takano, Hiroyuki Oyama, Yuki Taya	Robot Skill Learning with Identification of Preconditions and Postconditions via Level Set Estimation.	IROS	2022	DBLP DOI BibTeX RDF