Fredrik Heintz's Top Recommendations

These recommendations were last updated about 2 hours ago.

	Differential Processing of Objects under Various Viewing Conditions in the Human Lateral Occipital Complex [My Copy] Neuron, Vol. 24, No. 1. (September 1999), pp. 187-203. by Kalanit Grill-Spector, Tammar Kushnir, Shimon Edelman, Galia Avidan, Yacov Itzchak, Rafael Malach posted by 3 people xhibtion LewisChuang Hoertnagl
	Paradoxes of Fair Division [My Copy] The Journal of Philosophy, Vol. 98, No. 6. (2001), pp. 300-314. by Steven J. Brams, Paul H. Edelman, Peter C. Fishburn posted by 2 people dhousman Hoertnagl
	A Tutorial on Spectral Clustering [My Copy] (1 Nov 2007) by Ulrike von Luxburg posted by 12 people theshadowhost babakap travieso ansobol euclid bigbossman kohei-h scorreia_pro Oksana teesid robotact Hoertnagl
	Neural Darwinism: Selection and reentrant signaling in higher brain function [My Copy] Neuron, Vol. 10, No. 2. (February 1993), pp. 115-125. by Gerald M. Edelman posted by 3 people balicea awooga Hoertnagl
	Visual Recognition and Categorization on the Basis of Similarities to Multiple Class Prototypes [My Copy] No. AIM-1615. (1997) by Shimon Edelman, Sharon D. Bar posted by 1 person Hoertnagl
	Bringing the Grandmother Back into the Picture: A Memory-Based View of Object Recognition [My Copy] No. AIM-1181. (1990) by Shimon Edelman, Tomaso Poggio posted by 2 people bhamcnil Hoertnagl
	Pattern Recognition and Machine Learning (Information Science and Statistics) [My Copy] (01 October 2007) by Christopher M. Bishop posted by 60 people pjmaybank Tracking Methods emailhy pingmei bklynbam gavin1332 ecome psychorav mircea longtop resilla bertelsen ocs sugarexpletive bgibson tkf mthomure emre haiyeong h-chi brian sbarthelme bayes mboehmer paulclinger thefillm stibor ppeeling yaroslavvb sdvillal nojhan gkvas paulinus ajylha helsley hawkes zeppe poluxmoon librain EvolutionaryComputation Metaheuristics Optimization contact-id MuSAMA kohei-h brianmc napvasconcelos teesid robotact Hoertnagl matjes eddymier delip markusd filippone singhsh ssomani pprett rwilliamson Dukhat
	Trends in Component-Based Robotics [My Copy] Software Engineering for Experimental Robotics (2007), pp. 135-142. by Davide Brugali, Alex Brooks, Anthony Cowley, et al.Carle Côté, Antonio Domínguez-Brito, Dominic Létourneau, Françis Michaud, Christian Schlegel posted by 3 people PROTEUS SergeStinckwich gvdh
	Middleware for Robotics: A Survey [My Copy] Robotics, Automation and Mechatronics, 2008 IEEE Conference on In Robotics, Automation and Mechatronics, 2008 IEEE Conference on (2008), pp. 736-742. by N. Mohamed, J. Al-Jaroodi, I. Jawhar posted by 2 people SergeStinckwich gvdh
	Using MARIE for Mobile Robot Component Development and Integration [My Copy] Software Engineering for Experimental Robotics (2007), pp. 211-230. by Carle Côté, Dominic Létourneau, Clément Raïevsky, Yannick Brosseau, François Michaud posted by 2 people SergeStinckwich gvdh
	An Ontology of Robotics Science [My Copy] European Robotics Symposium 2006 (2006), pp. 1-14. by John Hallam, Herman Bruyninckx posted by 3 people PROTEUS SergeStinckwich tfx
	Coordinated multi-robot exploration [My Copy] Robotics, IEEE Transactions on In Robotics, IEEE Transactions on, Vol. 21, No. 3. (2005), pp. 376-386. by W. Burgard, M. Moors, C. Stachniss, F. E. Schneider posted by 2 people SergeStinckwich jamuraa
	Coordinating with the Future: The Anticipatory Nature of Representation [My Copy] Minds and Machines by Giovanni Pezzulo posted by 2 people SergeStinckwich assad79
	SuperGlue: Component Programming with Object-Oriented Signals [My Copy] ECOOP 2006 – Object-Oriented Programming (2006), pp. 206-229. by Sean Mcdirmid, Wilson Hsieh posted by 2 people talototo SergeStinckwich
	Frappé: Functional Reactive Programming in Java [My Copy] In PADL '01: Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages (2001), pp. 29-44. by Antony Courtney posted by 1 person SergeStinckwich
	Foundations of a simple and unified component-oriented language [My Copy] Comput. Lang. Syst. Struct., Vol. 34, No. 2-3. (2008), pp. 130-149. by Luc Fabresse, Christophe Dony, Marianne Huchard posted by 2 people RalfMitschke SergeStinckwich
	Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems [My Copy] Component-Based Software Engineering (2007), pp. 242-257. by Juraj Polakovic, Sebastien Mazare, Jean-Bernard Stefani, Pierre-Charles David posted by 3 people gvdh skyhisi SergeStinckwich
	A Comparative Review of Robot Programming Languages [My Copy] by Izzet Pembeci, Gregory Hager posted by 5 people PROTEUS orkomedix gvdh serebryakov SergeStinckwich
	Monadic robotics [My Copy] In Domain-Specific Languages (1999), pp. 95-108. by John Peterson, Greg Hager posted by 3 people PROTEUS SergeStinckwich serebryakov
	A formalism for the composition of concurrent robot behaviors [My Copy] Robotics and Automation, 2000. Proceedings. ICRA '00. IEEE International Conference on In Robotics and Automation, 2000. Proceedings. ICRA '00. IEEE International Conference on, Vol. 4 (2000), pp. 3395-3402 vol.4. by E. Klavins, D. E. Koditschek posted by 3 people ngoncalves Autonomous_Vehicles SergeStinckwich
	A review of routing protocols for mobile ad hoc networks [My Copy] Ad Hoc Networks, Vol. 2, No. 1. (January 2004), pp. 1-22. by Mehran Abolhasan, Tadeusz Wysocki, Eryk Dutkiewicz posted by 6 people hgfernan SergeStinckwich kevinstuttgard sugarexpletive simon_o harretwj
	An Introduction to AI Robotics (Intelligent Robotics and Autonomous Agents) [My Copy] (13 November 2000) by Robin R. Murphy posted by 3 people mcastillo stuffcorpse SergeStinckwich
	Probabilistic Robotics (Intelligent Robotics and Autonomous Agents) [My Copy] (01 September 2005) by Sebastian Thrun, Wolfram Burgard, Dieter Fox posted by 6 people SergeStinckwich serebryakov castillo_grc tshr mcastillo paulclinger
	The limits of localization using signal strength: a comparative study [My Copy] Sensor and Ad Hoc Communications and Networks, 2004. IEEE SECON 2004. 2004 First Annual IEEE Communications Society Conference on (2004), pp. 406-414. by E. Elnahrawy, Xiaoyan Li, R. P. Martin posted by 15 people douggeiger SergeStinckwich imaveek asekerci yzeng mcastillo rlotun saha mikkelbk maxp LocationAwareComputing WSNs dcastro s-fujii tanguyperennou
	Functional reactive programming, continued [My Copy] In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 51-64. by Henrik Nilsson, Antony Courtney, John Peterson posted by 4 people draganigajic dsilva pedagand SergeStinckwich
	Smalltalk 80 : The Language (Addison-Wesley Series in Computer Science) [My Copy] (01 January 1989) by Adele Goldberg, David Robson posted by 2 people hamish SergeStinckwich
	Component-based software engineering for resource-constraint systems: what are the needs? [My Copy] Object-Oriented Real-Time Dependable Systems, 2001. Proceedings. Sixth International Workshop on (2001), pp. 91-94. by D. Hammer, M. Chaudron posted by 4 people orkomedix gvdh ikuz SergeStinckwich
	Traits: Composable Units of Behavior [My Copy] by Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, Andrew Black posted by 5 people assnoodles marcoil smostinc NU-PRL SergeStinckwich
	Metaclasses are first class: The ObjVlisp Model [My Copy] In Conference proceedings on Object-oriented programming systems, languages and applications, Vol. 22, No. 12. (December 1987), pp. 156-162. by Pierre Cointe posted by 4 people samth hamish NU-PRL SergeStinckwich
	Higher Confidence in Event Correlation Using Uncertainty Restrictions [My Copy] Distributed Computing Systems Workshops, 2008. ICDCS '08. 28th International Conference on In Distributed Computing Systems Workshops, 2008. ICDCS '08. 28th International Conference on (2008), pp. 417-422. by G. G. Koch, B. Koldehofe, K. Rothermel posted by 2 people nmsx jrcoffi
	SnoopIB: interval-based event specification and detection for active databases [My Copy] Data Knowl. Eng., Vol. 59, No. 1. (2006), pp. 139-165. by Raman Adaikkalavan, Sharma Chakravarthy posted by 3 people fierykylin nmsx jrcoffi
	The Problem of Concept Drift: Definitions and Related Work [My Copy] (2004) by Alexey Tsymbal posted by 3 people nmsx jrcoffi arsyed
	Event queries on correlated probabilistic streams [My Copy] In SIGMOD '08: Proceedings of the 2008 ACM SIGMOD international conference on Management of data (2008), pp. 715-728. by Christopher Ré, Julie Letchner, Magdalena Balazinksa, Dan Suciu posted by 3 people nmsx jrcoffi dexter_shen
	Situation recognition: Representation and algorithms [My Copy] (1993), pp. 166-172. by Christophe Dousson, Paul Gaborit, Malik Ghallab posted by 2 people nmsx jrcoffi
	A Taxonomy and Representation of Sources of Uncertainty in Active Systems [My Copy] In NGITS, Vol. 4032 (2006), pp. 174-185. by Segev Wasserkrug, Avigdor Gal, Opher Etzion edited by Opher Etzion, Tsvi Kuflik, Amihai Motro, Opher Etzion, Tsvi Kuflik, Amihai Motro posted by 1 person nmsx
	Efficient uncertainty management in complex event systems: saving the witch from Henzel & Gretel [My Copy] In DEBS, Vol. 332 (2008), pp. 305-308. by Segev Wasserkrug, Avigdor Gal, Yulia Turchin, Opher Etzion edited by Roberto Baldoni, Roberto Baldoni posted by 1 person nmsx
	A Model for Reasoning with Uncertain Rules in Event Composition Systems [My Copy] In UAI (2005), pp. 599-608. by Segev Wasserkrug, Avigdor Gal, Opher Etzion posted by 1 person nmsx
	Handling Uncertain Rules in Composite Event Systems [My Copy] In FLAIRS Conference (2005), pp. 860-861. by Segev Wasserkrug, Avigdor Gal, Opher Etzion edited by Ingrid Russell, Zdravko Markov, Ingrid Russell, Zdravko Markov posted by 1 person nmsx
	Snoop: An Expressive Event Specification Language for Active Databases [My Copy] Data Knowledge Engineering, Vol. 14, No. 1. (1994), pp. 1-26. by Sharma Chakravarthy, D. Mishra posted by 1 person nmsx
	Correlation Patterns in Service-Oriented Architectures [My Copy] In FASE, Vol. 4422 (2007), pp. 245-259. by Alistair P. Barros, Gero Decker, Marlon Dumas, Franz Weber edited by Matthew B. Dwyer, Antónia Lopes, Matthew B. Dwyer, Antónia Lopes posted by 1 person nmsx
	A Graphical Notation for Modeling Complex Events in Business Processes [My Copy] In EDOC (2007), pp. 27-36. by Gero Decker, Alexander Grosskopf, Alistair P. Barros posted by 2 people birukou nmsx
	Complex Events in Business Processes [My Copy] In BIS, Vol. 4439 (2007), pp. 29-40. by Alistair P. Barros, Gero Decker, Alexander Grosskopf edited by Witold Abramowicz, Witold Abramowicz posted by 1 person nmsx
	Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstraction [My Copy] Abstraction, Reformulation, and Approximation (2002), 316. by Jun Zhang, Adrian Silvescu, Vasant Honavar posted by 4 people nmsx education03 jrcoffi Cavadini
	Event-driven rules for sensing and responding to business situations [My Copy] In DEBS '07: Proceedings of the 2007 inaugural international conference on Distributed event-based systems (2007), pp. 198-205. by Josef Schiefer, Szabolcs Rozsnyai, Christian Rauscher, Gerd Saurer posted by 3 people nmsx bigbossman sro
	Indexing and Search of Correlated Business Events [My Copy] Availability, Reliability and Security, 2007. ARES 2007. The Second International Conference on (2007), pp. 1124-1134. by Roland Vecera, Szabolcs Rozsnyai, Heinz Roth posted by 2 people nmsx bigbossman
	Semantic approach to event processing [My Copy] In DEBS '07: Proceedings of the 2007 inaugural international conference on Distributed event-based systems (2007), pp. 139-139. by Opher Etzion posted by 3 people nmsx oscar onekin
	How to write consistently boring scientific literature [My Copy] Oikos, Vol. 116, No. 5. (May 2007), pp. 723-727. by Kaj Sand-Jensen posted by 212 people gvdh kimbatchelor welliegirl DavidG67 nellapower jimo75 sachingarg claudiushauptmann jmzhuo Horduna toszko chriswillmott mthomure Thaverkamp ibre sfalsharif lafuente Sergey_gerbek Torsten_Holmer aaltenburger tminze mmborges Dannycoutinho soniapereira Anita13 simonhearne rudalert ulrichs UWA Science Communication duel_jetty nmsx TVB timsenior livingthingdan alhoori poojamaj letillett christianholz amynmoore pvdg leonardo Med Anthro @ UF cgravlee bhengeveld ansobol jrw proportional wendygarnica jsatkosk eumelus pdpcosta AnthonySoprano wasteland93 buchgeher lmichan NIlz sxs732 artaban421 kieranhood rabit pauljhurtado SantoshKalwar aldra zchen75 nbawia Zephyrus jgebbie lanmuzi amadeusstevenson akuhn metatheory Fneesen hkimura beete CamilleH luciensamary jcreed R_C_Cordeiro thenose cyounkin robertlischke bspackman lyss Scholarly Communication sebpaquet c_hughes klauso kaiserm tomhebbron tarokiritani nGrenier girabbit jaia CulCog alexander_bauer Gaetan cjhall mdwelsh231 sniklas polivares MurphysLab ckai1 tux2000 petko_bogdanov carelcad Tomste yangjustinc thegoose michaelbanks mrt2k9 marekrud ibuch pawelsobko klexa tunheim Elley AJCann amoreno operon McCammon barry jod999 guhjy pick600 leliavski ombamawu mjoach Publicase Thermaneutist gwallau tnhh signori birte bertelsen mmuecke Mohan-S Dori2008 konstantinos charoy flips arsyed sjefarrar rohanlowe syah jjray zzh1986 brownstudy abellogin fungal sgeuter jkglenn psique anphony ajaymalik jjrohal markusd conradlee mschmer gkoenig natstreet BergmanLab cisevol silberbauer Khavkin's lab ArtemPankin druvus allysonlister dullhunk VGreiff dbk ultrascichick ahaeusler rickl brian toomash orca Borelli cmunson lfriedl sterovetta maike echinotrix awooga yEvb0 scpeters jford pratap williamdwalker sjones pseudopharm cjeans sensesublime TaqSys soumitri GeeSharpMinor tumo rebeccamancy ascharle suizan kaniko erklaerbaer boosda kdl Neuroscience STS ColDyn feminist_technoscience OrganizationResearch Enactment Academic Writing, Literacies and Discourse hejibo randomname
	Semantic event detection via multimodal data mining [My Copy] Signal Processing Magazine, IEEE, Vol. 23, No. 2. (2006), pp. 38-46. by Min Chen, Shu-Ching Chen, Mei-Ling Shyu, K. Wickramaratna posted by 3 people nmsx mamadoudiao metrozz
	Complex Event Processing in Distributed Systems [My Copy] No. CSL-TR-98-754. (1998) by David C. Luckham, Brian Frasca posted by 2 people neilc nmsx
	The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems [My Copy] (08 May 2002) by David Luckham posted by 7 people thoni78 ehjuerrens Scis0000002 pilho mfisk aless nmsx
	When and how to develop domain-specific languages [My Copy] ACM Comput. Surv., Vol. 37, No. 4. (December 2005), pp. 316-344. by Marjan Mernik, Jan Heering, Anthony M. Sloane posted by 21 people tledoux alemhnan nmsx cblock alexander220 pnpo ingo JeffreyPalmer turker oscar jipibanf locatellimp francoisl mmuecke neilc dynamix lange mldechert onekin RalfMitschke JavaJoe
	Maintaining knowledge about temporal intervals [My Copy] Commun. ACM, Vol. 26, No. 11. (November 1983), pp. 832-843. by James F. Allen posted by 13 people seninp benjaminum nmsx jinjingforever neilernst route145 rf lschilli swachsmu fdr Wurlitzer farzanehs bluestan
	An Ontology for Video Event Representation [My Copy] Computer Vision and Pattern Recognition Workshop, 2004 Conference on (2004), pp. 119-119. by R. Nevatia, J. Hobbs, B. Bolles posted by 7 people davidmihalcik ilaria nmsx rybesh zelacerda pe3 SIMS
	Quantitative verification: models techniques and tools [My Copy] In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering (2007), pp. 449-458. by Marta Kwiatkowska posted by 2 people streetlightios frdr
	Probabilistic model checking in practice: case studies with PRISM [My Copy] SIGMETRICS Perform. Eval. Rev., Vol. 32, No. 4. (2005), pp. 16-21. by Marta Kwiatkowska, Gethin Norman, David Parker posted by 4 people dwei98 zhensong streetlightios frdr
	Model checking for probability and time: from theory to practice [My Copy] In LICS '03: Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science (2003) by Marta Kwiatkowska posted by 2 people streetlightios frdr
	Separation logic: A logic for shared mutable data structures [My Copy] (2002), pp. 55-74. by John C. Reynolds posted by 2 people streetlightios fvogels
	The Birth of Model Checking [My Copy] 25 Years of Model Checking (2008), pp. 1-26. by Edmund Clarke posted by 9 people zhensong meolic mattmight maddogmiller michaelbanks streetlightios leonardo mishra_satish zbchen
	Diophantine Equations, Presburger Arithmetic and Finite Automata [My Copy] In CAAP '96: Proceedings of the 21st International Colloquium on Trees in Algebra and Programming (1996), pp. 30-43. by Alexandre Boudet, Hubert Comon posted by 2 people streetlightios zuleger
	Environment Abstraction for Parameterized Verification [My Copy] Verification, Model Checking, and Abstract Interpretation (2006), pp. 126-141. by Edmund Clarke, Muralidhar Talupur, Helmut Veith posted by 2 people streetlightios zuleger
	Proving non-termination [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 147-158. by Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu posted by 2 people streetlightios zuleger
	Program analysis as constraint solving [My Copy] SIGPLAN Not., Vol. 43, No. 6. (June 2008), pp. 281-292. by Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan posted by 2 people streetlightios zuleger
	A Markov Chain Model Checker [My Copy] In TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems (2000), pp. 347-362. by Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle posted by 3 people streetlightios suer msakai
	Lazy shape analysis [My Copy] In In CAV’2006: Computer Aided Verification, LNCS 4144, Vol. 4144 (2006), pp. 532-546. by Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz posted by 2 people streetlightios zuleger
	Systematic Construction of Abstractions for Model-Checking [My Copy] Verification, Model Checking, and Abstract Interpretation (2006), pp. 381-397. by Arie Gurfinkel, Ou Wei, Marsha Chechik posted by 2 people streetlightios zuleger
	Why Waste a Perfectly Good Abstraction? [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2006), pp. 212-226. by Arie Gurfinkel, Marsha Chechik posted by 2 people streetlightios zuleger
	Types as models: model checking message-passing programs [My Copy] SIGPLAN Not., Vol. 37, No. 1. (January 2002), pp. 45-57. by Sagar Chaki, Sriram K. Rajamani, Jakob Rehof posted by 2 people streetlightios yoriyuki
	Timed Automata: Semantics, Algorithms and Tools [My Copy] Lectures on Concurrency and Petri Nets (2004), pp. 87-124. by Johan Bengtsson, Wang Yi posted by 7 people dwei98 maddogmiller StFX Centre for Logic and Information streetlightios yoriyuki keigoi msakai
	Software Verification with BLAST [My Copy] Model Checking Software (2003), pp. 624-624. by Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre posted by 3 people streetlightios shimomura msakai
	A Partial Approach to Model Checking [My Copy] In Logic in Computer Science (1991), pp. 406-415. by Patrice Godefroid, Pierre Wolper posted by 2 people streetlightios pedagand
	Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2008), pp. 33-47. by Edmund Clarke, Murali Talupur, Helmut Veith posted by 4 people Scis0000002 streetlightios leonardo zuleger
	Software model checking in practice: an industrial case study [My Copy] In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 431-441. by Satish Chandra, Patrice Godefroid, Christopher Palm posted by 5 people streetlightios msakai keigoi bfraser zuleger
	Monte Carlo Model Checking [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2005), pp. 271-286. by Radu Grosu, Scott A. Smolka posted by 2 people streetlightios tuncay
	Bounded Model Checking Using Satisfiability Solving [My Copy] Form. Methods Syst. Des., Vol. 19, No. 1. (July 2001), pp. 7-34. by Edmund Clarke, Armin Biere, Richard Raimi, Yunshan Zhu posted by 4 people streetlightios voronov shimomura msakai
	Nondeterministic Testing with Linear Model-Checker Counterexamples [My Copy] Quality Software, 2007. QSIC '07. Seventh International Conference on In Quality Software, 2007. QSIC '07. Seventh International Conference on (2007), pp. 107-116. by Gordon Fraser, Franz Wotawa posted by 2 people streetlightios gfraser
	The software model checker Blast [My Copy] International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (1 October 2007), pp. 505-525. by Dirk Beyer, Thomas Henzinger, Ranjit Jhala, Rupak Majumdar posted by 6 people zhensong streetlightios uisiong shimomura msakai zuleger
	Property Oriented Test Case Generation [My Copy] Formal Approaches to Software Testing (2004), pp. 147-163. by Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon posted by 3 people streetlightios gfraser sidney
	A model-checking verification environment for mobile processes [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 12, No. 4. (October 2003), pp. 440-473. by Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore posted by 2 people streetlightios keigoi
	Model checking mobile processes [My Copy] Inf. Comput., Vol. 129, No. 1. (August 1996), pp. 35-51. by Mads Dam posted by 2 people keigoi shimomura
	Symmetry and Model Checking [My Copy] Formal Methods in System Design: An International Journal, Vol. 9, No. 1/2. (August 1996), pp. 105-131. by Allen F. Emerson, Prasad A. Sistla posted by 2 people streetlightios bunge
	Reachability Analysis for Timed Automata Using Partitioning Algorithms [My Copy] by Agata Pólrola, Wojciech Penczek, Maciej Szreter posted by 2 people streetlightios arturmeski
	A Discipline of Programming [My Copy] (28 October 1976) by Edsger W. Dijkstra posted by 7 people leonardo streetlightios gvdh fvogels michaelbanks mishra_satish R13
	On-the-fly conformance testing using SPIN [My Copy] International Journal on Software Tools for Technology Transfer (STTT), Vol. 2, No. 4. (1 March 2000), pp. 382-393. by René G. de Vries, Jan Tretmans posted by 2 people streetlightios gfraser
	Using Model Checking for Reducing the Cost of Test Generation [My Copy] Formal Approaches to Software Testing (2005), pp. 110-124. by Hyoung S. Hong, Hasan Ural posted by 2 people streetlightios gfraser
	A Temporal Logic Based Theory of Test Coverage and Generation [My Copy] Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings (2002), pp. 151-161. by Hyoung S. Hong, Insup Lee, Oleg Sokolsky, Hasan Ural posted by 3 people streetlightios newdawn gfraser
	Software Testing via Model Checking [My Copy] Computer and Information Sciences - ISCIS 2004 (2004), pp. 907-916. by Fevzi Belli, Bariş Güldali posted by 2 people streetlightios gfraser
	Using Model Checking to Generate Tests from Specifications [My Copy] In ICFEM '98: Proceedings of the Second IEEE International Conference on Formal Engineering Methods (1998) by Paul E. Ammann, Paul E. Black, William Majurski posted by 2 people streetlightios gfraser
	Property relevant software testing with model-checkers [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 31, No. 6. (November 2006), pp. 1-10. by Gordon Fraser, Franz Wotawa posted by 2 people streetlightios gfraser
	Test Input Generation with Java PathFinder [My Copy] by Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid posted by 4 people streetlightios gfraser Context-driven-testers Desgin-by-Contract
	Model checking and abstraction [My Copy] ACM Trans. Program. Lang. Syst., Vol. 16, No. 5. (September 1994), pp. 1512-1542. by Edmund M. Clarke, Orna Grumberg, David E. Long posted by 4 people streetlightios bfraser cbertolini citeilike
	Black Box Checking [My Copy] In Formal Methods for Protocol Engineering and Distributed Systems, FORTE/{PSTV}, 1999, pp. 225-240. by Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis edited by Jianping Wu, Samuel T. Chanson, Qiang Gao posted by 2 people streetlightios cbertolini
	Some current topics in model checking [My Copy] International Journal on Software Tools for Technology Transfer, Vol. 9, No. 1. (February 2007), pp. 25-36. by Huth, Michael posted by 4 people streetlightios leonardo cbertolini citeilike
	Automatic predicate abstraction of C programs [My Copy] SIGPLAN Not., Vol. 36, No. 5. (May 2001), pp. 203-213. by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani posted by 5 people streetlightios emerson yuichi0619 shimomura msakai
	Adaptive Model Checking [My Copy] Logic Journal of the IGPL, Vol. 14, No. 5. (October 2006), pp. 729-744. by Groce, Alex, Peled, Doron, Yannakakis, Mihalis posted by 3 people streetlightios stober cbertolini
	Symbolic Model Checking without BDDs [My Copy] In TACAS '99: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (1999), pp. 193-207. by Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu posted by 4 people zhensong streetlightios schuh hwang
	Incremental Model Checking in the Modal Mu-Calculus [My Copy] In Proceedings of the sixth International Conference on Computer-Aided Verification CAV, Vol. 818 (1994), pp. 351-363. by O. V. Sokolsky, S. A. Smolka edited by David L. Dill posted by 3 people streetlightios schuh chenhb_nj
	Principles of Program Analysis [My Copy] (07 December 2004) by Flemming Nielson, Hanne R. Nielson, Chris Hankin posted by 7 people dimvar streetlightios michaelbanks yoriyuki marcinzalewski andymaule srccheck
	Lazy abstraction [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 58-70. by Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gr&\#233;goire Sutre posted by 8 people streetlightios rhishi shimomura bec pganty groupverif msakai zuleger
	Model Checking with Strong Fairness [My Copy] Formal Methods in System Design, Vol. 28, No. 1. (January 2006), pp. 57-84. by Yonit Kesten, Amir Pnueli, Li-On Raviv, Elad Shahar posted by 2 people streetlightios cbertolini
	Counterexample-guided abstraction refinement for symbolic model checking [My Copy] Journal of the ACM, Vol. 50, No. 5. (01 September 2003), pp. 752-794. by Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith posted by 8 people rhishi robotact streetlightios srccheck zhensong pganty dabhishe groupverif