fsautomata's library 72 articles Export

	Tools and rules for the practicing verifier [My Copy] (1990) by Z. Manna, Amir Pnueli posted to modelchecking ltl by fsautomata on 2009-11-05 04:15:49 as
	The role of visual tools in a web application design and verification framework : A visual notation for LTL formulae [My Copy] Lecture notes in computer science In ICWE : international conference on web engineering No5 (2005) by Marco Brambilla, Alin Deutsch, Living Sui, Victor Vianu posted to ltl by fsautomata on 2009-11-05 01:43:15 as
	Towards Formal Analysis of Artifact-Centric Business Process Models [My Copy] Business Process Management (2007), pp. 288-304. by Kamal Bhattacharya, Cagdas Gerede, Richard Hull, Rong Liu, Jianwen Su posted to artifacts by fsautomata on 2009-05-13 22:19:41 as along with 1 person toppi
	An implementation of an efficient algorithm for bisimulation equivalence [My Copy] Sci. Comput. Program., Vol. 13, No. 2-3. (1990), pp. 219-236. by J. C. Fernandez posted to fsa by fsautomata on 2009-04-02 02:45:16 as along with 1 person gladwig
	UCSD technical report [My Copy] by E. Damaggio, A. Deutsch, D. Zhou posted to no-tag by fsautomata on 2009-03-19 18:56:13 as
	UPPAAL — a tool suite for automatic verification of real-time systems [My Copy] Hybrid Systems III (1996), pp. 232-243. by Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi posted to ltl modelchecking by fsautomata on 2009-03-19 18:32:42 as
	Software Construction and Analysis Tools for Future Space Missions [My Copy] by Michael R. Lowry posted to ltl modelchecking by fsautomata on 2009-03-19 18:30:19 as
	Property specification patterns for finite-state verification [My Copy] In Proceedings of the Second Workshop on Formal Methods in Software Practice (1998), pp. 7-15. by Matthew B. Dwyer, George S. Avrunin, James C. Corbett posted to ltl modelchecking by fsautomata on 2009-03-18 03:55:20 as
	Three partition refinement algorithms [My Copy] SIAM J. Comput., Vol. 16, No. 6. (December 1987), pp. 973-989. by Robert Paige, Robert E. Tarjan posted to db discovery fsa by fsautomata on 2009-03-18 03:54:30 as along with 4 people theshadowhost gladwig msakai vannevarvision
	Fast LTL to Büchi Automata Translation [My Copy] In CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification (2001), pp. 53-65. by Paul Gastin, Denis Oddoux posted to ltl modelchecking by fsautomata on 2009-03-18 03:53:37 as
	The Model Checker SPIN [My Copy] IEEE Trans. Softw. Eng., Vol. 23, No. 5. (1997), pp. 279-295. by Gerard J. Holzmann posted to modelchecking by fsautomata on 2009-03-18 03:52:44 as
	The complexity of propositional linear temporal logics [My Copy] J. ACM, Vol. 32, No. 3. (July 1985), pp. 733-749. by A. P. Sistla, E. M. Clarke posted to logic ltl modelchecking by fsautomata on 2009-03-18 03:50:55 as along with 1 person jfischer
	Reasoning about infinite computation paths [My Copy] Foundations of Computer Science, 1983., 24th Annual Symposium on In Foundations of Computer Science, 1983., 24th Annual Symposium on (1983), pp. 185-194. by Pierre Wolper, Moshe Y. Vardi, Prasad A. Sistla posted to ltl modelchecking by fsautomata on 2009-03-18 03:50:01 as
	Bisimulation minimization in an automata-theoretic verification framework [My Copy] In In Formal Methods in Computer-Aided Design (FMCAD (1998), pp. 115-132. by Kathi Fisler, Moshe Y. Vardi posted to ltl modelchecking by fsautomata on 2009-03-18 03:14:22 as
	The temporal logic of programs [My Copy] In In Proc. Eighteenth IEEE Symp. on Foundations of Computer Science (1977), pp. 46-67. by A. Pnueli posted to modelchecking by fsautomata on 2009-03-17 03:47:04 as
	An automata-theoretic approach to automatic program veri cation [My Copy] In In Proc. of Symp. on Logic in Computer Science (1986), pp. 322-331. by M. Vardi, P. Wolper posted to modelchecking by fsautomata on 2009-03-17 03:47:04 as
	Compliance checking between business processes and business contracts [My Copy] In EDOC '06: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (2006), pp. 221-232. by Guido Governatori, Zoran Milosevic, Shazia Sadiq posted to discovery econtracts by fsautomata on 2009-03-17 02:10:42 as
	The business case for B2B e-contracting [My Copy] In ICEC '04: Proceedings of the 6th international conference on Electronic commerce (2004), pp. 31-40. by Samuil Angelov, Paul Grefen posted to no-tag by fsautomata on 2009-03-17 01:24:45 as along with 1 person toppi
	Policies in communities: extending the ODP enterprise viewpoint [My Copy] Enterprise Distributed Object Computing Workshop, 1998. EDOC '98. Proceedings. Second International In Enterprise Distributed Object Computing Workshop, 1998. EDOC '98. Proceedings. Second International (1998), pp. 14-24. by P. Linington, Z. Milosevic, K. Raymond posted to discovery econtracts by fsautomata on 2009-03-17 00:08:52 as
	On expressing and monitoring behaviour in contracts [My Copy] Enterprise Distributed Object Computing Conference, 2002. EDOC '02. Proceedings. Sixth International In Enterprise Distributed Object Computing Conference, 2002. EDOC '02. Proceedings. Sixth International (2002), pp. 3-14. by Z. Milosevic, R. G. Dromey posted to discovery econtracts by fsautomata on 2009-03-17 00:08:39 as
	Behavioral matchmaking for service retrieval [My Copy] In ICWS '06: Proceedings of the IEEE International Conference on Web Services (2006), pp. 145-152. by Daniela Grigori, Juan C. Corrales, Mokrane Bouzeghoub posted to discovery webservice by fsautomata on 2009-03-16 22:15:36 as
	Web Service Discovery Based on Behavior Signatures [My Copy] In SCC '05: Proceedings of the 2005 IEEE International Conference on Services Computing (2005), pp. 279-286. by Zhongnan Shen, Jianwen Su posted to discovery webservice by fsautomata on 2009-03-16 21:07:28 as
	Querying business processes [My Copy] In VLDB '06: Proceedings of the 32nd international conference on Very large data bases (2006), pp. 343-354. by Catriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo posted to discovery webservice by fsautomata on 2009-03-16 20:23:01 as
	Querying Structural and Behavioral Properties of Business Processes [My Copy] Database Programming Languages (2007), pp. 169-185. by Daniel Deutch, Tova Milo posted to discovery webservice by fsautomata on 2009-03-15 22:12:13 as
	Similarity search for web services [My Copy] In VLDB '04: Proceedings of the Thirtieth international conference on Very large data bases (2004), pp. 372-383. by Xin Dong, Alon Halevy, Jayant Madhavan, Ema Nemes, Jun Zhang posted to discovery webservice by fsautomata on 2009-03-15 22:11:02 as
	Patterns in Property Specifications for Finite-State Verification [My Copy] In Proceedings of the 21st International Conference on Software Engineering ICSE'99 (1999) by Matthew B. Dwyer, George S. Avrunin, James C. Corbett posted to discovery ltl patterns by fsautomata on 2009-03-15 22:07:05 as
	CCS expressions, finite state processes, and three problems of equivalence [My Copy] In PODC '83: Proceedings of the second annual ACM symposium on Principles of distributed computing (1983), pp. 228-240. by Paris C. Kanellakis, Scott A. Smolka posted to logic ltl by fsautomata on 2008-09-29 20:30:01 as along with 1 person theshadowhost
	An n log n algorithm for minimizing states in a finite automaton [My Copy] (1971) by John E. Hopcroft posted to fsa ltl by fsautomata on 2008-09-26 21:46:02 as along with 2 people AbnerCYH vannevarvision
	Timed regular expressions [My Copy] J. ACM, Vol. 49, No. 2. (2002), pp. 172-206. posted to ltl regexp by fsautomata on 2008-09-22 19:00:15 as
	Regular Model Checking for LTL(MSO) [My Copy] Computer Aided Verification (2004), pp. 348-360. by Parosh A. Abdulla, Bengt Jonsson, Marcus Nilsson, Julien D’orso, Mayank Saksena posted to ltl by fsautomata on 2008-09-19 03:25:57 as
	Validity-Sensitive Querying of XML Databases [My Copy] Current Trends in Database Technology – EDBT 2006 (2006), pp. 164-177. by Slawomir Staworko, Jan Chomicki posted to inconsistencies xml by fsautomata on 2008-05-23 20:18:43 as
	Querying and Repairing Inconsistent XML Data [My Copy] Web Information Systems Engineering – WISE 2005 (2005), pp. 175-188. by S. Flesca, F. Furfaro, S. Greco, E. Zumpano posted to inconsistencies xml by fsautomata on 2008-05-23 20:18:26 as
	Semantically Correct Query Answers in the Presence of Null Values [My Copy] Current Trends in Database Technology – EDBT 2006 (2006), pp. 336-357. by Loreto Bravo, Leopoldo Bertossi posted to incompleteness inconsistencies by fsautomata on 2008-05-23 20:17:30 as
	Consistent Query Answers on Numerical Databases Under Aggregate Constraints [My Copy] Database Programming Languages (2005), pp. 279-294. by Sergio Flesca, Filippo Furfaro, Francesco Parisi posted to inconsistencies by fsautomata on 2008-05-23 20:15:55 as
	A comprehensive semantic framework for data integration systems [My Copy] Journal of Applied Logic In Logic-based Methods for Information Integration, Vol. 3, No. 2. (June 2005), pp. 308-328. by Andrea Calì, Domenico Lembo, Riccardo Rosati posted to dataintegration inconsistencies by fsautomata on 2008-05-23 20:14:53 as
	Logic Programs for Consistently Querying Data Integration Systems [My Copy] In IJCAI (2003), pp. 10-15. by Loreto Bravo, Leopoldo Bertossi posted to dataintegration inconsistencies by fsautomata on 2008-05-23 20:13:39 as along with 1 person lbravo
	Census Data Repair: A Challenging Application of Disjunctive Logic Programming [My Copy] Lecture Notes in Computer Science, Vol. 2250 (2001), pp. 561-??. by Enrico Franconi, Antonio L. Palma, Nicola Leone, Simona Perri, Francesco Scarcello posted to inconsistencies by fsautomata on 2008-05-23 19:58:18 as
	Condensed Representation of Database Repairs for Consistent Query Answering [My Copy] In ICDT '03: Proceedings of the 9th International Conference on Database Theory (2002), pp. 378-393. by Jef Wijsen posted to inconsistencies by fsautomata on 2008-05-23 19:58:13 as
	Invited Paper: Consistent Query Answering: Opportunities and Limitations [My Copy] Database and Expert Systems Applications, 2006. DEXA '06. 17th International Conference on In Database and Expert Systems Applications, 2006. DEXA '06. 17th International Conference on (2006), pp. 527-531. by J. Chomicki posted to inconsistencies by fsautomata on 2008-05-23 19:20:55 as
	$My PDF cal\i_03_decidability.pdf$ On the decidability and complexity of query answering over inconsistent and incomplete databases [My Copy] In PODS '03: Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2003), pp. 260-271. by Andrea Cal\i, Domenico Lembo, Riccardo Rosati posted to inconsistencies by fsautomata on 2008-05-23 05:32:58 as along with 1 person anonyox
	Foundations of Databases : The Logical Level [My Copy] (22 November 1994) by Serge Abiteboul, Richard Hull, Victor Vianu posted to dbtheory by fsautomata on 2008-05-23 00:49:15 as along with 2 people stavros masteraka
	Declarative problem-solving using the DLV system [My Copy] (2000), pp. 79-103. by Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer posted to logic by fsautomata on 2008-05-23 00:26:53 as
	Logic programs with exceptions [My Copy] (1990), pp. 598-613. by Robert A. Kowalski, Fariba Sadri posted to logic theory by fsautomata on 2008-05-22 20:22:42 as
	Foundations of logic programming; (2nd extended ed.) [My Copy] (1987) by J. W. Lloyd posted to logic theory by fsautomata on 2008-05-22 20:21:12 as along with 1 person bfraser
	Querying Inconsistent Databases [My Copy] Logic for Programming and Automated Reasoning (2000), pp. 709-723. by Sergio Greco, Ester Zumpano posted to inconsistencies by fsautomata on 2008-05-22 20:19:49 as
	Answer sets for consistent query answering in inconsistent databases [My Copy] Theory Pract. Log. Program., Vol. 3, No. 4. (July 2003), pp. 393-424. by Marcelo Arenas, Leopoldo Bertossi, Jan Chomicki posted to inconsistencies by fsautomata on 2008-05-22 20:18:51 as along with 1 person baisemain
	A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases [My Copy] In Proceedings of the 17th International Conference on Logic Programming (2001), pp. 348-364. by Gianluigi Greco, Sergio Greco, Ester Zumpano posted to inconsistencies by fsautomata on 2008-05-22 20:18:45 as
	Consistent query answering under key and exclusion dependencies: algorithms and experiments [My Copy] In CIKM '05: Proceedings of the 14th ACM international conference on Information and knowledge management (2005), pp. 792-799. by Luca Grieco, Domenico Lembo, Riccardo Rosati, Marco Ruzzi posted to inconsistencies by fsautomata on 2008-05-18 03:10:21 as
	On the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases [My Copy] Current Trends in Database Technology – EDBT 2006 (2006), pp. 358-374. by Domenico Lembo, Riccardo Rosati, Marco Ruzzi posted to inconsistencies by fsautomata on 2008-05-18 03:10:12 as
	First-order query rewriting for inconsistent databases [My Copy] Journal of Computer and System Sciences In Special Issue: Database Theory 2005, Vol. 73, No. 4. (June 2007), pp. 610-635. by Ariel Fuxman, Renée J. Miller posted to inconsistencies by fsautomata on 2008-05-18 03:09:08 as

Note: You may cite this page as: http://www.citeulike.org/user/fsautomata

Result page: 1 2 Next

inconsistencies	30
ltl	14
modelchecking	11
discovery	10
logic	6
webservice	5
dataintegration	3
econtracts	3
fsa	3
theory	3
db	2
dbtheory	2
xml	2
artifacts	1
cleaning	1
incompleteness	1
patterns	1
queries	1
regexp	1

fsautomata's library 72 articles Export

fsautomata's tags