keigoi's modelchecking [11 articles] Export

Recent papers added to keigoi's library classified by the tag modelchecking. You can also see everyone's modelchecking.

	Model checking for $π$-calculus using proof search [My Copy] (2005), pp. 36-50. by Alwen Tiu posted to concurrency modelchecking picalculus by keigoi on 2008-11-17 06:17:01 as
	Domain partitioning for open reactive systems [My Copy] In ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis (2002), pp. 44-54. by Scott D. Stoller posted to modelchecking by keigoi on 2008-07-05 07:30:46 as along with 1 person y-gotoh
	Timed Automata: Semantics, Algorithms and Tools [My Copy] Lectures on Concurrency and Petri Nets (2004), pp. 87-124. by Johan Bengtsson, Wang Yi posted to modelchecking timedautomata by keigoi on 2008-06-17 03:26:04 as along with 5 people and 1 group dwei98 maddogmiller streetlightios yoriyuki msakai StFX Centre for Logic and Information
	Model Checking Timed Automata with Priorities Using DBM Subtraction [My Copy] Formal Modeling and Analysis of Timed Systems (2006), pp. 128-142. by Alexandre David, John Håkansson, Kim Larsen, Paul Pettersson posted to modelchecking timedautomata by keigoi on 2008-06-17 03:21:49 as along with 1 person msakai
	Automatic predicate abstraction of C programs [My Copy] In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation (2001), pp. 203-213. by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani posted to modelchecking by keigoi on 2008-06-16 09:33:20 as along with 3 people mattmight bfraser msakai
	Model-Checking Behavioral Specification of BPEL Applications [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the International Workshop on Web Languages and Formal Methods (WLFM 2005), Vol. 151, No. 2. (31 May 2006), pp. 89-105. by Shin Nakajima posted to modelchecking by keigoi on 2008-04-28 10:48:07 as along with 1 person msakai
	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 to modelchecking by keigoi on 2008-02-26 06:21:20 as along with 4 people streetlightios msakai bfraser zuleger
	A logical encoding of the &\#x03c0;-calculus: model checking mobile processes using tabled resolution [My Copy] Int. J. Softw. Tools Technol. Transf., Vol. 6, No. 1. (July 2004), pp. 38-66. by Ping Yang, C. R. Ramakrishnan, Scott A. Smolka posted to logicprogramming modelchecking picalculus by keigoi on 2008-02-13 17:42:23 as
	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 to modelchecking picalculus by keigoi on 2007-10-06 15:43:10 as along with 1 person streetlightios
	Interactive visualization of large state spaces [My Copy] International Journal on Software Tools for Technology Transfer (STTT), Vol. 8, No. 1. (14 February 2006), pp. 77-91. by Jan F. Groote, Frank van Ham posted to modelchecking visualization by keigoi on 2007-10-03 02:25:40 as
	Model checking mobile processes [My Copy] Inf. Comput., Vol. 129, No. 1. (August 1996), pp. 35-51. by Mads Dam posted to modallogic modelchecking picalculus by keigoi on 2007-09-28 07:55:18 as along with 1 person shimomura

Note: You may cite this page as: http://www.citeulike.org/user/keigoi/tag/modelchecking

concurrency	78
picalculus	77
haskell	41
functionalprogramming	36
causality	19
operationalsemantics	17
distributed	15
softwareengineering	13
session	12
type	12
modelchecking	11
eventstructure	10
embeddedlanguage	9
webapplication	9
gui	8
hoas	8
fundeps	6
java	6
metaprogramming	6
typeclass	6
visualization	6
web_verification	6
comprehension	5
configurationmanagement	5
context	5
network	5
programlogic	5
refactoring	5
softwaredesign	5
stringanalysis	5
abstractinterpretation	4
concurrency-monad	4
domainspecific	4
embedded	4
location	4
logicprogramming	4
maude	4
modallogic	4
monad	4
programming	4
slicing	4
aspectoriented	3
chr	3
coq	3
databasereverse	3
dataflow	3
debruijn	3
implementation	3
javascript	3
lineartype	3
modulesystem	3
operatingsystem	3
programanalysis	3
reliability	3
reverse	3
safe-c	3
tile	3
workflowmanagement	3
ambient	2
categorytheory	2
continuation	2
cyclone	2
flowtype	2
fullabstraction	2
genericprogramming	2
hdautomata	2
modeling	2
refinement	2
rewritinglogic	2
softwareprocess	2
strictnessanalysis	2
subtyping	2
timedautomata	2
typedirected	2
alias	1
binary	1
c	1
cache	1
codeduplication	1
cognitive	1
component	1
continuationserver	1
csp	1
deadlock	1
denotationalsemantics	1
dependency	1
dimensional_analysis	1
dsl	1
duce	1
erlang	1
escapeanalysis	1
expressiveness	1
faulttolerance	1
gadt	1
hardware	1
immutable	1
iospec	1
lowlevel	1
lts	1
memory	1
migration	1
multilanguage	1
object_oriented_programming	1
p2p	1
partialevaluation	1
proofcarrying	1
region	1
resourcebounds	1
resourceusage	1
reuse	1
ruby	1
scala	1
scheme	1
spreadsheet	1
stm	1
survey	1
termrewriting	1
testing	1
timedsystem	1
trs	1
typecast	1
typefunction	1

keigoi's modelchecking [11 articles] Export

keigoi's tags