Регистрация | Вход в службу | FAQ      [?] 

Ключевое слово verification [261 articles]

Recent papers classified by the tag verification.
  • A Contract-based Approach to Specifying and Verifying Safety Critical Systems
    Electronic Notes in Theoretical Computer Science, Vol. 176, No. 2. (31 May 2007), pp. 89-103.
    by Wei Dong, Zhenbang Chen, Ji Wang
    posted to verification theory interface component by zbchen on 2008-09-08 15:20:07 as **
  • Deaccumulation techniques for improving provability
    Journal of Logic and Algebraic Programming, Vol. 71, No. 2. (April 2007), pp. 79-113.
    by Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
    posted to accumulating-parameters functional-programming induction-proofs program-transformation theorem-provers tree-transducers verification by voigt on 2007-06-25 11:31:13 as read
  • Verifying haskell programs using constructive type theory
    (2005), pp. 62-73.
    by Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
    posted to dependent-types functional-programming haskell monads theorem-provers types verification by voigt on 2005-10-06 08:30:33 as read along with 4 people and 1 group greenrd p1738j msakai meiersi SRG_at_UCD
  • A principled approach to operating system construction in Haskell
    (2005), pp. 116-128.
    by Thomas Hallgren, Mark P Jones, Rebekah Leslie, Andrew Tolmach
    posted to functional-programming haskell monads operating-systems programatica side-effects verification by voigt on 2005-09-28 09:22:49 as read along with 6 people and 1 group draganigajic pejo hannes mahler mstone pedagand Rightscom
  • Verifying BDD Algorithms through Monadic Interpretation
    Lecture Notes in Computer Science, Vol. 2294 (January 2002), 182.
    by Sava Krstic, John Matthews
    posted to functional-programming induction-proofs monads side-effects theorem-provers verification by voigt on 2005-09-09 12:50:52 as read along with 1 person and 1 group mahler Rightscom
  • Building compilers by combining algebras
    Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the (2005), pp. 331-338.
    by G Kimmell, E Komp, P Alexander
    posted to dsl embedded-systems functional-programming monads verification by voigt on 2005-09-14 07:59:07 as ** along with 3 people and 1 group jrw mahler brturn Rightscom
  • Simple relational correctness proofs for static analyses and program transformations
    SIGPLAN Not., Vol. 39, No. 1. (January 2004), pp. 14-25.
    by Nick Benton
    posted to denotational-semantics program-transformation static-analysis verification by voigt on 2005-09-16 08:52:47 as **
  • notes Deaccumulation - Improving Provability
    Lecture Notes in Computer Science, Vol. 2896 (December 2003), pp. 146-160.
    by Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
    edited by Vijay A Saraswat
    posted to accumulating-parameters functional-programming induction-proofs program-transformation theorem-provers tree-transducers verification by voigt on 2005-09-09 09:49:25 as read
  • Semantic Preserving RTL Transformation for Control-Data Slicing in Virtual IPs
    by Waseem Muhammad, Sophie Coudert, Rabéa Ameur-Boulifa, Renaud Pacalet
    posted to abstraction control data rtl slicing verification by vasim98 on 2008-08-05 08:25:17 as read
  • SPHIN: A model checker for reconfigurable hybrid systems based on SPIN
    Electronic Notes in Theoretical Computer Science, Vol. 145 (14 January 2006), pp. 167-183.
    by Hosung Song, Kevin J Compton, William C Rounds
    posted to hybridsystems modelinglanguage verification by udraw on 2008-06-27 14:07:51 as **
  • Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods
    (2000), pp. 130-144.
    by Thomas A Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi
    posted to hybridsystems intervalanalysis verification by udraw on 2007-11-15 10:19:47 as **
  • An assessment of the current status of algorithmic approaches to the verification of hybrid systems
    Decision and Control, 2001. Proceedings of the 40th IEEE Conference on, Vol. 3 (2001), pp. 2867-2874 vol.3.
    by BI Silva, O Stursberg, BH Krogh, S Engell
    posted to hybridsystems modelinglanguage tool verification by udraw on 2007-11-15 10:18:30 as read
  • Discrete abstractions of hybrid systems
    Proceedings of the IEEE, Vol. 88, No. 7. (2000), pp. 971-984.
    by R Alur, TA Henzinger, G Lafferriere, GJ Pappas
    posted to hybridsystems theory verification by udraw on 2007-11-15 10:27:47 as ***
  • What's decidable about hybrid automata?
    (1995), pp. 373-382.
    by Thomas A Henzinger, Peter W Kopke, Anuj Puri, Pravin Varaiya
    posted to hybridsystems theory verification by udraw on 2007-11-15 10:21:24 as ***
  • Languages and tools for hybrid systems design
    Found. Trends Electron. Des. Autom., Vol. 1, No. 1/2. (2006), pp. 1-193.
    by Luca P Carloni, Roberto Passerone, Alessandro Pinto, Alberto L Angiovanni-Vincentelli
    posted to hybridsystems modelinglanguage simulation tool verification by udraw on 2007-11-15 10:14:29 as read
  • Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling
    (2002), pp. 223-235.
    by H\aakan LS Younes, Reid G Simmons
    posted to discrete-event-systems probabilistic-methods verification by tuncay on 2007-11-27 19:29:48 as read
  • DART: directed automated random testing
    SIGPLAN Not., Vol. 40, No. 6. (June 2005), pp. 213-223.
    by Patrice Godefroid, Nils Klarlund, Koushik Sen
    posted to randomization testing verification by tuncay on 2008-02-06 21:27:58 as **
  • A model for verification of data security in operating systems
    Commun. ACM, Vol. 21, No. 9. (September 1978), pp. 737-749.
    by Gerald J Popek, David A Farber
    posted to operating-systems security verification by tumo on 2007-04-29 01:58:07 as **
  • How to think about security failures
    Commun. ACM, Vol. 49, No. 1. (January 2006), pp. 37-39.
    by Scott Campbell
    posted to reliability security verification by tumo on 2007-04-29 02:15:10 as **
  • Verification problems in conceptual workflow specifications
    Data & Knowledge Engineering, Vol. 24, No. 3. (January 1998), pp. 239-256.
    by Ter, ME Orlowska, J Rajapakse
    posted to assembly consistency method verification by trickyDick on 2008-06-17 14:07:42 as ***
  • Applying model checking to BPEL4WS business collaborations
    (2005), pp. 826-830.
    by Jes&\#250;s A Fisteus, Luis S Fern&\#225;ndez, Carlos D Kloos
    posted to bpel verification by tremblay_guy on 2006-09-21 18:03:50 as **
  • Pi4SOA: A Policy Infrastructure for Verification and Control of Service Collaboration
    e-Business Engineering, 2006. ICEBE '06. IEEE International Conference on (2006), pp. 307-314.
    by X Zhou, WT Tsai, X Wei, Y Chen, B Xiao
    posted to verification webservice ws-cdl by toppi on 2008-02-22 04:48:29 as *
  • notes Modeling and Verifying Web Services Choreography Using Process Algebra
    Software Engineering Workshop, 2007. SEW 2007. 31st IEEE (2007), pp. 256-268.
    by Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu
    posted to choreography csp verification by toppi on 2008-03-24 05:01:57 as **
  • A writer identification and verification system
    Pattern Recognition Letters, Vol. 26, No. 13. (1 October 2005), pp. 2080-2092.
    by Ameur Bensefia, Thierry Paquet, Laurent Heutte
    posted to codebook features iam-db id-expt invariants psi-db system tutorial verification writer-id by tgyork on 2007-11-28 19:54:21 as read
  • On the Use of Lexeme Features for Writer Verification
    Document Analysis and Recognition, 2007. ICDAR 2007 Vol. 2. Ninth International Conference on, Vol. 2 (2007), pp. 1088-1092.
    by A Bhardwaj, A Singh, H Srinivasan, S Srihari
    posted to features verification icdar07 by tgyork on 2007-12-12 13:51:42 as ** along with 1 person quianominorleo
  • A New Method for Writer Identification and Verification Based on Farsi/Arabic Handwritten Texts
    Document Analysis and Recognition, 2007. ICDAR 2007 Vol. 2. Ninth International Conference on, Vol. 2 (2007), pp. 829-833.
    by F Nejad, M Rahmati
    posted to arabic features icdar07 ieeestuck scripts verification writer-id by tgyork on 2007-12-12 13:51:08 as ***
  • A statistical model for writer verification
    Document Analysis and Recognition, 2005. Proceedings. Eighth International Conference on, Vol. 2 (2005), pp. 1105-1109.
    by SN Srihari, MJ Beal, K Bandi, V Shah, P Krishnamurthy
    posted to cedar-db features icdar05 verification writer-id by tgyork on 2007-12-21 16:47:16 as read
  • A measured data set for evaluating electron-beam dose algorithms.
    Medical physics, Vol. 28, No. 6. (June 2001), pp. 950-958.
    by RA Boyd, KR Hogstrom, JA Antolak, AS Shiu
    posted to verification treatment planning evaluation electrons electron beam algorithm by tertel on 2008-09-26 15:51:43 as **
  • Spatial resolution of 2D ionization chamber arrays for IMRT dose verification: single-detector size and sampling step width.
    Physics in medicine and biology, Vol. 52, No. 10. (21 May 2007), pp. 2921-2935.
    by B Poppe, A Djouguela, A Blechschmidt, K Willborn, A Rühmann, D Harder
    posted to 2d array chamber dose ionization ptw resolution verification by tertel on 2008-08-14 19:50:05 as **
  • Verification of Embedded Software: Problems and Perspectives
    Lecture Notes in Computer Science, Vol. 2211 (2001), pp. 97-??.
    by Patrick Cousot, Radhia Cousot
    posted to verification by suer on 2007-04-30 09:54:17 as ** along with 1 person rysavy
  • An Investigation on Preference Order Ranking Scheme for Multiobjective Evolutionary Optimization
    Evolutionary Computation, IEEE Transactions on, Vol. 11, No. 1. (2007), pp. 17-45.
    by F di Pierro, ST Khu, DA Savic
    posted to many-objectives-optimization optimization verification by stkhu on 2008-03-17 14:02:26 as read
  • Verification, validation, and certification of modeling and simulation applications
    (2003), pp. 150-158.
    by Osman Balci
    posted to validation verification by stele on 2008-08-13 09:57:36 as *****
  • Verification and validation of simulation models
    (2007), pp. 124-137.
    by Robert G Sargent
    posted to validation verification by stele on 2008-08-13 10:03:07 as **
  • notes VV&A; II: enhancing modeling and simulation accreditation by structuring Verification and Validation results
    (2000), pp. 840-848.
    by Dirk Brade
    posted to validation verification by stele on 2008-08-14 10:13:56 as **
  • Transforming BPEL to Petri Nets
    Business Process Management (2005), pp. 220-235.
    by Sebastian Hinz, Karsten Schmidt, Christian Stahl
    posted to verification semantic petri-nets bpel by sryll on 2008-10-06 13:19:24 as ***
  • Model checking
    Foundations of Software Technology and Theoretical Computer Science (1997), pp. 54-56.
    by Edmund Clarke
    posted to verification temporal-logic state-transition-graph by sryll on 2008-09-25 09:31:47 as *** along with 1 person yuichi0619
  • Cyclone: A safe dialect of c
    (2002)
    by T Jim, G Morrisett, D Grossman, M Hicks, J Cheney, Y Wang
    posted to programming_languages verification by srccheck on 2008-05-08 13:30:39 as * along with 6 people tautologico MattOConnor bdauvergne robennals krisn11 _Anne_
  • Ensuring code safety without runtime checks for real-time control systems
    (2002), pp. 288-297.
    by Sumant Kowshik, Dinakar Dhurjati, Vikram Adve
    posted to buffer_overflow programming_languages verification by srccheck on 2008-05-08 11:31:45 as *
  • Program verification as probabilistic inference
    (2007), pp. 277-289.
    by Sumit Gulwani, Nebojsa Jojic
    posted to machine_learning popl07 verification by srccheck on 2008-02-20 13:25:50 as **
  • Variance analyses from invariance analyses
    (2007), pp. 211-224.
    by Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter O'Hearn
    posted to model_checking popl07 verification by srccheck on 2008-02-20 13:11:50 as **
  • Extended Static Checking for Haskell
    (2006), pp. 48-59.
    by Dana N Xu
    posted to haskell static-checking verification by spl on 2008-02-18 13:57:23 as ** along with 2 people shimomura msakai
  • Java Applet Correctness: a Developer-Oriented Approach
    Vol. 2805/2003 (September 2003)
    by L Burdy, A Requet, J Lanet
    posted to tool b java softnet verification by sjgaller on 2007-06-01 18:49:08 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • Extended static checking for Java
    Vol. 37, No. 5. (2002), pp. 234-245.
    by C Flanagan, K Leino, M Lillibridge, G Nelson, J Saxe, R Stata
    posted to tool softnet verification by sjgaller on 2007-06-01 18:50:46 as ** along with 2 people and 2 groups amorkan srccheck Context-driven-testers Desgin-by-Contract
  • Java Program Verification via a Hoare Logic with Abrupt Termination
    Lecture Notes in Computer Science, Vol. 1783 (2000)
    by Marieke Huisman, Bart Jacobs
    posted to hoare java softnet verification by sjgaller on 2007-06-05 08:06:50 as ** along with 2 groups Context-driven-testers Desgin-by-Contract
  • Combining test case generation and runtime verification
    Theoretical Computer Science, Vol. 336, No. 2-3. (26 May 2005), pp. 209-234.
    by Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Mike Lowry, Corina Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Rich Washington
    posted to softnet test-case-generation testing verification by sjgaller on 2007-08-28 07:22:59 as ** along with 3 people and 3 groups jolilius lcigler joaoarthurbm Context-driven-testers TUCS-ES_Lab Desgin-by-Contract
  • Model Checking Programs
    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 java-path-finder model-checker softnet symclat verification by sjgaller on 2007-08-16 13:39:28 as *** along with 3 people and 2 groups leonardo citeilike yuichi0619 Context-driven-testers Desgin-by-Contract
  • The KeY Tool
    Software and Systems Modeling (April 2004), pp. 32-54.
    by Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H Schmitt
    posted to tool java jml key softnet verification by sjgaller on 2007-06-27 14:04:23 as ***** along with 2 groups Context-driven-testers Desgin-by-Contract
  • JML-based verification of liveness properties on a class in isolation
    (2006), pp. 41-48.
    by Julien Groslambert, Jacques Julliand, Olga Kouchnarenko
    posted to softnet temporal-logic verification by sjgaller on 2007-07-11 17:39:37 as **** along with 2 groups Context-driven-testers Desgin-by-Contract
  • Thread-Modular Abstraction Refinement
    Computer Aided Verification (2003), pp. 262-274.
    by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer
    posted to verification concurrent 2003 by shimomura on 2008-09-23 14:29:11 as **
  • Modular Verification of Software Components in C
    IEEE Transactions on Software Engineering, Vol. 30, No. 6. (2004), pp. 388-402.
    by Sagar Chaki, Edmund M Clarke, Alex Groce, Somesh Jha, Helmut Veith
    posted to verification modelchecking 2004 by shimomura on 2008-10-10 07:41:00 as ***
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/tag/verification

    Result page: 1 2 3 4 5 6 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.