Register | Log in | FAQ      [?] 

Tag formal-methods [69 articles]

Recent papers classified by the tag formal-methods.
  • Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
    (19 July 2002)
    by Leslie Lamport
    posted to formal-methods temporal-logic by tautologico on 2005-09-06 20:45:59 as ** along with 1 person ljcamargos
  • Normative systems and their revision: an algebraic approach
    Artif. Intell. Law, Vol. 11, No. 2-3. (2003), pp. 81-104.
    by Lars Lindahl, Jan Odelstad
    posted to survivability specification regulative-systems normative-systems metalogical-frameworks mathematical-justice legal-frameworks lattice-of-norms lattice-of-legal-frameworks lattice-of-frameworks justices justice-infrastructures justice-frameworks hyperplanes hierarchy-of-normative-systems hierarchy-of-legal-frameworks heterogeneous-theories fractality formal-theories formal-methods formal-legal-sciences formal-justice-sciences evolution emergence control-systems computational-legal-sciences computational-justice-sciences combination coalgebraic-methods category-of-theories category-of-specifications category-of-normative-systems algebraicity algebraic-methods algebraic by Scis0000002 on 2007-06-21 17:51:31 as **
  • Discovering Algebraic Specifications from Java Classes
    (July 2003)
    by Johannes Henkel, Amer Diwan
    edited by Luca Cardelli
    posted to discovering discovery formal-methods ilp reconstructing reconstruction reengineering rewriting specification specifications by Scis0000002 on 2007-08-30 18:37:15 as **
  • A COMPARISON OF SIMULATION TECHNIQUES AND ALGEBRAIC TECHNIQUES FOR VERIFYING CONCURRENT SYSTEMS
    No. MIT/LCS/TM-499. (1993)
    by N Lynch, R Segala
    posted to verifying simulating formal-methods algebraicity algebraic-methods by Scis0000002 on 2008-09-06 06:24:16 as ** along with 1 person znmeb
  • Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... Lectures (Lecture Notes in Computer Science)
    (28 May 2002)
    by Roland Backhouse, Roy Crole, Jeremy Gibbons
    posted to specifications specification functional-programming formal-methods coalgebraicity coalgebraic-methods category-of-specifications algebraicity algebraic-methods by Scis0000002 on 2008-09-13 16:35:46 as **
  • On the Role of Category Theory in the Area of Algebraic Specification
    (1996), pp. 17-48.
    by Hartmut Ehrig, Martin Gro&\#223;e-Rhode, Uwe Wolter
    posted to formal-methods algebraicity algebraic-methods by Scis0000002 on 2008-09-07 10:07:43 as ** along with 1 person scis0000001
  • Formal methods in safety-critical standards
    Software Engineering Standards Symposium, 1993. Proceedings., 1993 (1993), pp. 168-177.
    by J Bowen
    posted to formal-methods product-standards standards by Scis0000002 on 2007-08-14 18:44:53 as **
  • Disappearing formal methods
    High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000 (2000), pp. 95-96.
    by J Rushby
    posted to formal-methods by Scis0000002 on 2007-08-13 23:06:21 as ** along with 1 person leonardo
  • Formal methods in robotics: Fault tree based verification
    (1999)
    by Axel Lankenau, Oliver Meyer
    posted to robotics formal-methods control-systems behaviors behaving activities by Scis0000002 on 2008-09-14 11:29:23 as **
  • The Mathematics and Mechanics of Relating Formal Theories
    by Robert L Constable
    posted to formal-evelopment formal-methods formal-theories logical-theories theories by Scis0000002 on 2007-08-07 22:33:12 as **
  • On Explicit Reflection in Theorem Proving and Formal Verification
    (1999), pp. 267-281.
    by Sergei N Artemov
    edited by Harald Ganzinger
    posted to formal-methods proving reflectivity by Scis0000002 on 2007-09-25 10:39:25 as **
  • On Applying Formal Grammar and Languages, and Deduction to Information Retrieval Modelling
    by Sandor Dominich
    posted to formal-methods information-retrieval by Scis0000002 on 2007-07-25 22:28:50 as **
  • Testing Concurrent Systems: A Formal Approach
    CONCUR’99 Concurrency Theory (1999), pp. 779-779.
    by Jan Tretmans
    posted to testing formal-methods concurrency by Scis0000002 on 2008-09-06 06:14:38 as ** along with 1 person mishra_satish
  • Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems
    (1994)
    by Fausto Giunchiglia, Paolo Pecchiari, Carolyn Talcott
    posted to formal-methods by Scis0000002 on 2007-08-20 14:37:58 as **
  • What Is a Concept?
    Lecture Notes in Computer Science : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 52-77.
    by Joseph Goguen
    posted to algebraic-semiotics blend-space blending-theory category-of-theories category-theory channel-theory chu-space classification combination concept-lattice conceptual-space conceptual-structures context contextuality cultrual-evolution dynamical-system fca formal-development formal-language-theory formal-methods formal-philosophy formal-science galois-frame general-systems-theory iff information-flow institutions lattice-of-theories logical-framework managed-logic maude mental-space metalogics metascience ontology ontology-space parchments regularity representation semantic-space semantics semiotic-space signatures systems-theory theory-development topos-theory unified-concept-theory by scis0000001 on 2007-04-21 14:31:54 as ** along with 7 people and 2 groups garyfeng adrian_pigors maike livingthingdan mzygmunt RafG Scis0000002 ReadingLab livingthing
  • Using Theory Morphisms for Implementing Formal Methods Tools
    No. 2646. (2003), pp. 59-77.
    by Achim D Brucker, Burkhart Wolff
    edited by Herman Geuvers, Freek Wiedijk
    posted to formal-methods by scis0000001 on 2007-05-03 00:09:02 as **
  • Re-Analysis of Michelson-Morley Experiments Reveals Agreement with COBE Cosmic Background Radiation Preferred Frame so Impacting on Interpretation of General Relativity
    (24 May 2002)
    by Reginald T Cahill, Kirsty Kitto
    posted to experiments formal-methods michelson-morley-experiment validation verification by scis0000001 on 2007-05-20 01:36:08 as ** along with 1 person and 2 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
  • Little Theories
    (1992), pp. 567-581.
    by William M Farmer, Joshua D Guttman, Javier F Thayer
    posted to formal-methods network-of-theories by scis0000001 on 2007-05-22 19:55:11 as ** along with 2 people and 2 groups A_Olympia Scis0000002 Philosophy_of_Information Blog_and_Wiki_Research
  • Assume-guarantee verification of source code with design-level assumptions
    (2004)
    by D Giannakopoulou, C Pasareanu, J Cobleigh
    posted to formal-methods verification by scis0000001 on 2007-05-01 21:49:16 as **
  • Rewriting Logic as a Framework for Building Generic Tools for Verifying Concurrent Systems
    (1998)
    by Martin Leucker
    posted to concurrency formal-methods rewriting-logic by scis0000001 on 2007-04-28 23:12:01 as ** along with 1 person jrw
  • Fuzzy Concepts and Formal Methods
    by Chris Matthews, Paul A Swatman
    posted to fca formal-methods by scis0000001 on 2006-12-08 10:28:11 as **
  • Relevance, Integration and Classification of Specification Formalisms and Formal Specification Techniques
    by H Ehrig, F Orejas, J Padberg
    posted to formal-methods specification by scis0000001 on 2007-04-28 07:14:24 as **
  • Towards an FCA based tool for visualising formal specifications
    (2003)
    by T Tilley
    posted to fca formal-methods specification by scis0000001 on 2006-11-24 14:31:30 as **
  • Rewriting Logic Semantics: From Language Specifications To Formal Analysis Tools
    by José Meseguer, Grigore Rosu
    posted to formal-methods maude model-checker rewriting-logic semantics specification by scis0000001 on 2007-04-27 23:59:54 as **
  • Verification of java programs using symbolic execution and invariant generation
    Vol. 2989 (2004)
    by C Pasareanu, W Visser
    posted to formal-methods symbolic-execution verification by scis0000001 on 2007-05-01 21:40:58 as ** along with 1 person citeilike
  • VeriAgent: an Approach to Integrating UML and Formal
    by Edjard M Edmund
    posted to verification uml formal-methods by scis0000001 on 2007-02-02 14:18:07 as **
  • Formal refinement patterns for goal-driven requirements elaboration
    Vol. 21, No. 6. (November 1996), pp. 179-190.
    by Robert Darimont, Axel v van Lamsweerde
    posted to formal-methods patterns requirements-engineering by sccook on 2005-06-07 15:58:27 as ***** along with 3 people marcia jenhork leonardo
  • Formal specification: a roadmap
    (2000), pp. 147-159.
    by Axel van Lamsweerde
    posted to roadmap formal-specification formal-methods by RalfMitschke on 2008-09-04 13:03:15 as ** along with 1 person leonardo
  • Formal methods: state of the art and future directions
    ACM Comput. Surv., Vol. 28, No. 4. (December 1996), pp. 626-643.
    by Edmund M Clarke, Jeannette M Wing
    posted to formal-methods by RalfMitschke on 2007-06-24 18:58:16 as ** along with 5 people GMariano jrw bfraser leonardo mmuecke
  • Formal performance evaluation of AMBA-based system-on-chip designs
    (2006), pp. 311-320.
    by Gabor Madl, Sudeep Pasricha, Luis, Nikil Dutt, Qiang Zhu
    posted to amba arm formal-methods on-chip-communication verification by mrsmond on 2008-02-08 15:26:44 as **
  • An AMBA-ARM7 Formal Verification Platform
    Formal Methods and Software Engineering (2003), pp. 48-67.
    by Kong Susanto, Tom Melham
    posted to amba arm formal-methods verification by mrsmond on 2008-02-08 15:17:30 as **
  • Fault injection for formal testing of fault tolerance
    Reliability, IEEE Transactions on, Vol. 45, No. 3. (1996), pp. 443-455.
    by D Avresky, J Arlat, JC Laprie, Y Crouzet
    posted to fault-injection fault-tolerance formal-methods interesting--low off-chip-communication by mrsmond on 2008-04-24 15:53:20 as * along with 1 person network01
  • Using formal techniques to debug the AMBA system-on-chip bus protocol
    Design, Automation and Test in Europe Conference and Exhibition, 2003 (2003), pp. 828-833.
    by A Roychoudhury, T Mitra, SR Karri
    posted to amba arm formal-methods on-chip-communication by mrsmond on 2008-02-08 15:31:43 as **
  • Formalizing Requirements for Distributed Systems with Trace Diagrams
    Vol. 1313 (1997), pp. 102-121.
    by Stephan Kleuker
    edited by John Fitzgerald, Cliff B Jones, Peter Lucas
    posted to distributed-systems formal-methods by lmorel on 2007-11-29 10:23:46 as **
  • Formal Methods For Quality Of Service Analysis In Component-Based Distributed Computing
    J. Integr. Des. Process Sci., Vol. 8, No. 2. (April 2004), pp. 137-149.
    by Chunmin Yang, Barrett R Bryant, Carol C Burt, Rajeev R Raje, Andrew M Olson, Mikhail Auguston
    posted to formal-methods qos by lmorel on 2007-10-30 17:42:07 as **
  • Trends in Timing Analysis
    From Model-Driven Design to Resource Management for Distributed Embedded Systems (2006), pp. 85-94.
    by Björn Lisper
    posted to formal-methods wcet by lmorel on 2007-10-30 17:50:39 as **
  • Timing Analysis of Automatically Generated Code by MATLAB/Simulink
    IEEE Industrial Electronics, IECON 2006 - 32nd Annual Conference on (2006), pp. 4575-4580.
    by Romulo S de Oliveira, Marcos V Linhares, Ricardo B Borges
    posted to formal-methods qos by lmorel on 2007-10-30 17:41:30 as **
  • notes Social processes and proofs of theorems and programs
    Commun. ACM, Vol. 22, No. 5. (May 1979), pp. 271-280.
    by Richard A De Millo, Richard J Lipton, Alan J Perlis
    posted to computer-science formal-methods model-checking by ljcamargos on 2006-11-10 15:28:57 as read along with 1 person imrchen
  • Structured presentation of refinements and proofs
    (1996)
    by D Carrington, I Hayes, R Nickson, G Watson, J Welsh
    posted to computer-science formal-methods proofs refinement by ljcamargos on 2007-10-09 15:47:53 as **** along with 1 person leonardo
  • Introduction to Formal Specification and Z (2nd Edition)
    (11 July 1996)
    by Ben Potter, Jane Sinclair, David Till
    posted to formal-methods z by jimburton on 2008-05-22 14:38:34 as *** along with 1 person smogit
  • Formal methods: state of the art and future directions
    ACM Computing Surveys, Vol. 28, No. 4. (1996), pp. 626-643.
    by Edmund M Clarke, Jeannette M Wing, Rajeev Alur, Rance Cleaveland, David Dill, Allen Emerson, Stephen Garland, Steven German, John Guttag, Anthony Hall, Thomas Henzinger, Gerard Holzmann, Cliff Jones, Robert Kurshan, Nancy Leveson, Kenneth Mcmillan, J Moore, Doron Peled, Amir Pnueli, John Rushby, Natarajan Shankar, Joseph Sifakis, Prasad Sistla, Bernhard Steffen, Pierre Wolper, Jim Woodcock, Pamela Zave
    posted to formal-methods by jimburton on 2008-05-22 14:30:42 as *** along with 2 people and 1 group rgrig citeilike SRG_at_UCD
  • Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages
    Diagrammatic Representation and Inference (2008), pp. 172-187.
    by Aidan Delaney, John Taylor, Simon Thompson
    posted to spider-diagrams formal-methods diagrams by jimburton on 2008-09-23 16:33:14 as read
  • Is proof more cost-effective than testing?
    Software Engineering, IEEE Transactions on, Vol. 26, No. 8. (2000), pp. 675-686.
    by S King, J Hammond, R Chapman, A Pryor
    posted to formal-methods by hawkestein on 2005-12-05 23:43:02 as **
  • Fast and loose reasoning is morally correct
    Vol. 41, No. 1. (January 2006), pp. 206-217.
    by Nils A Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons
    posted to category-theory formal-methods functional-programming by aleks to the group Compilers on 2006-04-20 22:57:08 as ** along with 4 people voigt p1738j Benja paper_jac
  • A Theory of Adjoint Functors--with some Thoughts about their Philosophical Significance
    (15 Nov 2005)
    by David Ellerman
    posted to category-theory formal-methods by aleks to the group Compilers on 2006-04-18 14:23:29 as ** along with 4 people and 1 group greg_restall Kevembuangga scis0000001 noam_zeilberger Impending_AI_breakthrough
  • Formal Models for Computer Security
    ACM Comput. Surv., Vol. 13, No. 3. (September 1981), pp. 247-278.
    by Carl E Landwehr
    posted to formal-methods security security-models by aleks to the group Compilers on 2006-04-18 21:19:02 as ** along with 2 people scavadini tesissvc
  • Reuse of SML module system for the B language
    by Dorian Petit, Vincent Poirriez, Georges Mariano
    posted to sml formal-methods b-method by GMariano to the group Formal methods for safety critical software on 2008-10-02 16:08:35 as **
  • Typed Contracts for Functional Programming
    Lecture Notes in Computer Science, Vol. 3945 (January 2006), pp. 208-225.
    by Ralf Hinze, Johan Jeuring, Andres Lã¶h
    posted to contracts formal-methods haskell by greenrd to the group SRG_at_UCD on 2006-05-21 00:17:08 as read along with 2 people craigtalbert jpbernardy
  • Verifying haskell programs using constructive type theory
    (2005), pp. 62-73.
    by Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
    posted to formal-methods haskell by greenrd to the group SRG_at_UCD on 2005-12-06 00:07:12 as ***** along with 4 people voigt p1738j msakai meiersi
  • Formalization of Fixed-Point Arithmetic in HOL
    Formal Methods in System Design, Vol. 27, No. 1-2. (September 2005), pp. 173-200.
    by Behzad Akbarpour, Sofiene Tahar, Abdelkader Dekdouk
    posted to formal-methods hol by greenrd to the group SRG_at_UCD on 2005-12-06 20:22:39 as **
    • Note: You may cite this page as: http://www.citeulike.org/tag/formal-methods

    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.