yuichi0619's library 28 articles Export

	An Overview and Synthesis on Timed Process Algebras [My Copy] In CAV '91: Proceedings of the 3rd International Workshop on Computer Aided Verification (1992), pp. 376-398. by Xavier Nicollin, Joseph Sifakis posted to no-tag by yuichi0619 on 2009-02-03 08:18:32 as along with 2 people and 2 groups fierykylin roland_ewald dIEMoSIRIS MoSi-Rostock
	Logical Specification of Reactive and Real-time Systems [My Copy] J Logic Computation, Vol. 8, No. 5. (1 October 1998), pp. 679-711. by Kevin Lano posted to no-tag by yuichi0619 on 2009-02-01 16:47:27 as
	Role of VDM(++) in the development of a real-time tracking and tracing system [My Copy] FME '93: Industrial-Strength Formal Methods (1993), pp. 64-72. by E. Dürr, E. Dusink posted to no-tag by yuichi0619 on 2009-01-18 10:14:26 as
	Refinement of state-based concurrent systems [My Copy] Lecture Notes in Computer Science : VDM '90 VDM and Z â Formal Methods in Software Development (1990), pp. 340-351. by J. C. P. Woodcock, Carroll Morgan posted to no-tag by yuichi0619 on 2009-01-18 07:11:16 as along with 1 person leonardo
	, and [My Copy] by Paul Mukherjee, Fabien Bousquet, Stephen Paynter, Peter G. Larsen posted to no-tag by yuichi0619 on 2008-11-27 02:48:01 as
	Validation Support for Distributed Real-Time Embedded Systems in VDM++ [My Copy] In HASE '07: Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium (2007), pp. 331-340. by John S. Fitzgerald, Simon Tjell, Peter G. Larsen, Marcel Verhoef posted to no-tag by yuichi0619 on 2008-11-27 02:18:34 as
	Modeling and validating distributed embedded real-time systems with VDM++ [My Copy] posted to no-tag by yuichi0619 on 2008-11-27 02:16:40 as
	Strategic term rewriting and its application to a VDM-SL to SQL conversion [My Copy] In In Proceedings of the Formal Methods Symposium (FM’05 (2005), pp. 399-414. by T. L. Alves, P. F. Silva, J. Visser, J. N. Oliveira posted to no-tag by yuichi0619 on 2008-11-26 02:02:16 as
	Formal specication of an auctioning system using VDM++ and UML [My Copy] In VDM in Practice (1999) by Manuel Van Den Berg, Marcel Verhoef, Mark Wigmans posted to no-tag by yuichi0619 on 2008-11-26 01:46:36 as
	1 [My Copy] by Yves Ledru, Marie-Laure Potet posted to no-tag by yuichi0619 on 2008-11-26 01:41:36 as
	A Proof Obligation Generator for VDM-SL [My Copy] In FME '97: Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods (1997), pp. 338-357. by Bernhard K. Aichernig, Peter G. Larsen posted to no-tag by yuichi0619 on 2008-11-05 02:28:57 as
	Combining VDM-SL specifications with C++ code [My Copy] FME'96: Industrial Benefit and Advances in Formal Methods (1996), pp. 179-194. by Brigitte Fröhlich, Peter Larsen posted to no-tag by yuichi0619 on 2008-11-05 01:50:34 as
	ArchJava: connecting software architecture to implementation [My Copy] In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 187-197. by Jonathan Aldrich, Craig Chambers, David Notkin posted to no-tag by yuichi0619 on 2008-06-27 08:39:48 as along with 6 people tproenca argo RalfMitschke buchgeher fabricioaf mzp
	Model checking [My Copy] Foundations of Software Technology and Theoretical Computer Science (1997), pp. 54-56. by Edmund Clarke posted to no-tag by yuichi0619 on 2008-06-24 20:43:54 as along with 1 person sryll
	Graphical animation of behavior models [My Copy] In ICSE '00: Proceedings of the 22nd international conference on Software engineering (2000), pp. 499-508. by Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer posted to no-tag by yuichi0619 on 2008-06-09 03:17:24 as
	Automata-theoretic verification of real-time systems [My Copy] (1996) by R. Alur, D. Dill posted to no-tag by yuichi0619 on 2008-05-17 07:45:56 as
	Formal Specification and Verification of Java Refactorings [My Copy] In SCAM '06: Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (2006), pp. 165-174. by Alejandra Garrido, Jose Meseguer posted to no-tag by yuichi0619 on 2008-05-10 08:35:55 as along with 1 person oryp6518
	Mechanical verification of refactorings [My Copy] In PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2008), pp. 51-60. by Nik Sultana, Simon Thompson posted to no-tag by yuichi0619 on 2008-04-23 08:37:19 as along with 1 person leonardo
	Tool support for refactoring functional programs [My Copy] In PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2008), pp. 199-203. by Huiqing Li, Simon Thompson posted to no-tag by yuichi0619 on 2008-04-23 08:35:46 as
	Abstractions from proofs [My Copy] SIGPLAN Not., Vol. 39, No. 1. (January 2004), pp. 232-244. by Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. Mcmillan posted to no-tag by yuichi0619 on 2008-04-15 11:59:36 as along with 1 person zuleger
	Program Analysis Using Symbolic Ranges [My Copy] Static Analysis (2007), pp. 366-383. by Sriram Sankaranarayanan, Franjo Ivančić, Aarti Gupta posted to no-tag by yuichi0619 on 2008-04-15 11:56:07 as along with 1 person cjones
	Context-sensitive slicing of concurrent programs [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 28, No. 5. (September 2003), pp. 178-187. by Jens Krinke posted to no-tag by yuichi0619 on 2008-04-15 11:49:15 as
	Predicate Abstraction of ANSI-C Programs Using SAT [My Copy] Formal Methods in System Design, Vol. 25, No. 2. (2004), pp. 105-127. by Edmund Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav posted to no-tag by yuichi0619 on 2008-04-15 11:41:14 as
	Behavioral consistency of C and verilog programs using bounded model checking [My Copy] In DAC '03: Proceedings of the 40th conference on Design automation (2003), pp. 368-371. by Edmund Clarke, Daniel Kroening, Karen Yorav posted to no-tag by yuichi0619 on 2008-04-15 11:36:46 as
	F-Soft: Software Verification Platform [My Copy] Computer Aided Verification (2005), pp. 301-306. by F. Ivančić, Z. Yang, M. K. Ganai, A. Gupta, I. Shlyakhter, P. Ashar posted to no-tag by yuichi0619 on 2008-04-15 11:08:02 as
	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 to no-tag by yuichi0619 on 2008-04-15 03:53:03 as along with 4 people streetlightios emerson shimomura msakai
	Efficient SAT-based bounded model checking for software verification [My Copy] Theoretical Computer Science, Vol. In Press, Accepted Manuscript by Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar posted to no-tag by yuichi0619 on 2008-04-14 15:17:06 as along with 1 person rhishi
	Model Checking Programs [My Copy] Automated Software Engineering, Vol. 10, No. 2. (1 April 2003), pp. 203-232. by Willem Visser, Klaus Havelund, Guillaume Brat, Seungjoon Park, Flavio Lerda posted to no-tag by yuichi0619 on 2008-04-13 10:27:23 as along with 5 people and 2 groups zhensong alexloh80 leonardo sjgaller citeilike Context-driven-testers Desgin-by-Contract

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

yuichi0619's library 28 articles Export

yuichi0619's tags