Group: StFX Centre for Logic and Information - with tag verification [28 articles] Export

Recent papers posted by members of the StFX Centre for Logic and Information group with tag verification

	Temporal and modal logic [My Copy] (1990), pp. 995-1072. by Allen E. Emerson posted to timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-25 20:06:53 as along with 2 people robotact nigno
	Diagnosing Workflow Processes Using Woflan [My Copy] The Computer Journal, Vol. 44 (2001) by H. M. W. Verbeek posted to verification workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-25 20:05:34 as
	Distributing Timed Model Checking - How the Search Order Matters [My Copy] In CAV '00: Proceedings of the 12th International Conference on Computer Aided Verification (2000), pp. 216-231. by Gerd Behrmann, Thomas Hune, Frits W. Vaandrager posted to timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-25 20:00:16 as
	Model checking for clinical guidelines: an agent-based approach. [My Copy] AMIA ... Annual Symposium proceedings / AMIA Symposium. AMIA Symposium (2006), pp. 289-293. by L. Giordano, P. Terenziani, A. Bottrighi, S. Montani, L. Donzella posted to healthcare multi_agent_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-25 19:47:03 as
	Improving Medical Protocols Through Formalisation: A Case Study [My Copy] (2002) by Mar Marcos, Hugo Roomans, Annette T. Teijeþ posted to healthcare modeling verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-25 19:38:27 as
	Rigorously Defining and Analyzing Medical Processes: An Experience Report [My Copy] Models in Software Engineering (2008), pp. 118-131. by Stefan Christov, Bin Chen, George Avrunin, et al.Lori Clarke, Leon Osterweil, David Brown, Lucinda Cassells, Wilson Mertens posted to healthcare modeling verification workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-25 19:37:14 as along with 1 person hwang
	On the Relationship Between BDI Logics and Standard Logics of Concurrency [My Copy] Autonomous Agents and Multi-Agent Systems, Vol. 3, No. 3. (2000), pp. 259-283. by Klaus Schild posted to modeling verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-24 02:20:54 as
	Checking Properties of Adaptive Workflow Nets [My Copy] Fundam. Inf., Vol. 79, No. 3-4. (2008), pp. 347-362. by Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova posted to modeling verification workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-24 02:19:19 as
	Expressibility results for linear-time and branching-time logics [My Copy] In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop (1989), pp. 428-437. by Edmund M. Clarke, I. A. Draghicescu posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-24 02:10:32 as along with 2 people pintman Scis0000002
	The Temporal Logic of Reactive and Concurrent Systems: Specification: 001 [My Copy] (18 December 1991) by Amir Pnueli, Zohar Manna posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-23 20:07:18 as along with 1 person VGreiff
	Modelling and analysing workflow using a Petri-Net based approach [My Copy] In Proceedings of the 2nd Workshop on Computer-Supported Cooperative Work, Petri nets and related formalisms (1994) by W. M. P. van der Aalst, K. M. van Hee, G. J. Houben edited by G. De Michelis, C. Ellis, G. Memmi posted to modeling verification workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-23 18:02:56 as along with 1 person ikbeneyal
	Model Checking [My Copy] (07 January 1999) by Edmund M. Clarke, Orna Grumberg, Doron A. Peled posted to modeling verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 20:52:52 as along with 16 people and 1 group dwei98 tropic streetlightios mishra_satish qurat yliesfalcone zhensong srccheck hmeyer fheintz schuh cbertolini gfraser arturmeski juniorpivetta zuleger gk-intern
	Verification of Medical Guidelines by Model Checking – A Case Study [My Copy] Model Checking Software (2006), pp. 219-233. by Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt posted to healthcare modeling verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 20:51:49 as
	A blackboard approach to parallel temporal tableaux [My Copy] In AIMSA '94: Proceedings of the sixth international conference on Artificial intelligence : methodology, systems, applications (1994), pp. 183-192. by Robert Johnson posted to parallel verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 19:44:34 as
	Parallel Temporal Tableaux [My Copy] In Euro-Par '98: Proceedings of the 4th International Euro-Par Conference on Parallel Processing (1998), pp. 852-861. by R. I. Scott, M. D. Fisher, J. A. Keane posted to parallel verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 19:43:39 as
	Business process verification - finally a reality! [My Copy] Business Process Management Journal, Vol. 15, No. 1., pp. 74-92. by M. T. Wynn, H. M. W. Verbeek, Aalst, Ter A. H. M. Hofstede, D. Edmond posted to modeling verification workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 19:42:57 as
	First-order logic and automated theorem proving (2nd ed.) [My Copy] (1996) by Melvin Fitting posted to verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 19:40:13 as
	Correctness criteria for dynamic changes in workflow systems--a survey [My Copy] Data & Knowledge Engineering In Advances in business process management, Vol. 50, No. 1. (July 2004), pp. 9-34. by Stefanie Rinderle, Manfred Reichert, Peter Dadam posted to healthcare verification workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 19:30:59 as along with 6 people and 1 group derwas jfranke charoy ahmad_gaafar ustunyildiz karimda ecoo-pe
	AGENT WORK: a workflow system supporting rule-based workflow adaptation [My Copy] Data Knowl. Eng., Vol. 51, No. 2. (2004), pp. 223-256. by Robert Müller, Ulrike Greiner, Erhard Rahm posted to verification workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 19:27:50 as
	The BRITNeY Suite Animation Tool [My Copy] Petri Nets and Other Models of Concurrency - ICATPN 2006 (2006), pp. 431-440. by Michael Westergaard, Kristian Lassen posted to modeling verification workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 16:57:18 as
	Logic in Computer Science: Modelling and Reasoning about Systems [My Copy] (01 November 1999) by Michael Huth, Mark Ryan, M. Huth, M. Ryan posted to modeling timed_systems verification workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 16:56:29 as
	Coloured petri nets: A high level language for system design and analysis [My Copy] Advances in Petri Nets 1990 (1991), pp. 342-416. by Kurt Jensen posted to modeling verification workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 16:55:30 as
	Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines [My Copy] Artif. Intell. Med., Vol. 38, No. 2. (2006), pp. 171-195. by Luca Anselma, Paolo Terenziani, Stefania Montani, Alessio Bottrighi posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:16:37 as
	The Way of Z: Practical Programming with Formal Methods [My Copy] (28 November 1996) by Jonathan Jacky posted to modeling verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:08:41 as
	Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal [My Copy] Formal Aspects of Computing, Vol. 10, No. 5. (21 May 1998), pp. 550-575. by H. Bowman, G. Faconti, J. P. Katoen, D. Latella, M. Massink posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:07:51 as
	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 modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:06:57 as along with 5 people dwei98 streetlightios yoriyuki keigoi msakai
	A Tutorial on Uppaal [My Copy] Formal Methods for the Design of Real-Time Systems (2004), pp. 200-236. by Gerd Behrmann, Alexandre David, Kim G. Larsen posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:05:55 as along with 1 person zhensong
	UPPAAL - Now, Next, and Future [My Copy] Modeling and Verification of Parallel Processes (2001), pp. 99-124. by Tobias Amnell, Gerd Behrmann, Johan Bengtsson, et al.Pedro D’argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Larsen, M. Möller, Paul Pettersson, Carsten Weise, Wang Yi posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:05:06 as

Note: You may cite this page as: http://www.citeulike.org/group/5914/tag/verification

validation	33
model_checking	29
security	29
modelchecking	26
modeling	26
statecharts	22
testing	22
softnet	21
theorem-proving	20
model-checking	19
specification	19
uml	18
java	17
software	17
2008	16
2009	14
forecast	14
formal	14
petri_net	14
protocol	14
2001	13
formal-methods	13
2006	12
2007	12
logic	12
timed_systems	12
workflow	11
concurrency	10
model	10
simulation	10
uppaal	10
2003	9
2004	9
2005	9
functional-programming	9
program	9
read	9
retina	9
scan	9
semantics	9
tools	9
analysis	8
bachelor-project	8
circuit	8
formalmethods	8
haskell	8
hybridsystems	8
measure	8
proof	8
refinement	8
reliability	8
1999	7
automatic	7
concurrent	7
coq	7
realtime	7
tool	7
tpn	7
2000	6
asynchronous	6
automata	6
blast	6
bytecode	6
checking	6
compilers	6
composition	6
csp	6
design	6
evaluation	6
gui	6
modelling	6
2002	5
alloy	5
bdd	5
bpel	5
component	5
gals	5
gender	5
healthcare	5
isabelle	5
jml	5
model_transformation	5
polytopes	5
programming	5
requirements	5
runtime	5
temporal-logic	5
theory	5
web	5
1997	4
b	4
consistency	4
correctness	4
cps	4
face	4
fusion	4
information-flow	4
monads	4
multimodal	4
sequence_diagram	4

Group: StFX Centre for Logic and Information

Group: StFX Centre for Logic and Information - with tag verification [28 articles] Export

Related Tags