Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Anne Gerdes |
Revealing preconditions for trustful collaboration in CSCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Support. Collab. Learn. ![In: Int. J. Comput. Support. Collab. Learn. 5(3), pp. 345-353, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Roman Beck, Oliver Marschollek, Robert Wayne Gregory |
Establishing Preconditions for Spanning the Boundaries in Public Private IT Megaprojects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Technol. Proj. Manag. ![In: Int. J. Inf. Technol. Proj. Manag. 1(4), pp. 20-37, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Risto Silvola, Olli Jaaskelainen, Hanna Kropsu-Vehkapera, Harri Haapasalo |
Managing One Master Data - Challenges and Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ind. Manag. Data Syst. ![In: Ind. Manag. Data Syst. 111(1), pp. 146-162, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Flemming Andreasen, Gonzalo Camarillo, David Oran, Dan Wing |
Connectivity Preconditions for Session Description Protocol (SDP) Media Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 5898, pp. 1-17, July 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Roman Gielerak, Marek Sawerwain |
Generalised quantum weakest preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 9(4), pp. 441-449, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Markus Aderhold |
Second-Order Programs with Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification, Induction, Termination Analysis ![In: Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday, pp. 129-143, 2010, Springer, 978-3-642-17171-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Yi Wei 0001, Serge Gebhardt, Bertrand Meyer 0001, Manuel Oriol |
Satisfying Test Preconditions through Guided Object Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, pp. 303-312, 2010, IEEE Computer Society, 978-0-7695-3990-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
precondition satisfaction, linear constraint solving, random testing |
20 | Andrey Khurri, Sakari Luukkainen |
Identification of preconditions for an emerging mobile LBS market. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Locat. Based Serv. ![In: J. Locat. Based Serv. 3(3), pp. 188-209, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Hankz Hankui Zhuo, Derek Hao Hu, Chad Hogg, Qiang Yang 0001, Hector Muñoz-Avila |
Learning HTN Method Preconditions and Action Models from Partial Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009, pp. 1804-1810, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
20 | Ulrika H. Westergren, Jonny Holmström |
Outsourcing as Open Innovation: Exploring Preconditions for the Open Innovation Model inthe Process Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the International Conference on Information Systems, ICIS 2008, Paris, France, December 14-17, 2008, pp. 40, 2008, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Maria Knobelsdorf |
A typology of CS students' preconditions for learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Koli Calling ![In: Proceedings of the 8th International Conference on Computing Education Research, Koli Calling '08, Koli, Finland, November 13-16, 2008, pp. 62-71, 2008, ACM, 978-1-60558-385-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Fatemeh Nargesian, Gholamreza Ghassem-Sani |
LHTNDT: Learn HTN Method Preconditions using Decision Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICINCO-ICSO ![In: ICINCO 2008, Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics, Intelligent Control Systems and Optimization, Funchal, Madeira, Portugal, May 11-15, 2008, pp. 60-65, 2008, INSTICC Press, 978-989-8111-30-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Mingsheng Ying, Jianxin Chen, Yuan Feng 0001, Runyao Duan |
Commutativity of quantum weakest preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 104(4), pp. 152-158, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Palmira Peciuliauskiene, Marija Barkauskaite |
Would-Be Teachers' Competence in Applying ICT: Exposition and Preconditions for Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatics Educ. ![In: Informatics Educ. 6(2), pp. 397-410, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Flemming Andreasen, Dan Wing |
Security Preconditions for Session Description Protocol (SDP) Media Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 5027, pp. 1-16, October 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Gerry Stahl |
Meaning making in CSCL: conditions and preconditions for cognitive processes by groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCL ![In: Proceedings of the 7th Iternational Conference on Computer Supported Collaborative Learning, CSCL'07, New Brunswick, NJ, USA, July 16-21, 2007, pp. 652-661, 2007, International Society of the Learning Sciences / ACM DL, 978-0-6151-5436-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
20 | Ellie D'Hondt, Prakash Panangaden |
Quantum weakest preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 16(3), pp. 429-451, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Ahmed Ait-Bouziad, Irène Guessarian, Laurent Vieille |
Automatic generation of simplified weakest preconditions for integrity constraint verification ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0603053, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | Amel Mammar, Frédéric Gervais, Régine Laleau |
Systematic Identification of Preconditions from Set-Based Integrity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORSID ![In: Actes du XXIVème Congrès INFORSID, Hammamet, Tunisie, 31 mai - 4 juin, 2006, pp. 595-610, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | K. Rustan M. Leino |
Efficient weakest preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 93(6), pp. 281-288, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Gonzalo Camarillo, Paul Kyzivat |
Update to the Session Initiation Protocol (SIP) Preconditions Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 4032, pp. 1-10, March 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Okhtay Ilghami, Dana S. Nau, Héctor Muñoz-Avila, David W. Aha |
Learning Preconditions for Planning from Plan Traces and HTN Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Intell. ![In: Comput. Intell. 21(4), pp. 388-413, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Okhtay Ilghami, Héctor Muñoz-Avila, Dana S. Nau, David W. Aha |
Learning approximate preconditions for methods in hierarchical plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Twenty-Second International Conference (ICML 2005), Bonn, Germany, August 7-11, 2005, pp. 337-344, 2005, ACM, 1-59593-180-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay |
Verifying Mutual Exclusion and Liveness Properties with Split Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 19(6), pp. 795-802, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Martyn A. Ould |
Preconditions for putting processes back in the hands of their actors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 45(15), pp. 1071-1074, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Alfredo Gabaldon |
Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003, pp. 1061-1066, 2003, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
20 | Okhtay Ilghami, Dana S. Nau, Héctor Muñoz-Avila, David W. Aha |
CaMeL: Learning Method Preconditions for HTN Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPS ![In: Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, April 23-27, 2002, Toulouse, France, pp. 131-142, 2002, AAAI, 1-57735-142-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
20 | H. Abimbola Soriyan, Adebayo D. Akinde, Mikko Korpela, Felix Ale |
Preconditions for Information System Development for African Healthcare Institutions: The MINPHIS Experience and a Software Industry Survey in Nigeria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MedInfo ![In: MEDINFO 2001 - Proceedings of the 10th World Congress on Medical Informatics, September 2-5, 2001, London, UK, pp. 74, 2001, IOS Press, 978-1-58603-194-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Craig Boutilier |
Approximately Optimal Monitoring of Plan Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: UAI '00: Proceedings of the 16th Conference in Uncertainty in Artificial Intelligence, Stanford University, Stanford, California, USA, June 30 - July 3, 2000, pp. 54-62, 2000, Morgan Kaufmann, 1-55860-709-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Bernhard Nebel |
What Is the Expressive Power of Disjunctive Preconditions? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECP ![In: Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings, pp. 294-307, 1999, Springer, 3-540-67866-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Rudolf Berghammer |
Soundness of a purely syntactical formalizationof weakest preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Domains ![In: Workshop on Domains IV 1998, Haus Humboldtstein, Remagen-Rolandseck, Germany, October 2-4, 1998, pp. 34-51, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Dino Pedreschi, Salvatore Ruggieri |
Weakest Preconditions for Pure Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 67(3), pp. 145-150, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Robert L. Baber |
On the inadequacy of ordinary preconditions for the practical design and verification of programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: Ninth International Symposium on Software Reliability Engineering, ISSRE 1998, Paderborn, Germany, November 4-7, 1998, pp. 43-48, 1998, IEEE Computer Society, 0-8186-8991-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Annette ten Teije, Frank van Harmelen |
Characterising Approximate Problem-Solving: From Partially Fulfilled Preconditions to Partially Achieved Functionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 13th European Conference on Artificial Intelligence, Brighton, UK, August 23-28 1998, Proceedings. , pp. 78-82, 1998, John Wiley and Sons, 9780471984313. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
20 | James W. Cortada |
Economic Preconditions That Made Possible Application of Commercial Computing in the United States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Ann. Hist. Comput. ![In: IEEE Ann. Hist. Comput. 19(3), pp. 27-40, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Kai Reimers |
Markets for Electronic Markets? The Non-market Preconditions of Electronic Markets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Mark. ![In: Electron. Mark. 5(1), pp. 12-13, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Karen E. Lochbaum |
The Use of Knowledge Preconditions in Language Processing ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cmp-lg/9508011, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
20 | Karen E. Lochbaum |
The Use of Knowledge Preconditions in Language Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes, pp. 1260-1266, 1995, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
20 | Scarlet Schwiderski, Thorsten Hartmann, Gunter Saake |
Monitoring Temporal Preconditions in a Behaviour Oriented Object Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 14(2), pp. 143-186, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Ernest Davis |
Knowledge Preconditions for Plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 4(5), pp. 721-766, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Johan J. Lukkien |
Operational Semantics and Generalized Weakest Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 22(1-2), pp. 137-155, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Steven J. Clarke, John Alexander McDermid |
Software fault trees and weakest preconditions: a comparison and analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Eng. J. ![In: Softw. Eng. J. 8(4), pp. 225-236, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Michael Lawley, Rodney W. Topor, Mark Wallace 0001 |
Using Weakest Preconditions to Simplify Integrity Constraint Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Database Conference ![In: Advances in Database Research - Proceedings of the 4th Australian Database Conference, ADC '93, Griffith University, Brisbane, Queensland, Australia, February 1-2, 1993, pp. 161-170, 1993, World Scientific, 981-02-1331-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
20 | Johan J. Lukkien, Jan L. A. van de Snepscheut |
Weakest Preconditions for Progress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 4(2), pp. 195-236, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
20 | Robin W. Whitty |
An Exercise in Weakest Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 1(1), pp. 39-43, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Marta Franová, Yves Kodratoff |
Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nonmonotonic and Inductive Logic ![In: Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings, pp. 184-208, 1991, Springer, 3-540-56433-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | David Garlan |
Preconditions for understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991, pp. 242-245, 1991, IEEE Computer Society, 978-0-8186-2320-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
20 | Robin W. Whitty |
An Exercise in Weakest Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 42, pp. 195-198, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
20 | Michael Morreau |
Actions with Preconditions and Postconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nonclassical Logics and Information Processing ![In: Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings, pp. 46-55, 1990, Springer, 3-540-55745-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Joseph M. Morris |
Varieties of Weakest Liberal Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 25(3), pp. 207-210, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
20 | Leora Morgenstern |
Knowledge Preconditions for Actions and Plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, Italy, August 23-28, 1987, pp. 867-874, 1987, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
20 | Neil W. Rickert |
Preconditions for widespread reuse of code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 11(2), pp. 21, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
20 | Eric G. Wagner |
A Categorical View of Weakest Liberal Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 198-205, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
20 | Ernest G. Manes |
Weakest Preconditions: Categorical Insights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, pp. 182-197, 1985, Springer, 3-540-17162-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
20 | Kurt Sieber |
Weakest expressible preconditions: a new tool for proving completeness results about Hoare calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Computer Science ![In: Theoretical Computer Science, 6th GI-Conference, Dortmund, Germany, January 5-7, 1983, Proceedings, pp. 325-334, 1983, Springer, 3-540-11973-6. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
20 | Pedro Guerreiro |
Another characterization of weakest preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Programming ![In: International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings, pp. 164-177, 1982, Springer, 3-540-11494-7. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
20 | Mitchell Wand |
A Characterization of Weakest Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 15(2), pp. 209-212, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
11 | Robert Law |
Using student blogs for documentation in software development projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011, pp. 366, 2011, ACM, 978-1-4503-0697-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001 |
Modular verification of security protocol code by typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 445-456, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
f7, refinement type |
11 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 24th International Conference on Supercomputing, 2010, Tsukuba, Ibaraki, Japan, June 2-4, 2010, pp. 275-284, 2010, ACM, 978-1-4503-0018-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
control flow optimization, pointer optimization, recursive data structures, restructuring compilers |
11 | Ming-Yee Iu, Willy Zwaenepoel |
HadoopToSQL: a mapReduce query optimizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: European Conference on Computer Systems, Proceedings of the 5th European conference on Computer systems, EuroSys 2010, Paris, France, April 13-16, 2010, pp. 251-264, 2010, ACM, 978-1-60558-577-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
sql, query optimization, mapreduce, symbolic execution |
11 | Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang 0002 |
Customising Web Information Systems According to User Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Wide Web ![In: World Wide Web 12(1), pp. 27-50, 2009. The full citation details ...](Pics/full.jpeg) |
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 |
11 | Yiqiao Wang 0001, Sheila A. McIlraith, Yijun Yu, John Mylopoulos |
Monitoring and diagnosing software requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 16(1), pp. 3-35, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Diagnostics, Requirement monitoring |
11 | Glenda Shaw-Garlock |
Looking Forward to Sociable Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Soc. Robotics ![In: Int. J. Soc. Robotics 1(3), pp. 249-260, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Sociable robots, Kismet, Repliée, Human-robot interaction |
11 | Nikolaos Tsantalis, Alexander Chatzigeorgiou |
Identification of Move Method Refactoring Opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 35(3), pp. 347-367, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Ingo Feinerer, Gernot Salzer |
A comparison of tools for teaching formal software verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 21(3), pp. 293-301, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Formal software verification, Frege Program Prover, Key system, Perfect developer, Prototype verification system |
11 | Hui Peng, Wenjia Niu, Ronghuai Huang |
Similarity Based Semantic Web Service Match. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISM ![In: Web Information Systems and Mining, International Conference, WISM 2009, Shanghai, China, November 7-8, 2009. Proceedings, pp. 252-260, 2009, Springer, 978-3-642-05249-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ontology concept, similarity, semantic web service, service match |
11 | Magnus Sahlgren, Jussi Karlgren |
Terminology mining in social media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 18th ACM Conference on Information and Knowledge Management, CIKM 2009, Hong Kong, China, November 2-6, 2009, pp. 405-414, 2009, ACM, 978-1-60558-512-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
distributional semantics, random indexing, terminology mining, word space, social media |
11 | Benoît Hudson, Gary L. Miller, Todd Phillips, Don Sheehy |
Size complexity of volume meshes vs. surface meshes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2009, New York, NY, USA, January 4-6, 2009, pp. 1041-1047, 2009, SIAM, 978-0-89871-680-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Tianguang Zhang, Xiaodong Liu, Kolja Kühnlenz, Martin Buss |
Visual odometry for the Autonomous City Explorer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 3513-3518, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Ben George Weber, Michael Mateas |
Conceptual Neighborhoods for Retrieval in Case-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, 8th International Conference on Case-Based Reasoning, ICCBR 2009, Seattle, WA, USA, July 20-23, 2009, Proceedings, pp. 343-357, 2009, Springer, 978-3-642-02997-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Jordi Pujol Ahulló, Pedro García López, Marc Sánchez Artigas, Marcel Arrufat-Arias |
An extensible simulation tool for overlay networks and services. ![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. 2072-2076, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
discrete event-based simulation, overlay network simulation, frameworks, design patterns |
11 | Jörg Becker 0001, Björn Niehaves, Andreas Krause 0003 |
Shared Service Center vs. Shared Service Network: A Multiple Case Study Analysis of Factors Impacting on Shared Service Configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV ![In: Electronic Government, 8th International Conference, EGOV 2009, Linz, Austria, August 31 - September 3, 2009. Proceedings, pp. 115-126, 2009, Springer, 978-3-642-03515-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Public Sector Reform, Networks, E-Government, Qualitative Study, Shared Services |
11 | Chris Hawblitzel, Erez Petrank |
Automated verification of practical garbage collectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 441-453, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
verification, garbage collection |
11 | Manuel Fähndrich |
Language-agnostic specification and verification: invited talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009, pp. 1-2, 2009, ACM, 978-1-60558-330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
specifications, static analysis, abstract interpretation, contracts, net |
11 | Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha, Pankaj Dhoolia, Debdoot Mukherjee, Soham Chakraborty 0001 |
Efficient Testing of Service-Oriented Applications Using Semantic Service Stubs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009, pp. 197-204, 2009, IEEE Computer Society, 978-0-7695-3709-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Umesh Bellur, Harin Vadodaria |
Web Service Ranking Using Semantic Profile Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009, pp. 872-879, 2009, IEEE Computer Society, 978-0-7695-3709-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo |
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 281-295, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
static/dynamic debugging, program verification, unit testing, assertions, run-time verification |
11 | Ervin Ramollari, Dimitrios Kourtesis, Dimitris Dranidis, Anthony J. H. Simons |
Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings, pp. 593-607, 2009, Springer, 978-3-642-02120-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Service Validation, Semantic Web Services, Web service testing |
11 | 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 |
11 | Yanjing Wang 0001, Lakshmanan Kuppusamy, Jan van Eijck |
Verifying epistemic protocols under common knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 257-266, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Friedrich Steimann, Andreas Thies |
From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings, pp. 419-443, 2009, Springer, 978-3-642-03012-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Daniel Wasserrab, Denis Lohner, Gregor Snelting |
On PDG-based noninterference and its modular proof. ![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. 31-44, 2009, ACM, 978-1-60558-645-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
modularity, program slicing, noninterference, correctness proof, program dependence graph |
11 | Jing Li 0075, Dianfu Ma, Jun Han, Xiang Long |
Toward Trustworthy Semantic Web Service Discovery and Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATC ![In: Autonomic and Trusted Computing, 6th International Conference, ATC 2009, Brisbane, Australia, July 7-9, 2009, Proceedings, pp. 209-220, 2009, Springer, 978-3-642-02703-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Services, Service Discovery, Semantic Web Service, Trustworthy |
11 | Vladimir Mandic, Jouni Markkula, Markku Oivo |
Towards Multi-Method Research Approach in Empirical Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product-Focused Software Process Improvement, 10th International Conference, PROFES 2009, Oulu, Finland, June 15-17, 2009. Proceedings, pp. 96-110, 2009, Springer, 978-3-642-02151-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Experimentation in Software Engineering, Multi-Method Research, Reporting Experiments, Empirical Methods, ESE |
11 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Creativity & Cognition ![In: Proceedings of the 7th Conference on Creativity & Cognition, Berkeley, California, USA, October 26-30, 2009, pp. 9-18, 2009, ACM, 978-1-60558-865-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
collective creativity, computer-supported cooperative work, computer-mediated communication, social creativity |
11 | Negin Nejati, Tolga Könik, Ugur Kuter |
A goal- and dependency-directed algorithm for learning hierarchical task networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K-CAP ![In: Proceedings of the 5th International Conference on Knowledge Capture (K-CAP 2009), September 1-4, 2009, Redondo Beach, California, USA, pp. 113-120, 2009, ACM, 978-1-60558-658-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
analytical learning, learning by observation, learning htns, learning procedural planning knowledge |
11 | Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan |
Constraint-Based Invariant Inference over Predicate Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 120-135, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Anna Hristoskova, Bruno Volckaert, Filip De Turck |
Dynamic Composition of Semantically Annotated Web Services through QoS-Aware HTN Planning Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Fourth International Conference on Internet and Web Applications and Services, ICIW 2009, 24-28 May 2009, Venice/Mestre, Italy, pp. 377-382, 2009, IEEE Computer Society, 978-0-7695-3613-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Mingzhong Wang, Kotagiri Ramamohanarao, Jinjun Chen |
Reasoning intra-dependency in commitments for robust scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 953-960, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
commitment machines, commitment refactoring, scheduling, robustness, agent interaction |
11 | Deok-Gyu Lee, Jong Hyuk Park, Tai-Hoon Kim, Laurence Tianruo Yang |
U-multimedia framework: a secure and intelligent multimedia service framework based on context information in U-home. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 45(1), pp. 88-104, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
U-home, Ubiquitous multimedia service, WSN agent, DRM, Context information |
11 | Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke |
Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(2), pp. 366-379, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv |
Proving Conditional Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 328-340, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin |
A practical and precise inference and specializer for array bound checks elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008, pp. 177-187, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
size properties, dependent types, safety verification |
11 | Michael Wolverton, David L. Martin 0001, Ian W. Harrison, Jérôme Thoméré |
A Process Catalog for Workflow Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings, pp. 833-846, 2008, Springer, 978-3-540-88563-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff |
Constrained types for object-oriented languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA, pp. 457-474, 2008, ACM, 978-1-60558-215-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
constraints, dependent types, object-oriented programming languages |
11 | Arsenii Rudich, Ádám Darvas, Peter Müller 0001 |
Checking Well-Formedness of Pure-Method Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, pp. 68-83, 2008, Springer, 978-3-540-68235-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Shuvendu K. Lahiri, Shaz Qadeer |
Back to the future: revisiting precise program verification using SMT solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 171-182, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
heap-manipulating programs, software verification, decision procedures, reachability, linked lists, SMT solvers |
11 | Keith Irwin, Ting Yu 0001, William H. Winsborough |
Avoiding information leakage in security-policy-aware planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPES ![In: Proceedings of the 2008 ACM Workshop on Privacy in the Electronic Society, WPES 2008, Alexandria, VA, USA, October 27, 2008, pp. 85-94, 2008, ACM, 978-1-60558-289-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
scheduling, policy, obligations |