alexloh80's model-check [22 articles] Export Sort

Recent papers added to alexloh80's library classified by the tag model-check. You can also see everyone's model-check.

Hide details

	Incremental state-space exploration for programs with dynamically allocated data [My Copy] In ICSE '08: Proceedings of the 30th international conference on Software engineering (2008), pp. 291-300. by Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan posted to sw-engr model-check by alexloh80 on 2009-10-23 14:35:51 as
	Interfaces for Modular Feature Verification [My Copy] Automated Software Engineering, International Conference on In Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on, Vol. 0 (2002), pp. 195-204. by Harry C. Li, Shriram Krishnamurthi, Kathi Fisler posted to swd model-check formal-method by alexloh80 on 2009-08-27 16:43:43 as along with 1 person Jens_Lyn
	Verifying cross-cutting features as open systems [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 27, No. 6. (2002), pp. 89-98. by Harry Li, Shriram Krishnamurthi, Kathi Fisler posted to swd model-check formal-method by alexloh80 on 2009-08-27 16:43:07 as
	SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems [My Copy] In ICSE '07: Proceedings of the 29th international conference on Software Engineering (2007), pp. 784-787. by Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli posted to pcom2 paper-demos model-check component by alexloh80 on 2009-08-25 19:48:39 as
	Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems [My Copy] Fundamental Approaches to Software Engineering (2004), pp. 160-164. by Adam Childs, Jesse Greenwald, Venkatesh P. Ranganath, et al.Xianghua Deng, Matthew Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh posted to pcom2 model-check component by alexloh80 on 2009-08-25 15:53:41 as
	Formal Verification of Programs That Use MPI One-Sided Communication [My Copy] Recent Advances in Parallel Virtual Machine and Message Passing Interface (2006), pp. 30-39. by Salman Pervez, Ganesh Gopalakrishnan, Robert Kirby, Rajeev Thakur, William Gropp posted to model-check mpi pcom2 by alexloh80 on 2009-07-15 00:32:46 as
	Verification of MPI-Based Software for Scientific Computation [My Copy] Model Checking Software (2004), pp. 286-303. by Stephen F. Siegel, George S. Avrunin posted to model-check mpi pcom2 by alexloh80 on 2009-07-15 00:30:41 as
	Model Checking Nonblocking MPI Programs [My Copy] Verification, Model Checking, and Abstract Interpretation (2007), pp. 44-58. by Stephen Siegel posted to model-check mpi pcom2 by alexloh80 on 2009-07-15 00:29:22 as
	Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker [My Copy] Software Engineering Workshop (SEW) 2006 In Software Engineering Workshop (SEW) 2006 (2006), pp. 133-141. by Pavel Parizek, Frantisek Plasil, Jan Kofron posted to model-check pcom2 by alexloh80 on 2009-07-15 00:13:33 as
	Checking software component behavior using behavior protocols and spin [My Copy] In SAC '07: Proceedings of the 2007 ACM symposium on Applied computing (2007), pp. 1513-1517. by Jan Kofron posted to model-check pcom2 spin by alexloh80 on 2009-07-15 00:08:02 as
	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 formal-method model-check pcom2 by alexloh80 on 2009-06-24 22:35:53 as along with 5 people and 2 groups zhensong leonardo sjgaller citeilike yuichi0619 Context-driven-testers Desgin-by-Contract
	Dynamic Software Testing of MPI Applications with Umpire [My Copy] Supercomputing, ACM/IEEE 2000 Conference In Supercomputing, ACM/IEEE 2000 Conference (2000), pp. 51-51. by J. S. Vetter, B. R. de Supinski posted to formal-method model-check pcom2 by alexloh80 on 2009-06-24 22:31:59 as
	Using model checking with symbolic execution to verify parallel numerical programs [My Copy] In ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis (2006), pp. 157-168. by Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke posted to model-check pcom2 by alexloh80 on 2009-06-24 22:31:07 as
	The Semantics and Implementation of Machine-Readable CSP [My Copy] (1998) by Bryan Scattergood posted to csp model-check pcom2 by alexloh80 on 2009-06-24 22:28:39 as
	Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock [My Copy] In TACAS '95: Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems (1995), pp. 133-152. by A. W. Roscoe, Paul H. B. Gardiner, M. H. Goldsmith, J. R. Hulance, D. M. Jackson, J. B. Scattergood posted to pcom2 nopdf model-check formal-method csp by alexloh80 on 2009-06-24 22:13:01 as
	Model checking the secure electronic transaction (SET) protocol [My Copy] Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 1999. Proceedings. 7th International Symposium on In Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 1999. Proceedings. 7th International Symposium on (1999), pp. 358-364. by S. Lu, S. A. Smolka posted to csp model-check nw-security pcom2 by alexloh80 on 2009-06-24 21:55:25 as
	Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (1996), pp. 147-166. by Gavin Lowe posted to csp formal-method model-check nw-security pcom2 by alexloh80 on 2009-06-24 21:54:22 as along with 1 person uisiong
	How to Make FDR Spin LTL Model Checking of CSP by Refinement [My Copy] In FME '01: Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity (2001), pp. 99-118. by Michael Leuschel, Thierry Massart, Andrew Currie posted to csp formal-method model-check pcom2 by alexloh80 on 2009-06-24 21:52:49 as
	The model checker SPIN [My Copy] IEEE Transactions on Software Engineering, Vol. 23 (1997), pp. 279-295. by Gerard J. Holzmann posted to model-check pcom2 by alexloh80 on 2009-06-24 21:51:04 as
	Bandera: Extracting Finite-state Models from Java Source Code [My Copy] In In Proceedings of the 22nd International Conference on Software Engineering (2000), pp. 439-448. by James C. Corbett, Matthew B. Dwyer, John Hatcliff, et al.Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng posted to pcom2 formal-method model-check model-extract by alexloh80 on 2009-04-23 14:50:39 as
	Model checking JAVA programs using JAVA PathFinder [My Copy] International Journal on Software Tools for Technology Transfer (STTT), Vol. V2, No. 4. (1 March 2000), pp. 366-381. by Klaus Havelund, Thomas Pressburger posted to model-check formal-method by alexloh80 on 2009-04-23 14:45:36 as along with 1 person emerson
	The model checker SPIN [My Copy] Software Engineering, IEEE Transactions on, Vol. 23, No. 5. (1997), pp. 279-295. by G. J. Holzmann posted to spin model-check formal-method by alexloh80 on 2009-04-23 14:45:17 as along with 2 people and 1 group plaugg lemaymd seclab

Note: You may cite this page as: http://www.citeulike.org/user/alexloh80/tag/model-check

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

sccm	147
pcom2	59
coordination	46
sw-engr	45
formal-method	28
bevdiff	24
model-check	22
testing	20
code-query	20
code-diff	19
nw-security	14
code-merge	12
dynamic-analysis	12
csp	10
code-change	10
static-analysis	8
swd	8
parallel	5
query-lang	5
src-control	5
nopdf	5
mpi	5
paper-demos	4
prog-compre	4
info-needs	4
debugging	3
component	3
sw-arch	3
p-net	3
slicing	3
ddos	2
global-se	2
stm	2
dev-context	2
math	2
visualization	2
sw-evo	2
model-extract	2
bounded-buffer	2
spin	2
code-clone	2
hci	1
code-view	1
sw-mining	1

alexloh80's model-check [22 articles] Export Sort

alexloh80's tags