Registrer deg | Logg på | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

leonardos model_checking [52 articles]

Artikler nylig sendt til leonardos bibliotek klassifisert med nøkkelordet model_checking. You can also see everyone's model_checking.
  • Modelchecking Correctness of Refactorings - Some Experiments
    Electronic Notes in Theoretical Computer Science, Vol. 187 (15 July 2007), pp. 3-17.
    by Christian H Estler, Thomas Ruhroth, Heike Wehrheim
    posted to 2007 _hardcopy model_checking refactoring by leonardo on 2008-04-21 19:02:44 as **
  • Slicing Hierarchical Automata for Model Checking UML Statecharts
    Formal Methods and Software Engineering (2002), pp. 435-446.
    by Ji Wang, Wei Dong, Zhi C Qi
    posted to 2002 eha _hardcopy model_checking slicing statecharts uml by leonardo on 2008-03-10 00:31:55 as ****
  • Model-checking CSP-Z
    Fundamental Approaches to Software Engineering (1998), pp. 205-220.
    by Alexandre Mota, Augusto Sampaio
    posted to 1998 csp cspz model_checking z by leonardo on 2008-03-08 16:31:55 as ** along with 1 group SRG
  • Rewrite Rules and Operational Semantics for Model Checking UML Statecharts
    «UML» 2000 — The Unified Modeling Language (2000), pp. 528-540.
    by Gihwon Kwon
    posted to 2000 model_checking semantics statecharts uml by leonardo on 2008-01-23 18:33:43 as **
  • Using Alloy to model-check visual design notations
    Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on (2005), pp. 121-128.
    by Anthony JH Simons, Carlos A Fernandez
    posted to 2005 alloy model_checking visual_languages by leonardo on 2008-01-03 22:56:25 as ***
  • Model Checking Large Software Specifications
    IEEE Trans. Softw. Eng., Vol. 24, No. 7. (July 1998), pp. 498-520.
    by William Chan, Richard J Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon D Reese
    posted to 1998 model_checking by leonardo on 2007-12-31 14:05:04 as ** along with 1 person shimomura
  • Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach
    Quality Software, 2007. QSIC '07. Seventh International Conference on (2007), pp. 356-362.
    by Farid Mokhati, Patrice Gagnon, Mourad Badri
    posted to 2007 model_checking rewriting uml by leonardo on 2007-12-18 16:05:45 as **
  • Formal refinement and model checking of an echo cancellation unit
    Design, Automation and Test in Europe Conference and Exhibition, 2004. Proceedings, Vol. 3 (2004), pp. 102-107 Vol.3.
    by Alexander Krupp, Wolfgang Mueller, Ian Oliver
    posted to 2004 b model_checking refinement statecharts uml by leonardo on 2007-12-09 19:30:40 as ****
  • Do You Trust Your Model Checker?
    Formal Methods in Computer-Aided Design (2000), pp. 199-216.
    by Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn, Tobias Vollmer
    posted to 2000 model_checking _to_download_springer by leonardo on 2007-12-01 15:54:19 as **
  • Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement
    Formal Approaches to Software Testing and Runtime Verification (2006), pp. 85-99.
    by Juhan P Ernits, Andres Kull, Kullo Raiend, Jüri Vain
    posted to 2006 model_checking refinement statecharts test _to_download_springer by leonardo on 2007-11-26 12:18:23 as ***
  • Model checking action system refinements
    Formal Aspects of Computing (2008)
    by Graeme Smith, Kirsten Winter
    posted to 2008 model_checking refinement semantics _to_appear by leonardo on 2007-11-15 22:05:33 as ****
  • An industrial application of symbolic model checking
    Informatik - Forschung und Entwicklung, Vol. 22, No. 2. (February 2008), pp. 95-108.
    by Florian Kammüller, Sören Preibusch
    posted to 2008 model_checking by leonardo on 2007-11-10 00:46:09 as ***
  • Issues in Implementing a Model Checker for Z
    Formal Methods and Software Engineering (2006), pp. 678-696.
    by John Derrick, Siobhán North, Tony Simons
    posted to 2006 alloy model_checking z by leonardo on 2007-10-26 01:31:09 as ***
  • Verifying data refinements using a model checker
    Formal Aspects of Computing, Vol. 18, No. 3. (2006), pp. 264-287.
    by Graeme Smith, John Derrick
    posted to 2006 model_checking refinement z by leonardo on 2007-10-26 00:59:58 as **
  • FSMC+, a tool for the generation of Java code from statecharts
    (2007), pp. 93-102.
    by Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi
    posted to 2007 code_generation evoting model_checking statecharts by leonardo on 2007-10-18 23:53:14 as ***
  • Model checking-based testing of Web applications
    Wuhan University Journal of Natural Sciences, Vol. 12, No. 5. (2007), pp. 922-926.
    by Hongwei Zeng, Huaikou Miao
    posted to 2007 model_checking test web_applications by leonardo on 2007-10-10 14:49:17 as **
  • Scaling up Model-checking
    Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (2007), pp. 275-283.
    by Aniket Kulkarni, Ravindra Metta, Ulka Shrotri, R Venkatesh
    posted to 2007 model_checking statecharts statemate by leonardo on 2007-08-27 13:36:29 as ***
  • Model Checking Graph Transformations: A Comparison of Two Approaches
    Graph Transformations (2004), pp. 226-241.
    by Arend Rensink, Ákos Schmidt, Dániel Varró
    posted to 2004 comparison graph_transformation model_checking _no_doi by leonardo on 2007-08-23 11:03:30 as ****
  • FDR Explorer
    Electron. Notes Theor. Comput. Sci., Vol. 187 (2007), pp. 19-34.
    by Leo Freitas, Jim Woodcock
    posted to 2007 csp fdr model_checking refinement by leonardo on 2007-08-21 02:01:04 as ***
  • Integrating Model Checking and Theorem Proving for Relational Reasoning
    Relational and Kleene-Algebraic Methods in Computer Science (2004), pp. 21-33.
    by Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin Rinard
    posted to 2004 alloy model_checking _no_doi theorem_prover by leonardo on 2007-08-16 14:51:05 as **** along with 1 person bfraser
  • Combined Formal Refinement and Model Checking for Real-Time Systems Verification
    Languages for System Specification (2004), pp. 301-314.
    by Alexander Krupp, Wolfgang Mueller, Ian Oliver
    posted to 2004 model_checking refinement statecharts by leonardo on 2007-08-16 14:39:10 as ****
  • Integrating a formal method into a software engineering process with UML and Java
    Formal Aspects of Computing (2008)
    by Michael Möller, Ernst R Olderog, Holger Rasch, Heike Wehrheim
    posted to 2007 contracts csp formal_specification java model_checking modelling objectz uml by leonardo on 2007-07-31 23:51:26 as ***
  • Some current topics in model checking
    International Journal on Software Tools for Technology Transfer, Vol. 9, No. 1. (February 2007), pp. 25-36.
    by Michael Huth
    posted to 2007 current_topics model_checking by leonardo on 2007-04-27 21:48:36 as ** along with 2 people cbertolini citeilike
  • On using data abstractions for model checking refinements
    Acta Informatica, Vol. 44, No. 1. (29 April 2007), pp. 41-71.
    by John Derrick, Heike Wehrheim
    posted to 2007 model_checking refinement by leonardo on 2007-04-27 21:42:55 as ***
  • Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking
    : Formal Methods and Software Engineering (2006), pp. 697-716.
    by Leo Freitas, Ana Cavalcanti, Jim Woodcock
    posted to 2006 model_checking refinement theorem_prover by leonardo on 2007-04-19 02:17:59 as ****
  • 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 2003 java model_checking by leonardo on 2007-03-27 02:28:06 as ** along with 3 people and 2 groups sjgaller citeilike yuichi0619 Context-driven-testers Desgin-by-Contract
  • State-rich model checking
    Innovations in Systems and Software Engineering, Vol. 2, No. 1. (13 March 2006), pp. 49-64.
    by Leo Freitas, Jim Woodcock, Ana Cavalcanti
    posted to 2006 csp model_checking z by leonardo on 2007-03-26 17:26:51 as ***
  • Model checking hierarchical communicating real-time state machines
    Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on, Vol. 1 (2005), 6 pp..
    by Angelo Furfaro, Libero Nigro
    posted to 2005 model_checking statecharts by leonardo on 2007-03-24 00:49:16 as ***
  • Model checking of statecharts using automatic white box test generation
    Circuits and Systems, 2005. 48th Midwest Symposium on (2005), pp. 327-332.
    by Doron Drusinsky
    posted to 2005 model_checking statecharts tests by leonardo on 2007-03-17 13:33:31 as ***
  • Modelling and model checking suspendible business processes via statechart diagrams and CSP
    Science of Computer Programming, Vol. 65, No. 1. (1 March 2007), pp. 14-29.
    by WL Yeung, KRPH Leung, Ji Wang, Wei Dong
    posted to 2006 _hardcopy csp history_mechanism model_checking process_modelling statecharts by leonardo on 2007-03-09 11:43:25 as ****
  • Finite Approximations for Model Checking Non-finite-state Processes
    The Computer Journal, Vol. 44, No. 2. (1 February 2001), pp. 109-123.
    by N De Francesco, Alessandro Fantechi, Stefania Gnesi, P Inverardi
    posted to 2001 model_checking processes by leonardo on 2007-02-09 13:29:11 as **
  • Model Checking Dynamic UML Consistency
    Lecture Notes in Computer Science : Formal Methods and Software Engineering (2006), pp. 440-459.
    by Xiangpeng Zhao, Quan Long, Zongyan Qiu
    posted to 2006 _to_print model_checking semantics spin statecharts uml by leonardo on 2006-12-17 19:18:38 as ** along with 2 people zxp dagelee
  • Model checking UML Statechart diagrams using JACK
    High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on (1999), pp. 46-55.
    by Stefania Gnesi, Diego Latella, Mieke Massink
    posted to 1999 model_checking statecharts by leonardo on 2006-10-27 01:40:19 as **
  • Analysis of recursive state machines
    ACM Trans. Program. Lang. Syst., Vol. 27, No. 4. (July 2005), pp. 786-818.
    by Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas Reps, Mihalis Yannakakis
    posted to 2005 model_checking statecharts by leonardo on 2006-10-17 19:19:42 as **
  • Automated formal verification of visual modeling languages by model checking
    Software and Systems Modeling, Vol. V3, No. 2. (1 May 2004), pp. 85-113.
    by Dániel Varró
    posted to 2005 model_checking verification by leonardo on 2006-10-15 03:12:59 as **
  • Model Checking of Statechart Models: Survey and Research Directions
    ArXiv Computer Science e-prints (July 2004)
    by P Bhaduri, S Ramesh
    posted to 2004 model_checking statecharts survey by leonardo on 2006-10-13 19:22:42 as ****
  • Action Language: a specification language for model checking reactive systems
    Software Engineering, 2000. Proceedings of the 2000 International Conference on (2000), pp. 335-344.
    by T Bultan
    posted to 2000 model_checking reactive_systems statecharts by leonardo on 2006-10-09 13:31:00 as **
  • Decoupling synchronization from local control for efficient symbolic model checking of statecharts
    Software Engineering, 1999. Proceedings of the 1999 International Conference on (1999), pp. 142-151.
    by William Chan, Richard J Anderson, Paul Beame, DH Jones, David Notkin, WE Warner
    posted to 1999 model_checking statecharts by leonardo on 2006-10-08 16:14:11 as **
  • Concurrent software verification with states, events, and deadlocks
    Formal Aspects of Computing, Vol. V17, No. 4. (26 December 2005), pp. 461-483.
    by Sagar Chaki, Edmund Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha
    posted to 2005 concurrent_systems model_checking verification by leonardo on 2006-10-07 02:46:42 as ****
  • Model Checking for Timed Statecharts
    Lecture Notes in Computer Science : Formal Techniques for Networked and Distributed Systems - FORTE 2005 (2005), pp. 261-274.
    by Junyan Qian, Baowen Xu
    posted to 2005 model_checking statecharts by leonardo on 2006-10-07 02:11:56 as **
  • Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
    Requirements Engineering, Vol. V7, No. 4. (1 December 2002), pp. 243-263.
    by Rik Eshuis, David N Jansen, Roel Wieringa
    posted to 2002 model_checking requirements semantics statecharts by leonardo on 2006-10-07 01:21:13 as **
  • Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model
    Lecture Notes in Computer Science : Computational Science and Its Applications - ICCSA 2006 (2006), pp. 905-911.
    by Sachoun Park, Gihwon Kwon
    posted to 2006 model_checking statecharts by leonardo on 2006-10-06 23:26:43 as **
  • Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker
    Formal Aspects of Computing, Vol. V11, No. 6. (3 December 1999), pp. 637-664.
    by Diego Latella, Istvan Majzik, Mieke Massink
    posted to 1999 model_checking spin statecharts uml verification by leonardo on 2006-10-06 19:27:43 as **
  • Formal verification of statecharts using finite-state model checkers
    Control Systems Technology, IEEE Transactions on, Vol. 14, No. 5. (2006), pp. 943-950.
    by Qianchuan Zhao, BH Krogh
    posted to 2006 model_checking statecharts by leonardo on 2006-09-26 15:18:50 as **
  • Symbolic model checking of UML activity diagrams
    ACM Trans. Softw. Eng. Methodol., Vol. 15, No. 1. (January 2006), pp. 1-38.
    by Rik Eshuis
    posted to 2006 model_checking uml by leonardo on 2006-09-26 14:25:11 as **
  • Model checking of hierarchical state machines
    ACM Trans. Program. Lang. Syst., Vol. 23, No. 3. (May 2001), pp. 273-303.
    by Rajeev Alur, Mihalis Yannakakis
    posted to 2001 model_checking statecharts by leonardo on 2006-04-03 03:25:27 as ** along with 1 person fheintz
  • Improving efficiency of symbolic model checking for state-based system requirements
    Vol. 23, No. 2. (March 1998), pp. 102-112.
    by William Chan, Richard J Anderson, Paul Beame, David Notkin
    posted to 1998 model_checking requirements statecharts by leonardo on 2006-04-03 03:02:12 as **
  • Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
    Journal of Logic and Algebraic Programming, Vol. 51, No. 1. ( 2002), pp. 43-75.
    by Stefania Gnesi, Diego Latella, Mieke Massink
    posted to 2002 model_checking semantics statecharts uml by leonardo on 2006-04-01 18:09:33 as **
  • Optimizing symbolic model checking for statecharts
    Software Engineering, IEEE Transactions on, Vol. 27, No. 2. (2001), pp. 170-190.
    by William Chan, Richard J Anderson, Paul Beame, DH Jones, David Notkin, WE Warner
    posted to 2001 model_checking statecharts by leonardo on 2006-04-01 15:41:07 as *
  • Formal verification of Statecharts using finite-state model checkers
    American Control Conference, 2001. Proceedings of the 2001, Vol. 1 (2001), pp. 313-318 vol.1.
    by Qianchuan Zhao, BH Krogh
    posted to 2001 model_checking statecharts verification by leonardo on 2006-04-01 15:33:06 as **
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/user/leonardo/tag/model_checking

    Result page: 1 2 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.