Geometry.Net - the online learning center
Home  - Science - Logic Temporal
e99.com Bookstore
  
Images 
Newsgroups
Page 6     101-109 of 109    Back | 1  | 2  | 3  | 4  | 5  | 6 
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

         Logic Temporal:     more books (100)
  1. Executable Modal and Temporal Logics by Michael Fisher, 2007
  2. The complementation problem for buchi automata with applications to temporal logic (Research Report RJ. International Business Machines Corporation. Research Division) by Aravinda Prasad Sistla, 1986
  3. Automatic verification of finite state machines using temporal logic (Research paper. Carnegie Mellon University. Computer Science Dept) by Michael C Browne, 1989
  4. Engineering of Computer Based Systems, 10th Annual IEEE International Conference on Temporal Logic, 4th International Conference On by IEEE Computer Society Staff, 2003-01-01
  5. Control of discrete event systems in temporal logic (PATH technical note) by Akash Deshpande, 1994
  6. Hierarchical planning using temporal logic (Tech report) by Michael J Manthey, 1984
  7. Sy-Control: A tool for syntactic control in temporal logic (PATH technical note) by Akash Deshpande, 1994
  8. The Temporal Logic Of Reactive And Concurrent Systems by Zohar Manna, 1991-01-01
  9. Specification and reasoning of real-time systems in real-time temporal interval logic (Technical report. Pennsylvania State University. Dept. of Computer Science) by K. T Narayana, 1988
  10. A proof editor for propositional temporal logic (Report / Dept. of Computer Science, Stanford University) by Ross Casley, 1986
  11. Moments and points in an interval-based temporal logic (Technical report. University of Rochester. Dept. of Computer Science) by James Allen, 1987
  12. Functional temporal calculus versus temporal logic: An engineering approach (Report. Katholieke Universiteit Nijmegen. Faculteit der Wiskunde en Natuurwetenschappen. Sectie Informatica) by R. T Boute, 1985
  13. Reasoning in interval temporal logic (Report / Stanford University. Dept. of Computer Science) by Ben Moszkowski, 1983
  14. Alternating automata and the exponential decidability of an extended branching time temporal logic ([Report]. Universite P. et M. Curie. Institut de Programmation. ... Informatique Theorique et Programmation) by D. E Muller, 1986

101. SDL Mailing List: Re: SDL-News: SDL And Temporal Logic
Re SDLNews SDL and temporal logic. Subject Re Next message philippeLeblanc RE SDL-News SDL and temporal logic ; Previous message
http://www.sdl-forum.org/Archives/SDL/0086.html
Re: SDL-News: SDL and temporal logic
Subject: Re: SDL-News: SDL and temporal logic
From: Susanne Graf ( Susanne.Graf@imag.fr
Date: Sun Dec 17 2000 - 08:58:48 MST http://www.sdl-forum.org/Society/members.htm
The originator of this message is responsible for its content.
Hi,
We have a tool, called IF toolbox
( see http://www-verimag.imag.fr/~async/IF/ for the toolbox and
http://www-verimag.imag.fr/~async/ to know who we are )
which allows to do different type of verifications of SDL specifications. For the
moment it works on a API of the ObjectGeode SDL tool of Telelogic.
The tool-set allows verification of properties expressed as formulas of the mu-calculus and has shorthands for the usual CTL operators.

102. SDL Mailing List: SDL-News: SDL And Temporal Logic
SDLNews SDL and temporal logic. Subject SDL-News SDL and temporal logicFrom Pedro Merino (pedro@lcc.uma.es) Date Fri Dec 15 2000 - 025246 MST.
http://www.sdl-forum.org/Archives/SDL/0077.html
SDL-News: SDL and temporal logic
Subject: SDL-News: SDL and temporal logic
From: Pedro Merino ( pedro@lcc.uma.es
Date: Fri Dec 15 2000 - 02:52:46 MST http://www.sdl-forum.org/Society/members.htm
The originator of this message is responsible for its content.
Dear Colleagues,
I am working in the verification of temporal logic properties against
SDL systems. The idea is to support LTL as a complementary property
language to MSC.
anybody give me information about other SDL tools supporting temporal
logic ?
Regards Pedro Merino Pedro Merino Gómez Universidad de Málaga, Departamento de Lenguajes y Ciencias de la Computación ETSI Informática- ETSI Telecomuniación Campus de Teatinos 29071 Málaga (SPAIN) Teléfono: 952 132752 Fax: 952131397 e.mail: pedro@lcc.uma.es Despacho: 3.2.9 http://www.sdl-forum.org/Society/members.htm

103. Lambda The Ultimate Diagnosing Java Code: Assertions And Temporal Logic In Java
Diagnosing Java code Assertions and temporal logic in Java. Previous topic,Next topic. Diagnosing Java code Assertions and temporal logic in Java.
http://lambda.weblogs.com/discuss/msgReader$4204
Lambda the Ultimate
The Programming Languages Weblog - join today! Home FAQ Feedback Departments ... Genealogical Diagrams
Members Join Now
Login
Diagnosing Java code: Assertions and temporal logic in Java
Previous topic
Next topic
Diagnosing Java code: Assertions and temporal logic in Java
started 8/30/2002; 3:37:04 AM - last post 8/30/2002; 3:37:04 AM jon fernquest - Diagnosing Java code: Assertions and temporal logic in Java
8/30/2002; 3:37:04 AM (reads: 2076, responses: 0) Diagnosing Java code: Assertions and temporal logic in Java Qualifies assertions with modal operators from temporal logic : Always, Sometime, Until, Next. "In the case of digital circuits, assertions like these are statically verified before the chip is built... In the case of software, our ability to statically check such assertions is paltry, but quality tools exist for checking that these assertions hold during particular runs of the program (such as, say, the runs of your unit tests). Assertions like these can help you to leverage unit testing to a much greater degree; each temporal logic assertion can correspond to countless traditional assertions (and that's just in cases where traditional assertions could be used to express the assertion at all." Unfortunately only commercial software is currently available to do these checks. The next article in the series

104. Advances In Temporal Logic|KLUWER Academic Publishers
Books » Advances in temporal logic. Advances in temporal logic. Addto cart. edited by Howard Barringer University of Manchester, UK
http://www.wkap.nl/prod/b/0-7923-6149-0
Title Authors Affiliation ISBN ISSN advanced search search tips Books Advances in Temporal Logic
Advances in Temporal Logic
Add to cart
edited by
Howard Barringer
University of Manchester, UK
Michael Fisher
Manchester Metropolitan University, UK
Dov M. Gabbay
Dept. of Computer Science, King's College, London, UK
Graham Gough University of Manchester, UK Book Series: APPLIED LOGIC SERIES Volume 16 Time is a fascinating subject that has captured mankind's imagination from ancient times to the present. It has been, and continues to be studied across a wide range of disciplines, from the natural sciences to philosophy and logic. More than two decades ago, Pnueli in a seminal work showed the value of temporal logic in the specification and verification of computer programs. Today, a strong, vibrant international research community exists in the broad community of computer science and AI. This volume presents a number of articles from leading researchers containing state-of-the-art results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. Earlier versions of some of the articles were given at the most recent International Conference on Temporal Logic, University of Manchester, UK. Readership Contents and Contributors Kluwer Academic Publishers, Dordrecht

105. Julian Bradfield's Home Page
University of Edinburgh Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
http://www.dcs.ed.ac.uk/~jcb/
Julian Bradfield
GnuPG public key (for routine matters))
very old PGP (2.6.2i) public key (only if you can't use GnuPG)
Phone: +44 131 650 5998
Fax: +44 131 667 7209
Computer Science
King's Buildings
Mayfield Road
Edinburgh EH9 3JZ
United Kingdom
I am Reader in Computer Science here at the University of Edinburgh. My first degree was in Mathematics, from Cambridge, and after doing the conversion Diploma in Computer Science, I came to Edinburgh for my Ph.D. After completing this, I was a postdoc for a couple of years, and since 1992 I've been on the teaching staff. From 1997 to 2002, I was an EPSRC Advanced Research Fellow.
Research
If you're interested in my research, please go to my research page
Teaching
In 2003-4, I am lecturing:
Administration
CSL'02
If you're looking for archived information on CSL'02, the

106. Theoretical Computer Science - Faculty
Institute of Mathematical Sciences, Chennai Theory of distributed systems, temporal logics, Partial order models of concurrency, Logics of knowledge.
http://www.imsc.ernet.in/~jam/
R. Ramanujam
Research interests :
Mathematical and philosophical logic in computer science
Theory of distributed systems
  • Temporal logics and verification
  • Partial order models of concurrency
  • Security protocols
  • Logics of knowledge
Some papers:
  • Paul Krasucki and R.Ramanujam, Knowledge and the ordering of events in distributed systems, Proc. Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, 1994, 267-283. Click here for gzipped-.ps file
  • Kamal Lodaya, Rohit Parikh, R.Ramanujam and P.S.Thiagarajan, A logical study of distributed transition systems, Information and Computation, Vol 119, No. 1, 1995, 91-118.
  • Click here for gzipped-.ps file
  • R. Ramanujam, Local knowledge assertions in a changing world, Proc. Theoretical Aspects of Rationality and Knowledge, Morgan Kaufmann, 1996, pp 1-17. Click here for gzipped-.ps file
  • R. Ramanujam, Locally linear time temporal logic, Proc. IEEE Logic in Computer Science, New Jersey, 1996, pp 118-127. Click here for gzipped-.ps file
  • R. Ramanujam, Trace consistency and inevitability, Proc. FST and TCS, Hyderabad, 1996, Springer LNCS 1180, pp 250-261. Click here for gzipped-.ps file

107. Research Papers
University of Edinburgh Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.
http://www.dcs.ed.ac.uk/~cps/
Colin Stirling
Research Interests
Models and calculi for concurrent computation, modal and temporal logics with fixed points and their applications to verification and description of program properties. Tools for Concurrency, the Edinburgh Concurrency Workbench
Slides
Slides on "modal and temporal logics", International Winter School on Semantics and Applications, Montevideo, Uruguay, 2003.
Books
Recent Papers
  • Deciding DPDA equivalence is primitive recursive
    ICALP 2002
    Lecture Notes in Computer Science
    Longer draft paper
  • With M. Lange
    Model checking fixed point logic with chop
    FOSSACS 2002
    Lecture Notes in Computer Science
  • Bisimulation and language equivalence
    To appear in "Logic for Concurrency and Synchronisation" Volume in Kluwer series "Trends in Logic"
  • With M. Lange Model checking games for branching time logics Journal of Logic and Computation
  • An introduction to decidability of DPDA equivalence FSTTCS 2001 (invited talk) Lecture Notes in Computer Science
  • Decidability of DPDA equivalence Theoretical Computer Science
  • With C. Morvan

    • 108. The Homepage Of Ben Moszkowski

    http://www.cse.dmu.ac.uk/~benm/

    109. Temporale Logik Und Zustandssysteme
    Translate this page Oettingenstr. 67 Literatur. D. Gabbay, I. Hodkinson, M. Reynolds TemporalLogic - Mathematical Foundations and Computational Aspects. Vol. 1
    http://www.pst.informatik.uni-muenchen.de/lehre/SS02/tl/

    A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

    Page 6     101-109 of 109    Back | 1  | 2  | 3  | 4  | 5  | 6 

    free hit counter