Tag checking [80 articles] Export

Recent papers classified by the tag checking.

	Verifying Web Applications Using Bounded Model Checking [My Copy] Dependable Systems and Networks, International Conference on, Vol. 0 (2004), 199. by Yao W. Huang, Fang Yu, Christian Hang, Chung H. Tsai, D. T. Lee, Sy Y. Kuo posted to model checking by websecurity on 2009-11-29 19:28:56 as
	Data-Flow Analysis as Model Checking Within the jABC [My Copy] Lecture Notes in Computer Science, Vol. 3923 (January 2006), pp. 101-104. by Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen posted to model jabc gear checking by ralf_nagel on 2009-11-04 13:09:14 as along with 1 person pintman
	Model Checking Temporal Logics of Knowledge in Distributed Systems [My Copy] In AAAI (2004), pp. 98-103. by Kaile Su edited by Deborah L. Mcguinness, George Ferguson, Deborah L. Mcguinness, George Ferguson posted to model knowledge checking by sgwyj on 2009-08-28 09:14:33 as
	Software Reliability Methods [My Copy] (26 June 2001) by Doron A. Peled posted to checking deductive formal method model model-checking reliability research testing verification by incubos on 2009-07-28 21:18:59 as along with 1 person michaelbanks
	Defining and continuous checking of structural program dependencies [My Copy] Software Engineering, International Conference on In ICSE '08: Proceedings of the 13th international conference on Software engineering, Vol. 0 (2008), pp. 391-400. by Michael Eichberg, Sven Kloppenburg, Karl Klose, Mira Mezini posted to checking model software_engineering by ingo on 2009-06-24 16:38:02 as along with 1 person buchgeher
	A pattern enforcing compiler (PEC) for Java: using the compiler [My Copy] In APCCM '05: Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling (2005), pp. 69-78. by Howard C. Lovatt, Anthony M. Sloane, Dominic R. Verity posted to checking java patterns software_engineering tools by ingo on 2009-06-23 09:49:27 as along with 1 person klinsz
	Adaptive Model Checking [My Copy] Logic Journal of the IGPL, Vol. 14, No. 5. (October 2006), pp. 729-744. by Groce, Alex, Peled, Doron, Yannakakis, Mihalis posted to checking model testing by streetlightios on 2009-05-12 04:08:07 as along with 2 people stober cbertolini
	Compositional Dependability Evaluation for STATEMATE [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 35, No. 2. (2009), pp. 274-292. by E. Bode, M. Herbstritt, H. Hermanns, et al.S. Johr, T. Peikenkamp, R. Pulungan, J. Rakow, R. Wimmer, B. Becker posted to checking ctmc mdp model stochastic by devil13inside on 2009-05-04 12:03:24 as along with 2 people leonardo architect
	Compositional reasoning in model checking [My Copy] In In Proc. COMPOS (1998), pp. 81-102. by Sergey Berezin, Sergio Campos, Edmund M. Clarke posted to checking compositional model by sgwyj on 2009-04-28 09:58:38 as along with 1 person yoriyuki
	Compositional model checking [My Copy] In Proceedings of the Fourth Annual Symposium on Logic in computer science (1989), pp. 353-362. by E. Clarke, D. Long, K. Mcmillan posted to checking compositional model by sgwyj on 2009-04-28 09:54:42 as
	Bounded model checking [My Copy] Advances in Computers, Vol. 58 (2003) by A. Biere, A. Cimatti, E. Clarke, O. Strichman, Y. Zhu posted to bdds bounded checking model symbolic by p2p01 on 2009-04-20 06:35:02 as along with 4 people and 2 groups meolic bfraser sjgaller voronov Context-driven-testers Desgin-by-Contract
	Generalized Model Checking: Reasoning about Partial State Spaces [My Copy] In CONCUR '00: Proceedings of the 11th International Conference on Concurrency Theory (2000), pp. 168-182. by Glenn Bruns, Patrice Godefroid posted to checking generalized model by sgwyj on 2009-04-18 15:22:20 as
	Inconsistency Handling in Multiperspective Specifications [My Copy] IEEE Trans. Softw. Eng., Vol. 20, No. 8. (August 1994), pp. 569-578. by A. C. W. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, B. Nuseibeh posted to checking inconsistency by Jens_Lyn on 2009-04-16 12:02:30 as along with 3 people lfk Scis0000002 RalfMitschke
	A type system for object initialization in the Java bytecode language [My Copy] ACM Trans. Program. Lang. Syst., Vol. 21, No. 6. (1999), pp. 1196-1250. by Stephen N. Freund, John C. Mitchell posted to bytecode checking initialization java languages object type by ddemange on 2009-04-10 13:33:54 as
	A template-based approach for the generation of abstractable and reducible models of featured networks [My Copy] Computer Networks, Vol. 51, No. 2. (07 February 2007), pp. 439-455. by A. Miller, M. Calder, A. Donaldson posted to - case checking email model by Jens_Lyn on 2009-03-29 11:39:39 as
	Incremental integrity checking of UML/OCL conceptual schemas [My Copy] Journal of Systems and Software, Vol. 82, No. 9. (17 September 2009), pp. 1459-1478. by Jordi Cabot, Ernest Teniente posted to uml ocl incremental checking alloy 2009 by leonardo on 2009-03-18 12:02:07 as
	A foundation for flow-based program matching: using temporal logic and model checking [My Copy] In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 114-126. by Julien Brunel, Damien Doligez, René R. Hansen, Julia L. Lawall, Gilles Muller posted to checking dataflow flow model research software_engineering tool by ingo on 2009-03-13 11:38:43 as
	Conformance checking of processes based on monitoring real behavior [My Copy] Information Systems, Vol. 33, No. 1. (March 2008), pp. 64-95. by A. Rozinat, W. M. P. van der Aalst posted to checking conformance petri process quality state by smogit on 2008-11-24 14:06:52 as along with 1 person fheintz
	Exploratory Data Analysis for Complex Models [My Copy] Journal of Computational & Graphical Statistics, Vol. 13, No. 4., 755. by Andrew Gelman posted to bayesian checking eda model statistics by arsyed on 2008-11-18 23:06:30 as along with 2 people and 3 groups dejang yijisoo infovis DSS mobilecomputing
	Verifying Haskell programs by combining testing, model checking and interactive theorem proving [My Copy] Information and Software Technology In Third International Conference on Quality Software: QSIC 2003, Vol. 46, No. 15. (1 December 2004), pp. 1011-1025. by Peter Dybjer, Qiao Haiyan, Makoto Takeyama posted to checking haskell model software verification by pmatos on 2008-11-18 16:52:37 as along with 2 people shimomura msakai
	Incremental analysis of interference among aspects [My Copy] In FOAL '08: Proceedings of the 7th workshop on Foundations of aspect-oriented languages (2008), pp. 29-38. by Emilia Katz, Shmuel Katz posted to checking model by khatchad on 2008-11-15 21:39:11 as
	MAVEN: Modular Aspect Verification [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2007), pp. 308-322. by Max Goldman, Shmuel Katz posted to aspects behavior checking enriched model by khatchad on 2008-11-15 21:35:20 as along with 1 person bfraser
	Foundations of incremental aspect model-checking [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 16, No. 2. (April 2007) by Shriram Krishnamurthi, Kathi Fisler posted to aspect-oriented checking feature-oriented incremental model modular programming software verification by khatchad on 2008-11-15 19:48:32 as along with 3 people and 1 group oscar bfraser leonardo onekin
	Trail-Directed Model Checking [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 55, No. 3. (October 2001), pp. 343-356. by S. Edelkamp, A. Lluchlafuente, S. Leue posted to checking heuristic model by gfraser on 2008-11-08 09:18:00 as
	An analyzer for message sequence charts [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (1996), pp. 35-48. by Rajeev Alur, Gerard Holzmann, Doron Peled posted to checking model msc by toppi on 2008-10-20 04:11:28 as
	UML behavioral consistency checking using instantiable Petri nets [My Copy] Innovations in Systems and Software Engineering, Vol. 4, No. 3. (1 September 2008), pp. 293-300. by Yann Thierry-Mieg, Lom-Messan Hillah posted to - behavioral checking consistency formal model nets petri uml verification by hbelani on 2008-10-13 16:40:04 as along with 1 person leonardo
	The Birth of Model Checking [My Copy] 25 Years of Model Checking (2008), pp. 1-26. by Edmund Clarke posted to checking model by zbchen on 2008-10-04 06:18:22 as along with 9 people websecurity zhensong meolic mattmight maddogmiller michaelbanks streetlightios leonardo mishra_satish
	The model checker SPIN [My Copy] IEEE Transactions on Software Engineering, Vol. 23 (1997), pp. 279-295. by Gerard J. Holzmann posted to checking modeling spin by eduardod on 2008-09-16 22:35:51 as along with 1 person mattmight
	Instant consistency checking for the UML [My Copy] In ICSE '06: Proceedings of the 28th international conference on Software engineering (2006), pp. 381-390. by Alexander Egyed posted to checking consitency uml by eduardod on 2008-09-09 23:06:11 as along with 4 people buchgeher gkaspi leonardo kazato
	Modular Verification of Open Features Using Three-Valued Model Checking [My Copy] Automated Software Engineering, Vol. 12, No. 3. (July 2005), pp. 349-382. by Harry Li, Shriram Krishnamurthi, Kathi Fisler posted to checking feature modeling modular verification by eduardod on 2008-09-01 22:19:16 as along with 3 people dwei98 bfraser KarlKlose
	Dynamic partial-order reduction for model checking software [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2005), pp. 110-121. by Cormac Flanagan, Patrice Godefroid posted to checking model order partial reduction by bschaeli on 2008-05-21 15:02:53 as along with 1 person rhishi
	Runtime Conformance Checking of Objects Using Alloy [My Copy] Electronic Notes in Theoretical Computer Science In RV '2003, Run-time Verification (Satellite Workshop of CAV '03), Vol. 89, No. 2. (October 2003), pp. 2-21. by Michelle L. Crane, Jürgen Dingel posted to no-tag alloy 2003 checking conformance by leonardo on 2008-05-08 15:50:06 as
	A Logical Approach to Security in the Context of Ambient Calculus [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time, Vol. 99 (6 August 2004), pp. 3-29. by Radu Mardare, Corrado Priami posted to ambient calculus checking model specification by devrimunal on 2008-02-19 14:05:15 as
	Checking Component Composability [My Copy] Software Composition (2006), pp. 18-33. by Christian Attiogbé, Pascal André, Gilles Ardourel posted to checking component-model components kmelia by fabricioaf on 2008-01-22 09:57:45 as
	Symbolic model checking of UML statechart diagrams with an integrated approach [My Copy] Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the In Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the (2004), pp. 337-346. by Vitus S. W. Lam, J. Padget posted to 2004 checking model statecharts symbolic uml by leonardo on 2007-12-18 11:30:57 as
	Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code [My Copy] pp. 243-256. by Charles Killian, James W. Anderson, Ranjit Jhala, Amin Vahdat posted to checking model by dmeister on 2007-12-01 10:04:27 as along with 4 people and 1 group nkarthiks Andrewkyh pedagand NSumner PLLab
	A Type System Equivalent to a Model Checker [My Copy] by Mayur Naik, Jens Palsberg posted to checking model type by jacobian on 2007-10-04 13:12:01 as
	Analysis of Signalling Pathways Using Continuous Time Markov Chains [My Copy] Transactions on Computational Systems Biology VI (2006), pp. 44-67. by Muffy Calder, Vladislav Vyshemirsky, David Gilbert, Richard Orton posted to chains checking continuous logic markov model pathways processes signalling stochastic time by ullahmukhtar on 2007-08-06 14:02:02 as along with 1 person Scis0000002
	Program fragments, linking, and modularization [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 266-277. by Luca Cardelli posted to analysis checking component modularity static by KarlKlose on 2007-06-14 10:42:43 as along with 3 people and 1 group khatchad dalev Bluetulip NU-PRL
	Approximating module semantics with constraints [My Copy] In SAC '04: Proceedings of the 2004 ACM symposium on Applied computing (2004), pp. 1490-1495. by Francesco Logozzo posted to analysis checking modules semantics trace by KarlKlose on 2007-06-11 12:00:03 as
	True separate compilation of Java classes [My Copy] In PPDP '02: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming (2002), pp. 189-200. by D. Ancona, G. Lagorio, E. Zucca posted to checking modular modules separate by KarlKlose on 2007-06-11 11:09:35 as
	dSPIN: A Dynamic Extension of SPIN [My Copy] In SPIN (1999), pp. 261-276. by Claudio Demartini, Radu Iosif, Riccardo Sisto posted to checking model by upalnath on 2007-06-02 08:19:14 as
	The dSPIN User Manual [My Copy] by Raduiosif Iosif posted to checking model by upalnath on 2007-06-02 08:18:55 as
	Java PathFinder, A Translator from Java to Promela [My Copy] In SPIN (1999) by Klaus Havelund posted to checking model by upalnath on 2007-06-02 08:16:04 as
	Model Checking JAVA Programs using JAVA PathFinder [My Copy] International Journal on Software Tools for Technology Transfer, Vol. 2, No. 4. (2000), pp. 366-381. by Klaus Havelund, Thomas Pressburger posted to checking model by upalnath on 2007-06-02 08:14:04 as along with 1 person bunge
	Graph-Based Algorithms for Boolean Function Manipulation [My Copy] # ieeetc, Vol. C-35, No. # 8. (aug # 1986), pp. 677-691. by Randal E. Bryant posted to checking model by upalnath on 2007-06-01 08:37:43 as along with 6 people streetlightios pedagand Benet zhensong xiady zuleger
	Planning with Extended Goals and Partial Observability [My Copy] (2004) by P. Bertoli, M. Pistore posted to checking model by upal on 2007-05-29 03:13:26 as
	A temporal approach to the specification and verification of Interaction Protocols [My Copy] by L. Giordano, A. Martelli, P. Terenziani, A. Bottrighi, S. Montani posted to checking model by upal on 2007-05-29 03:07:27 as
	The Planning Spectrum - One, Two, Three, Infinity [My Copy] by Marco Pistore, Moshe Y. Vardi posted to checking model by upal on 2007-05-29 03:03:04 as
	Planning for Temporally Extended Goals [My Copy] In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96) (1996), pp. 1215-1222. by Fahiem Bacchus, Froduald Kabanza posted to checking model by upal on 2007-05-29 01:13:47 as

Note: You may cite this page as: http://www.citeulike.org/tag/checking

Result page: 1 2 Next

model	63
conformance	16
design	9
designtest	8
test	8
architectural	6
rules	6
verification	6
analysis	5
static	5
aspectj	4
modular	4
testing	4
type	4
uml	4
aspect	3
logic	3
software_engineering	3
alloy	2
aosd	2
aspects	2
compositional	2
consistency	2
formal	2
incremental	2
java	2
knowledge	2
modeling	2
modules	2
patterns	2
petri	2
research	2
software	2
stochastic	2
symbolic	2
2003	1
2009	1
ambient	1
arithmetic	1
aspect-oriented	1
bayesian	1
bdds	1
behavioral	1
bytecode	1
citation	1
compiler	1
component	1
component-model	1
components	1
conformace	1
consitency	1
continuous	1
contract	1
ctl	1
ctl-fv	1
ctmc	1
dataflow	1
deductive	1
demeter	1
effects	1
feature-oriented	1
flow	1
generalized	1
haskell	1
heuristic	1
inconsistency	1
initialization	1
kmelia	1
liveness	1
louise_read	1
ltl	1
markov	1
mda	1
method	1
msc	1
object	1
object-oriented	1
ocl	1
optimization	1
partial	1
pattern	1
predicate	1
presburger	1
processes	1
programming	1
quality	1
reduction	1
reliability	1
sat	1
semantics	1
separate	1
signalling	1
specification	1
spin	1
state	1
statecharts	1
swarm	1
tools	1
trace	1

Tag checking [80 articles] Export

Related Tags