Search results for "preconditions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Satish Chandra, Stephen J. Fink, Manu Sridharan	Snugglebug: a powerful approach to weakest preconditions.	PLDI	2009	DBLP DOI BibTeX RDF	interprocedural analysis, weakest preconditions, symbolic analysis
3	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
3	Iliano Cervesato, Massimo Franceschet, Angelo Montanari	Modal Event Calculi with Preconditions. (PDF / PS)	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
2	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
2	Amel Mammar	A systematic approach to generate B preconditions: application to the database domain.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	B operations, Formal specification, Invariant, Integrity constraints, Precondition
2	Saurabh Srivastava, 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
2	Sriram Sankaranarayanan, 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
2	Dolors Costal, Cristina Gómez, Anna Queralt, Ernest Teniente	Drawing Preconditions of Operation Contracts from Conceptual Schemas.	CAiSE	2008	DBLP DOI BibTeX RDF	operation contracts, conceptual modelling, integrity constraints
2	Yannick Moy	Sufficient Preconditions for Modular Assertion Checking.	VMCAI	2008	DBLP DOI BibTeX RDF
2	Umesh Bellur, Harin Vadodaria	On Extending Semantic Matchmaking to Include Preconditions and Effects.	ICWS	2008	DBLP DOI BibTeX RDF
2	David Brumley, Hao Wang, Somesh Jha, Dawn Xiaodong Song	Creating Vulnerability Signatures Using Weakest Preconditions.	CSF	2007	DBLP DOI BibTeX RDF
2	Daniel Brand, Marcio Buss, Vugranam C. Sreedhar	Evidence-Based Analysis and Inferring Preconditions for Bug Detection.	ICSM	2007	DBLP DOI BibTeX RDF
2	Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang	Footprint Analysis: A Shape Analysis That Discovers Preconditions.	SAS	2007	DBLP DOI BibTeX RDF
2	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
2	Annegret Habel, Karl-Heinz Pennemann, Arend Rensink	Weakest Preconditions for High-Level Programs.	ICGT	2006	DBLP DOI BibTeX RDF
2	Vahur Kotkas	Preconditions for Structural Synthesis of Programs.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
2	Sang-Kyun Kim, Taekyung Lee, Kyu-Chul Lee	Toward Knowledge Preconditions for Composition of SemanticWeb Services.	DEEC	2005	DBLP DOI BibTeX RDF
2	Timothy S. Gegg-Harrison	Constructing contracts: Making discrete mathematics relevant to beginning programmers.	ACM Journal of Educational Resources in Computing	2005	DBLP DOI BibTeX RDF	programming by contract, Formal methods, program verification, weakest preconditions, programming tools, loop invariants, axiomatic semantics
2	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
2	Haifeng He, Neelam Gupta	Automated Debugging Using Path-Based Weakest Preconditions.	FASE	2004	DBLP DOI BibTeX RDF	software testing, Fault location, weakest precondition, postcondition
2	Birgit Schieder	Pointer Theory and Weakest Preconditions without Addresses and Heap.	MPC	2004	DBLP DOI BibTeX RDF
2	Francis Jeffry Pelletier, Renee Elio	Enumerating the Preconditions of Agent Message Types.	Canadian Conference on AI	2003	DBLP DOI BibTeX RDF
2	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
2	Ralph Miarka, Eerke A. Boiten, John Derrick	Guards, Preconditions, and Refinement in Z.	ZB	2000	DBLP DOI BibTeX RDF
2	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
2	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
2	Joseph J. Comuzzi, Johnson M. Hart	Program Slicing Using Weakest Preconditions.	FME	1996	DBLP DOI BibTeX RDF
2	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
2	Jean Pierre LeJacq	Function preconditions in object oriented software.	SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	C++
2	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
2	Douglas R. Smith	Derived Preconditions and Their Use in Program Synthesis.	CADE	1982	DBLP DOI BibTeX RDF
1	Eric Braude	Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison	CoRR	2012	DBLP BibTeX RDF
1	Tianrong Lin	On commutativity of quantum weakest preconditions	CoRR	2011	DBLP BibTeX RDF
1	Olga Obukhova, 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
1	Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili	Computing Preconditions and Postconditions of While Loops.	ICTAC	2011	DBLP DOI BibTeX RDF
1	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
1	Anne Gerdes	Revealing preconditions for trustful collaboration in CSCL.	I. J. Computer-Supported Collaborative Learning	2010	DBLP DOI BibTeX RDF
1	Roman Beck, Oliver Marschollek, Robert Wayne Gregory	Establishing Preconditions for Spanning the Boundaries in Public Private IT Megaprojects.	IJITPM	2010	DBLP DOI BibTeX RDF
1	Risto Silvola, Olli Jaaskelainen, Hanna Kropsu-Vehkapera, Harri Olavi Haapasalo	Managing One Master Data - Challenges and Preconditions.	Industrial Management and Data Systems	2010	DBLP BibTeX RDF
1	Yi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Oriol	Satisfying Test Preconditions through Guided Object Selection.	ICST	2010	DBLP DOI BibTeX RDF	precondition satisfaction, linear constraint solving, random testing
1	Markus Aderhold	Second-Order Programs with Preconditions.	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
1	Ming-Yee Iu, Willy Zwaenepoel	HadoopToSQL: a mapReduce query optimizer.	EuroSys	2010	DBLP DOI BibTeX RDF	sql, query optimization, mapreduce, symbolic execution
1	Harmen L. A. van der Spek, C. W. Mattias Holm, Harry A. G. Wijshoff	How to unleash array optimizations on code using recursive data structures.	ICS	2010	DBLP DOI BibTeX RDF	control flow optimization, pointer optimization, recursive data structures, restructuring compilers
1	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon	Modular verification of security protocol code by typing.	POPL	2010	DBLP DOI BibTeX RDF	f7, refinement type
1	Andrey Khurri, Sakari Luukkainen	Identification of preconditions for an emerging mobile LBS market.	J. Location Based Services	2009	DBLP DOI BibTeX RDF
1	Hankz Hankui Zhuo, Derek Hao Hu, Chad Hogg, Qiang Yang, Hector Muñoz-Avila	Learning HTN Method Preconditions and Action Models from Partial Observations.	IJCAI	2009	DBLP BibTeX RDF
1	Mingzhong Wang, Kotagiri Ramamohanarao, Jinjun Chen	Reasoning intra-dependency in commitments for robust scheduling.	AAMAS	2009	DBLP DOI BibTeX RDF	commitment machines, commitment refactoring, scheduling, robustness, agent interaction
1	Cecilia R. Aragon, Sarah S. Poon, Andrés Monroy-Hernández, Diana Aragon	A tale of two online communities: fostering collaboration and creativity in scientists and children.	Creativity & Cognition	2009	DBLP DOI BibTeX RDF	collective creativity, computer-supported cooperative work, computer-mediated communication, social creativity
1	Magnus Sahlgren, Jussi Karlgren	Terminology mining in social media.	CIKM	2009	DBLP DOI BibTeX RDF	distributional semantics, random indexing, terminology mining, word space, social media
1	Negin Nejati, Tolga Könik, Ugur Kuter	A goal- and dependency-directed algorithm for learning hierarchical task networks.	K-CAP	2009	DBLP DOI BibTeX RDF	analytical learning, learning by observation, learning htns, learning procedural planning knowledge
1	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
1	Daniel Wasserrab, Denis Lohner, Gregor Snelting	On PDG-based noninterference and its modular proof.	PLAS	2009	DBLP DOI BibTeX RDF	modularity, program slicing, noninterference, correctness proof, program dependence graph
1	Manuel Fähndrich	Language-agnostic specification and verification: invited talk.	PLPV	2009	DBLP DOI BibTeX RDF	specifications, static analysis, abstract interpretation, contracts, net
1	Chris Hawblitzel, Erez Petrank	Automated verification of practical garbage collectors.	POPL	2009	DBLP DOI BibTeX RDF	verification, garbage collection
1	Jordi Pujol Ahulló, Pedro García López, Marc Sánchez Artigas, Marcel Arrufat-Arias	An extensible simulation tool for overlay networks and services.	SAC	2009	DBLP DOI BibTeX RDF	discrete event-based simulation, overlay network simulation, frameworks, design patterns
1	Emmad Saadeh, Derrick G. Kourie	Composite refactoring using fine-grained transformations.	SAICSIT Conf.	2009	DBLP DOI BibTeX RDF	FGT-enabling precondition, fine-grain transformations, refactoring-level precondition, composite, primitive
1	Benoît Hudson, Gary L. Miller, Todd Phillips, Don Sheehy	Size complexity of volume meshes vs. surface meshes.	SODA	2009	DBLP DOI BibTeX RDF
1	Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck	Verifying epistemic protocols under common knowledge.	TARK	2009	DBLP DOI BibTeX RDF
1	Anna Hristoskova, Bruno Volckaert, Filip De Turck	Dynamic Composition of Semantically Annotated Web Services through QoS-Aware HTN Planning Algorithms.	ICIW	2009	DBLP DOI BibTeX RDF
1	Umesh Bellur, Harin Vadodaria	Web Service Ranking Using Semantic Profile Information.	ICWS	2009	DBLP DOI BibTeX RDF
1	Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha, Pankaj Dhoolia, Debdoot Mukherjee, Soham Chakraborty	Efficient Testing of Service-Oriented Applications Using Semantic Service Stubs.	ICWS	2009	DBLP DOI BibTeX RDF
1	Tianguang Zhang, Xiaodong Liu, Kolja Kühnlenz, Martin Buss	Visual odometry for the Autonomous City Explorer.	IROS	2009	DBLP DOI BibTeX RDF
1	Nikolaos Tsantalis, Alexander Chatzigeorgiou	Identification of Move Method Refactoring Opportunities.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
1	Jing Li, Dianfu Ma, Jun Han, Xiang Long	Toward Trustworthy Semantic Web Service Discovery and Selection.	ATC	2009	DBLP DOI BibTeX RDF	Services, Service Discovery, Semantic Web Service, Trustworthy
1	Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster	VS3: SMT Solvers for Program Verification.	CAV	2009	DBLP DOI BibTeX RDF
1	Friedrich Steimann, Andreas Thies	From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility.	ECOOP	2009	DBLP DOI BibTeX RDF
1	Jörg Becker, Björn Niehaves, Andreas Krause	Shared Service Center vs. Shared Service Network: A Multiple Case Study Analysis of Factors Impacting on Shared Service Configurations.	EGOV	2009	DBLP DOI BibTeX RDF	Public Sector Reform, Networks, E-Government, Qualitative Study, Shared Services
1	Ervin Ramollari, Dimitrios Kourtesis, Dimitris Dranidis, Anthony J. H. Simons	Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing.	ESWC	2009	DBLP DOI BibTeX RDF	Service Validation, Semantic Web Services, Web service testing
1	Ben George Weber, Michael Mateas	Conceptual Neighborhoods for Retrieval in Case-Based Reasoning.	ICCBR	2009	DBLP DOI BibTeX RDF
1	Edison Mera, Pedro López-García, Manuel V. Hermenegildo	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.	ICLP	2009	DBLP DOI BibTeX RDF	static/dynamic debugging, program verification, unit testing, assertions, run-time verification
1	Vladimir Mandic, Jouni Markkula, Markku Oivo	Towards Multi-Method Research Approach in Empirical Software Engineering.	PROFES	2009	DBLP DOI BibTeX RDF	Experimentation in Software Engineering, Multi-Method Research, Reporting Experiments, Empirical Methods, ESE
1	Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan	Constraint-Based Invariant Inference over Predicate Abstraction.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Hui Peng, Wenjia Niu, Ronghuai Huang	Similarity Based Semantic Web Service Match.	WISM	2009	DBLP DOI BibTeX RDF	ontology concept, similarity, semantic web service, service match
1	Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos	Monitoring and diagnosing software requirements.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Diagnostics, Requirement monitoring
1	Ingo Feinerer, Gernot Salzer	A comparison of tools for teaching formal software verification.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF	Formal software verification, Frege Program Prover, Key system, Perfect developer, Prototype verification system
1	Glenda Shaw-Garlock	Looking Forward to Sociable Robots.	I. J. Social Robotics	2009	DBLP DOI BibTeX RDF	Sociable robots, Kismet, Repliée, Human-robot interaction
1	Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang	Customising Web Information Systems According to User Preferences.	World Wide Web	2009	DBLP DOI BibTeX RDF	critical pair completion, media type, deontic constraint, preference rule, termination, term rewriting, personalisation, web information system, Church-Rosser property, Kleene algebra with tests
1	Ulrika H. Westergren, Jonny Holmström	Outsourcing as Open Innovation: Exploring Preconditions for the Open Innovation Model inthe Process Industry.	ICIS	2008	DBLP BibTeX RDF
1	Fatemeh Nargesian, Gholamreza Ghassem-Sani	LHTNDT: Learn HTN Method Preconditions using Decision Tree.	ICINCO-ICSO	2008	DBLP BibTeX RDF
1	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
1	Alejandra Cechich, Lorenzo Madrid, Jeremy Gibbons, Jay P. Kesan	Interoperability frameworks for electronic governance.	ICEGOV	2008	DBLP DOI BibTeX RDF	interoperability frameworks, electronic governance
1	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
1	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
1	Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff	Constrained types for object-oriented languages.	OOPSLA	2008	DBLP DOI BibTeX RDF	constraints, dependent types, object-oriented programming languages
1	Max Schäfer, Torbjörn Ekman, Oege de Moor	Sound and extensible renaming for java.	OOPSLA	2008	DBLP DOI BibTeX RDF	name analysis, refactoring, renaming, extensible compilers
1	Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin	A practical and precise inference and specializer for array bound checks elimination.	PEPM	2008	DBLP DOI BibTeX RDF	size properties, dependent types, safety verification
1	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
1	Shuvendu K. Lahiri, Shaz Qadeer	Back to the future: revisiting precise program verification using SMT solvers.	POPL	2008	DBLP DOI BibTeX RDF	heap-manipulating programs, software verification, decision procedures, reachability, linked lists, SMT solvers
1	Keith Irwin, Ting Yu, William H. Winsborough	Avoiding information leakage in security-policy-aware planning.	WPES	2008	DBLP DOI BibTeX RDF	scheduling, policy, obligations
1	Haiqi Huang, Ming Gu, Hongyang Chao	An Efficient Method of License Plate Location in Natural-Scene Image.	FSKD	2008	DBLP DOI BibTeX RDF
1	Manuel Götz, Matthias Ehmann, Stefan Jablonski, Michael Igler	Experiences in Online Teaching and Learning.	ICIW	2008	DBLP DOI BibTeX RDF	Web Application, Teaching, Cooperative Learning, Teleteaching, Online Learning Environment
1	Myoung Kim, Yoonsik Cheon	A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs.	ICST	2008	DBLP DOI BibTeX RDF	genetic algorithms, object-oriented programming, test data generator, fitness function, evolutionary testing, pre and postconditions, JML language
1	Naoyasu Ubayashi, Jinji Piao, Suguru Shinotsuka, Tetsuo Tamai	Contract-Based Verification for Aspect-Oriented Refactoring.	ICST	2008	DBLP DOI BibTeX RDF	Verification, AOP, Refactoring, Contract
1	Jörg Hoffmann, Ingo Weber, James Scicluna, Tomasz Kaczmarek, Anupriya Ankolekar	Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services.	ICWE	2008	DBLP DOI BibTeX RDF
1	Zhenyu Wang, Qi Feng, Rui Xu, Zengjie Dou, Xin Chen	Research on Trusted Access Technology of Grid Resource Based on the Virtual Machine.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Zhijian Wang, Dingguo Wei	A Class of Petri Nets for Modular and Hierarchical System Modeling.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Peter Bartalos, Mária Bieliková	Enhancing Semantic Web Services Composition with User Interaction.	IEEE SCC	2008	DBLP DOI BibTeX RDF	semantic web service composition, user interaction
1	Ru Fang, Zhile Zou, Corina Stratan, Liana Fong, David Marston, Linh Lam, David Frank	Dynamic Support for BPEL Process Instance Adaptation.	IEEE SCC	2008	DBLP DOI BibTeX RDF	BPEL Process, Dynamic instance adaptation, Busniess Process Management, SOA
1	Guzmán Llambías, Regina Motz, Alvaro Rettich, Marco Scalone	Multidimensional Semantic Web Services Matching.	LA-WEB	2008	DBLP DOI BibTeX RDF
1	Frederic Maris, Pierre Régnier	TLP-GP: Solving Temporally-Expressive Planning Problems.	TIME	2008	DBLP DOI BibTeX RDF