Tag verification [at least 200 articles] Export

Recent papers classified by the tag verification.

	Verification of a Formal Security Model for Multiapplicative Smart Cards [My Copy] Computer Security - ESORICS 2000 (2000), pp. 17-36. by Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul Karger, Vernon Austel, David Toll posted to verification smart-card noninterference model formal biba bell-lapadula authentication access-control 2000 by michaelbanks on 2009-11-19 09:50:12 as along with 1 person powerwolf
	Optimizing feature complementarity by evolution strategy: Application to automatic speaker verification [My Copy] Speech Communication (31 January 2009) by C. Charbuillet, B. Gas, M. Chetouani, J. L. Zarader posted to verification speaker by ajstuapt on 2009-11-16 21:03:50 as
	A new adaptation approach to high-level speaker-model creation in speaker verification [My Copy] Speech Communication, Vol. 51, No. 6. (June 2009), pp. 534-550. by Shi-Xiong Zhang, Man-Wai Mak posted to verification speaker by ajstuapt on 2009-11-15 19:10:28 as
	Phonetic segmentation using multiple speech features [My Copy] International Journal of Speech Technology, Vol. 11, No. 2. (1 June 2008), pp. 73-85. by Iosif Mporas, Todor Ganchev, Nikos Fakotakis posted to verification speaker by ajstuapt on 2009-11-15 18:56:03 as
	Bridging the Gap between Fair Simulation and Trace Inclusion [My Copy] Computer Aided Verification (2003), pp. 381-393. by Yonit Kesten, Nir Piterman, Amir Pnueli posted to verification theory by aristodemos on 2009-11-09 01:20:22 as
	Counterexample-guided abstraction refinement for symbolic model checking [My Copy] Journal of the ACM, Vol. 50, No. 5. (01 September 2003), pp. 752-794. by Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith posted to verification model-checking abstraction-refinement by rhishi on 2009-11-06 17:36:08 as along with 6 people and 1 group robotact streetlightios srccheck zhensong pganty dabhishe groupverif
	Counterexample-Guided Abstraction Refinement [My Copy] Computer Aided Verification (2000), pp. 154-169. by Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith posted to verification model-checking abstraction-refinement by rhishi on 2009-11-06 17:29:28 as along with 1 person mzp
	Towards Formal Verification of Web Service Composition [My Copy] Business Process Management (2006), pp. 257-273. by Mohsen Rouached, Olivier Perrin, Claude Godart posted to web-services verification composition by bfraser on 2009-11-06 16:03:35 as
	On the design of IEEE compliant floating point units [My Copy] Computers, IEEE Transactions on, Vol. 49, No. 5. (06 August 2002), pp. 398-413. by G. Even, W. J. Paul posted to vlsi_design verification floating_point by mmuecke on 2009-11-06 15:03:45 as
	An application of co-inductive types in Coq: Verification of the alternating bit protocol [My Copy] Types for Proofs and Programs (1996), pp. 135-152. by Eduardo Giménez posted to verification theorem-proving recursion master-project logic functional-programming coq coinduction by mvermaat on 2009-11-05 14:02:51 as
	Experimental verification of Rayleigh scattering cross sections [My Copy] Opt. Lett., Vol. 25, No. 5. (1 March 2000), pp. 347-349. by Hans Naus, Wim Ubachs posted to verification scattering rayleigh n2 cross_section by VolkerF on 2009-11-05 00:57:07 as
	An Automata Based Approach for Verifying Information Flow Properties [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 135, No. 1. (5 July 2005), pp. 39-58. by Deepak D’Souza, K. R. Raghavendra, Barbara Sprick posted to verification unwinding security model-checking maks information-flow automata 2005 by michaelbanks on 2009-10-30 10:34:52 as
	Automatic Abstraction without Counterexamples [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2003), pp. 2-17. by Kenneth McMillan, Nina Amla posted to verification abstraction-refinement by rhishi on 2009-10-28 18:50:14 as
	Secure information flow and program logics [My Copy] Computer Security Foundations Symposium, IEEE, Vol. 0 (2007), pp. 233-248. by Lennart Beringer, Martin Hofmann posted to verification type-system security isabelle information-flow hol hoare-logic 2007 by michaelbanks on 2009-10-28 17:19:03 as
	Measuring classifier performance: a coherent alternative to the area under the ROC curve [My Copy] Machine Learning, Vol. 77, No. 1. (1 October 2009), pp. 103-123. by David Hand posted to verification classification by gotgenes on 2009-10-26 03:47:53 as along with 3 people and 1 group neils humburg abrentnall QFRMC_ConsumerCredit
	Verifying haskell programs using constructive type theory [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73. by Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell posted to verification type haskell 2005 by shimomura on 2009-10-20 10:35:04 as along with 6 people and 1 group jimburton greenrd voigt p1738j msakai meiersi SRG_at_UCD
	Software model checking [My Copy] ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-54. by Ranjit Jhala, Rupak Majumdar posted to verification software model-checking 2009 by michaelbanks on 2009-10-20 10:24:08 as along with 3 people asilva zhensong leonardo
	Automated deduction for verification [My Copy] ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-56. by Natarajan Shankar posted to verification software sat-solver reasoning logic hardware automatic 2009 by michaelbanks on 2009-10-20 10:23:09 as
	An energy fluence-convolution model for amorphous silicon EPID dose prediction [My Copy] Medical Physics, Vol. 36, No. 2. (2009), pp. 547-555. by Peter B. Greer, Patrick Cadman, Christopher Lee, Karl Bzdusek posted to verification silicon physics medical imrt epid dosimetry amorphous by bwking on 2009-10-15 23:36:33 as
	Verifying UML/OCL Operation Contracts [My Copy] Integrated Formal Methods (2009), pp. 40-55. by Jordi Cabot, Robert Clarisó, Daniel Riera posted to verification uml ocl constraint_satisfaction_problem 2009 by leonardo on 2009-10-13 14:23:49 as
	Challenge proposal: verification of refactorings [My Copy] In PLPV '09: Proceedings of the 3rd workshop on Programming languages meets program verification (2008), pp. 67-72. by Max Schäfer, Torbjörn Ekman, Oege de Moor posted to verification refactoring challenges 2009 by leonardo on 2009-10-12 17:02:59 as
	Formal verification of a realistic compiler [My Copy] Commun. ACM, Vol. 52, No. 7. (2009), pp. 107-115. by Xavier Leroy posted to verification theorem-proving rg-2009 coq compilers by robertjohnsimmons to the group ConcertRG on 2009-10-10 00:45:31 as
	Gender verification--what purpose? What price? [My Copy] British Journal of Sports Medicine, Vol. 27, No. 3. (01 September 1993), pp. 148-149. by J. S. Fox posted to verification gender by zarakkhan89 on 2009-10-08 15:12:54 as
	Gender verification in sports by PCR amplification of SRY and DYZ1 Y chromosome specific sequences: presence of DYZ1 repeat in female athletes. [My Copy] Br J Sports Med, Vol. 30, No. 4. (1 December 1996), pp. 310-312. by A. Serrat, A. Garcia de Herreros posted to verification pcr olympics gender female by zarakkhan89 on 2009-10-08 15:06:12 as
	Statechart Verification with iState [My Copy] (8 Sep 2009) by Dai Tri Man Le posted to verification statecharts istate 2009 by leonardo on 2009-10-05 18:34:14 as
	Model-Based Design and Verification of Reactive Systems [My Copy] Computer Aided Systems Theory - EUROCAST 2009 (2009), pp. 865-872. by Jiří Hýsek, Milan Češka, Vladimír Janoušek posted to verification statecharts 2009 by leonardo on 2009-10-03 19:40:29 as
	Gender identity and sport: is the playing field level? [My Copy] Br J Sports Med, Vol. 39, No. 10. (1 October 2005), pp. 695-699. by J. C. Reeser posted to verification sport gender by zarakkhan89 on 2009-10-03 18:35:27 as along with 1 person chriswillmott
	Gender verification: a concept whose time has come and passed? [My Copy] British Journal of Sports Medicine, Vol. 30, No. 4. (01 December 1996), pp. 278-278. by J. C. Puffer posted to verification sport gender by zarakkhan89 on 2009-10-03 18:08:53 as
	Gender verification in sport: the need for change? [My Copy] Br J Sports Med, Vol. 25, No. 1. (1 March 1991), pp. 17-20. by M. A. Ferguson-Smith, E. A. Ferris posted to verification sport gender by zarakkhan89 on 2009-10-03 17:03:04 as
	Towards Formal Specification of Abstract Security Properties [My Copy] Third International Conference on Availability, Reliability and Security In Third International Conference on Availability, Reliability and Security, Vol. 0 (March 2008), pp. 80-87. by Antonio Maña, Gimena Pujol posted to verification specification security property formal-methods 2008 by michaelbanks on 2009-10-02 10:16:12 as
	The Impact of Background and Experience on Software Inspections [My Copy] Empirical Software Engineering, Vol. 9, No. 3. (1 September 2004), pp. 259-262. by Jeff Carver posted to verification theory quality grounded experimental by hotpop on 2009-09-30 20:20:50 as
	Verification and validation: some approaches and paradigms for verifying and validating simulation models [My Copy] In WSC '01: Proceedings of the 33nd conference on Winter simulation (2001), pp. 106-114. by Robert G. Sargent posted to verification validation simulation modelling by tg1w on 2009-09-28 16:50:40 as
	Automatic Discovery and Quantification of Information Leaks [My Copy] Security and Privacy, IEEE Symposium on In 30th IEEE Symposium on Security and Privacy, Vol. 0 (2009), pp. 141-153. by Michael Backes, Boris Köpf, Andrey Rybalchenko posted to verification quantification information-flow automatic analysis 2009 by michaelbanks on 2009-09-26 10:45:53 as
	Retrospective: an axiomatic basis for computer programming [My Copy] Communications of the ACM, Vol. 52, No. 10. (2009), pp. 30-32. by C. A. R. Hoare posted to verification retrospective proof programming hoare-logic formal-methods axiomatic 2009 by michaelbanks on 2009-09-26 10:00:45 as along with 3 people onierstrasz leonardo ajholanda
	Verifying Model Transformations by Structural Correspondence [My Copy] ECEASST, Vol. 10 (2008) by Anantha Narayanan, Gabor Karsai posted to verification model_transformation 2008 by leonardo on 2009-09-24 20:46:47 as
	Model Transformation Specification and Verification [My Copy] Quality Software, 2008. QSIC '08. The Eighth International Conference on In 2008 Eighth International Conference on Quality Software (QSIC), Vol. 0 (19 August 2008), pp. 45-54. by Kevin Lano, David Clark posted to verification model_transformation correctness 2008 by leonardo on 2009-09-24 20:41:59 as
	On the Specification and Verification of Model Transformations [My Copy] Semantics and Algebraic Specification (2009), pp. 140-161. by Fernando Orejas, Martin Wirsing posted to verification model_transformation correctness 2009 by leonardo on 2009-09-24 20:32:07 as
	Test sequence generation for controller verification and test with high coverage [My Copy] ACM Trans. Des. Autom. Electron. Syst., Vol. 11, No. 4. (2006), pp. 916-938. by Sezer Gören, F. Joel Ferguson posted to verification memory by highwind on 2009-09-22 13:13:14 as
	Formal Methods: State of the Art and New Directions [My Copy] (04 September 2009) by Paul P. Boca, Jonathan P. Bowen, Jawed I. Siddiqi posted to verification formal-methods book 2009 by michaelbanks on 2009-09-18 16:41:53 as along with 1 person dokooh
	Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation [My Copy] Computer Aided Verification (2009), pp. 414-429. by Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, et al.Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir Frolov, Erik Reeber, Armaghan Naik posted to verification testing practical-experience by rhishi on 2009-09-09 19:44:12 as
	Experience Report: seL4: Formally Verifying a High-Performance Microkernel [My Copy] In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 91-96. by Gerwin Klein, Philip Derrin, Kevin Elphinstone posted to verification proofs operating-systems isabelle hol haskell c by spl on 2009-09-07 11:21:10 as along with 1 person pedagand
	QuickCheck: a lightweight tool for random testing of Haskell programs [My Copy] In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (2000), pp. 268-279. by Koen Claessen, John Hughes posted to verification testing quickcheck haskell by bfraser on 2009-09-05 22:35:49 as along with 2 people ghulette spl
	Local reasoning about a copying garbage collector [My Copy] In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2004), pp. 220-231. by Lars Birkedal, Noah T. Smith, John C. Reynolds posted to verification specification separation-logic garbage-collector by neelk on 2009-09-01 00:32:26 as along with 1 person varming
	Design patterns in separation logic [My Copy] In TLDI '09: Proceedings of the 4th international workshop on Types in language design and implementation (2009), pp. 105-116. by Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse posted to verification specification separation-logic design-patterns by neelk on 2009-09-01 00:31:19 as along with 1 person leonardo
	Cloning-based context-sensitive pointer alias analysis using binary decision diagrams [My Copy] In PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Vol. 39, No. 6. (May 2004), pp. 131-144. by John Whaley, Monica S. Lam posted to verification static source robdd research programming model-checking model method language formal datalog code bdd analysis by incubos on 2009-08-30 18:25:24 as along with 6 people robertjohnsimmons pedagand bec schuh srccheck olesya
	Extended static checking for Java [My Copy] In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 234-245. by Cormac Flanagan, Rustan, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata posted to verification software 2002 by lesandrop on 2009-08-27 21:48:56 as along with 4 people and 1 group fvogels kiniry schuh zuleger SRG_at_UCD
	Points-to analysis in almost linear time [My Copy] In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 32-41. by Bjarne Steensgaard posted to verification software 1996 by lesandrop on 2009-08-27 21:47:07 as along with 4 people and 1 group mattmight khatchad plaugg srccheck Verimag-STmicro
	Enabling verification and conformance testing for access control model [My Copy] In SACMAT '08: Proceedings of the 13th ACM symposium on Access control models and technologies (2008), pp. 195-204. by Hongxin Hu, Gail-Joon Ahn posted to role-based-access-control verification testing security sat-solver rcl2000 management framework conformance automatic assurance analysis alloy access-control 2008 by michaelbanks on 2009-08-26 10:18:16 as
	Design tests: An approach to programmatically check your code against design rules [My Copy] Software Engineering - Companion Volume, 2009. ICSE-Companion 2009. 31st International Conference on In Software Engineering - Companion Volume, 2009. ICSE-Companion 2009. 31st International Conference on (2009), pp. 255-258. by J. Brunet, D. Guerrero, J. Figueiredo posted to verification software-engineering software-design software-architecture design by germoglio to the group Software-Architecture on 2009-08-12 03:25:01 as
	A formal basis for architectural connection [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 6, No. 3. (July 1997), pp. 213-249. by Robert Allen, David Garlan posted to adl software-architecture software-engineering verification by germoglio on 2009-08-11 11:24:48 as along with 8 people and 1 group alexloh80 martinrytter newdawn jonathanbp vazquezger ingstrup buchgeher jago Software-Architecture

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

Result page: 1 2 3 4 5 6 7 8 9 10 Next

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
formal	15
2009	14
forecast	14
petri_net	14
protocol	14
2001	13
formal-methods	13
2006	12
2007	12
logic	12
timed_systems	12
model	11
workflow	11
concurrency	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
2000	7
automatic	7
concurrent	7
coq	7
realtime	7
tool	7
tpn	7
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
consistency	4
correctness	4
cps	4
features	4
fusion	4
multimodal	4
newthesis	4
speaker	4
test	4
type	4

Tag verification [at least 200 articles] Export

Related Tags