rysavy's library 48 articles Export

	VeriTLA+: A Verification Environment for TLA+ Applied To Service Descriptions [My Copy] (2006) by Stephan Merz posted to formal_specification formal_verification by rysavy on 2006-04-20 21:32:11 as
	Verification of PLC Programs [My Copy] (2003) by Richard Susta posted to embedded formal_specification formal_verification by rysavy on 2006-04-19 12:32:37 as
	Alpha-Prolog: A Logic Programming Language with Names, Binding and Alpha-Equivalence [My Copy] LNCS In Proceedings of the 20th International Conference on Logic Programming (ICLP 2004), Vol. 3132 (September 2004), pp. 269-283. by James Cheney, Christian Urban posted to nominal_logic by rysavy on 2006-03-15 09:24:27 as
	A simpler proof theory for nominal logic [My Copy] (2005) by J. Cheney posted to nominal_logic by rysavy on 2006-03-15 09:20:13 as
	Nominal Logic: A First Order Theory of Names and Binding [My Copy] Lecture Notes in Computer Science, Vol. 2215 (2001), pp. 219-242. by Andrew M. Pitts posted to dependent_types nominal_logic type_theory by rysavy on 2006-03-02 08:46:25 as
	Model Checking for Abstract State Machines [My Copy] Journal of Universal Computer Science, Vol. 3, No. 5. (1997), pp. 689-701. by Kirsten Winter posted to abstract_state_machines formal_specification formal_verification by rysavy on 2006-02-17 11:21:43 as
	A Real-Time MAC Protocol for Wireless Sensor Networks: Virtual TDMA for Sensors (VTS) [My Copy] Lecture Notes in Computer Science, Vol. 3894 (February 2006), pp. 382-396. by Esteban Egea-López, Javier Vales-Alonso, Alejandro S. Martínez-Sala, Joan García-Haro, Pablo Pavón-Mariño, Victoria M. Bueno-Delgado posted to embedded networking real_time by rysavy on 2006-02-17 10:44:14 as
	The Sequential ASM Thesis [My Copy] Bulletin of European Association for Theoretical Computer Science (February 1999) by Yuri Gurevich posted to abstract_state_machines by rysavy on 2006-02-16 11:43:38 as
	A Formal Representation of Abstract State Machines using PVS [My Copy] (1998) by A. Dold posted to abstract_state_machines formal_specification formal_verification by rysavy on 2006-02-15 14:26:19 as
	Typed Abstract State Machines [My Copy] (2001) by Guiseppe Del Castillo, Yuri Gurevich, Karl Stroetmann posted to abstract_state_machines type_theory by rysavy on 2006-02-15 12:14:13 as
	Encoding Abstract State Machines in PVS [My Copy] Lecture Notes in Computer Science, Vol. 1912 (2000), 303. by Angelo Gargantini, Elvinia Riccobene edited by Y. Gurevich, P. W. Kutter, M. Odersky, L. Thiele posted to abstract_state_machines formal_specification formal_verification by rysavy on 2006-02-15 08:58:32 as
	A Logic for Abstract State Machine [My Copy] Jurnal of Universal Computer Science, Vol. 7, No. 11. (2001) by Robert Stark, Stanislas Nanchen posted to abstract_state_machines dynamic_logic formal_specification modal_logic by rysavy on 2006-02-15 08:50:53 as
	Abstract State Machine Semantics of SDL [My Copy] Journal of Universal Computer Science, Vol. 3, No. 12. (1997), pp. 1382-1414. by U. Glaesser, R. Karges posted to embedded formal_specification by rysavy on 2006-02-14 09:16:04 as
	Formalizing a lazy substitution proof system for mu-calculus in the Calculus of Inductive Constructions [My Copy] In 26-th International Colloquium on Automata, Languages, and Programming (1999) by Mario Miculan posted to dependent_types type_theory by rysavy on 2006-02-10 14:39:16 as
	Verification of Reactive Systems Using DisCo and PVS [My Copy] In FME (1997), pp. 589-604. by Pertti Kellomaki posted to embedded formal_specification real_time by rysavy on 2006-02-10 09:31:09 as
	Abstraction and Modular Verification of Infinite-State Reactive Systems [My Copy] In Requirements Targeting Software and Systems Engineering (1997), pp. 273-292. by Zohar Manna, Michael Colon, Bernd Finkbeiner, Henny Sipma, Tomas E. Uribe posted to formal_specification formal_verification by rysavy on 2006-02-10 09:06:06 as
	Embedded System Design Issues [My Copy] In Proceedings of the International Conference on Computer Design (1996) by Philip J. Koopman posted to embedded by rysavy on 2006-02-07 10:28:22 as
	Steam-boiler specification problem [My Copy] (1994) by Jean-Raymond Abrial posted to embedded formal_specification by rysavy on 2006-01-25 09:04:29 as
	Guidelines for Using SDL in Product Development [My Copy] Lecture Notes in Computer Science In System Analysis and Modeling: 4th International SDL and MSC Workshop, Vol. 3319 (2004) by Frank Weil1, Thomas Weigert edited by Daniel Amyot, Alan W. Williams posted to embedded formal_specification by rysavy on 2006-01-24 15:03:01 as
	Timed Extensions for SDL [My Copy] In SDL 2001, Vol. 2078 (2001) by Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent edited by R. Reed, J. Reed posted to embedded formal_specification by rysavy on 2006-01-18 08:02:22 as
	Using SDL in a Stateless Environment [My Copy] Lecture Notes in Computer Science In SDL 2001, Vol. 2078 (2001), pp. 316-334. by Vassilios Courzakis, Martin von Löwis, Ralf Schröder edited by R. Reed, J. Reed posted to embedded formal_specification by rysavy on 2006-01-18 07:49:33 as
	A Mathematical Semantics for Architectural Connectors [My Copy] Lecture Notes in Computer Science In Generic Programming: Advanced Lectures, Vol. 2793 (2003), pp. 178-221. by J. L. Fiadeiro, A. Lopes, M. Wermelinger edited by Roland Backhouse, Jeremy Gibbons posted to generic_programming programming_languages rotor3 by rysavy on 2006-01-18 07:42:30 as
	Basic Category Theory for Models of Syntax [My Copy] Lecture Notes in Computer Science In Generic Programming: Advanced Lectures, Vol. 2793 (2003), pp. 133-177. by R. L. Crole edited by Roland Backhouse, Jeremy Gibbons posted to generic_programming programming_languages rotor3 by rysavy on 2006-01-18 07:40:07 as
	Generic Properties of Datatypes [My Copy] Lecture Notes in Computer Science In Generic Programming: Advanced Lectures, Vol. 2793 (2003), pp. 97-132. by Roland Backhouse, Paul Hoogendijk edited by Roland Backhouse, Jeremy Gibbons posted to generic_programming programming_languages rotor3 by rysavy on 2006-01-18 07:37:02 as
	Generic Haskell: Applications [My Copy] Lecture Notes in Computer Science In Generic Programming: Advanced Lectures, Vol. 2793 (2003), pp. 57-96. by Ralf Hinze, Johan Jeuring edited by Roland Backhouse, Jeremy Gibbons posted to generic_programming programming_languages rotor3 by rysavy on 2006-01-18 07:34:16 as
	Generic Haskell: Practice and Theory [My Copy] Lecture Notes in Computer Science In Generic Programming: Advanced Lectures, Vol. 2793 (2003), pp. 1-56. by Ralf Hinze, Johan Jeuring edited by Roland Backhouse, Jeremy Gibbons posted to generic_programming programming_languages rotor3 by rysavy on 2006-01-18 07:30:39 as
	Datatype-Generic Programming [My Copy] by Roland Backhouse, Jeremy Gibbons posted to dependent_types generic_programming programming_languages rotor3 by rysavy on 2006-01-18 07:24:43 as
	Patterns in Datatype-Generic Programming [My Copy] In Declarative Programming in the Context of Object-Oriented Languages (August 2003) by Jeremy Gibbons posted to generic_programming programming_languages rotor3 by rysavy on 2006-01-18 07:20:47 as
	Verifying Large SDL-Specifications Using Model Checking [My Copy] Lecture Notes in Computer Science, Vol. 2078 (2001) by Natalia Sidorova, Martin Steffen posted to embedded formal_specification by rysavy on 2006-01-17 15:40:38 as
	Automatic Formal Model Generation and Analysis of SDL [My Copy] Lecture Notes in Computer Science, Vol. 2708 (2003), pp. 285-299. by Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi posted to embedded formal_specification by rysavy on 2006-01-17 15:31:47 as
	Generating a Compiler for SDL from the Formal Language Definition [My Copy] Lecture Notes in Computer Science, Vol. 2708 (2003), pp. 150-165. by Andreas Prinz, Martin posted to embedded formal_specification by rysavy on 2006-01-17 15:28:39 as
	Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems [My Copy] Lecture Notes in Computer Science, Vol. 2708 (2003), pp. 137-149. by Christoforos Kavadias, Bernard Perrin, Vangelis Kollias, Michael Loupis posted to embedded formal_specification by rysavy on 2006-01-17 15:25:52 as
	A Real-Time Profile for UML and How to Adapt It to SDL [My Copy] Lecture Notes in Computer Science, Vol. 2708 (2003), pp. 55-76. by Susanne Graf, Ileana Ober posted to embedded formal_specification by rysavy on 2006-01-17 15:23:41 as
	Using SDL for Modeling Behavior Composition [My Copy] Lecture Notes in Computer Science, Vol. 2708 (2003) by Jacqueline Floch, Rolv Bræk posted to embedded formal_specification by rysavy on 2006-01-17 15:21:26 as
	SDL Design of OSPF Protocol for the Wireless Private Network [My Copy] Lecture Notes in Computer Science In SDL 2005: Model Driven Systems Design: 12th International SDL Forum, Vol. 3530 by Yang Yang, Yang Lu, Xiaokang Lin edited by Andreas Prinz, Rick Reed, Jeanne Reed posted to embedded formal_specification by rysavy on 2006-01-17 15:17:34 as
	SDL formal definition - General [My Copy] (2002) by Ccitt Itu posted to embedded formal_specification by rysavy on 2006-01-17 14:58:58 as
	Specification and Description Language SDL [My Copy] (2002) by Ccitt Itu posted to embedded formal_specification by rysavy on 2006-01-17 14:51:28 as
	An Operational Semantic Model for Basic SDL [My Copy] (1991) by J. Godskesen posted to embedded formal_specification by rysavy on 2006-01-17 14:36:36 as
	Protocol Analysis using a timed version of SDL [My Copy] In Proceedings. of 3rd. International Conference on Formal Description Techniques (November 1990) by Falko Bause, Peter Buchholz posted to embedded by rysavy on 2006-01-17 14:33:29 as
	Towards a Formal Foundation of the Specification and Description Language SDL [My Copy] Formal Aspects of Computing, Vol. 3, No. 1. (1991), pp. 21-57. by M. Broy posted to embedded formal_specification formal_verification by rysavy on 2006-01-17 14:24:42 as
	Specifying Real-Time Requirements for SDL Specifications: A Temporal Logic-Based Approach [My Copy] In Proceedings of the Fifteenth International Symposium on Protocol Specification, Testing, and Verification (1995) by Stefan Leue posted to embedded formal_specification by rysavy on 2006-01-17 14:17:44 as
	Verification of Embedded Software: Problems and Perspectives [My Copy] Lecture Notes in Computer Science, Vol. 2211 (2001), pp. 97-??. by Patrick Cousot, Radhia Cousot posted to embedded formal_specification formal_verification by rysavy on 2006-01-17 14:14:10 as along with 1 person suer
	Dynamic Typing with Dependent Types [My Copy] Exploring New Frontiers of Theoretical Informatics In IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004) (2004), pp. 437-450. by Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker edited by Jean-Jacques Levy, Ernst W. Mayr, John C. Mitchell posted to dependent_types programming_languages rotor3 by rysavy on 2006-01-16 09:31:46 as
	Dynamic Types and Type Dependent Functions [My Copy] In Implementation of Functional Languages (1998), pp. 169-185. by Marco Pil posted to dependent_types programming_languages rotor3 by rysavy on 2006-01-16 07:07:41 as
	Syntax and Semantics of Dependent Types [My Copy] In Semantics and Logics of Computation, Vol. 14 (1997), pp. 79-130. by Martin Hofmann edited by A. M. Pitts, P. Dybjer posted to dependent_types rotor3 type_theory by rysavy on 2006-01-13 13:52:12 as along with 3 people and 1 group tautologico xiemaisi msakai AS-IIS_ReadingGroup
	Dependent Types for Program Termination Verification [My Copy] In Logic in Computer Science (2001) by Hongwei Xi posted to dependent_types program_verification rotor3 by rysavy on 2006-01-13 13:44:37 as along with 1 person and 1 group dherman NU-PRL
	Dependent types in practical programming [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227. by Hongwei Xi, Frank Pfenning posted to dependent_types rotor3 by rysavy on 2006-01-13 13:38:52 as along with 11 people and 1 group ama08r shimomura msakai rgrig yallop tautologico japple voigt kavabean geishagirls jimburton SRG_at_UCD
	Dependently Typed Data Structures [My Copy] (2000) by Hongwei Xi posted to dependent_types rotor3 by rysavy on 2006-01-13 13:36:50 as along with 3 people and 1 group dherman tautologico japple NU-PRL

Note: You may cite this page as: http://www.citeulike.org/user/rysavy/article/

formal_specification	26
embedded	23
rotor3	13
dependent_types	9
programming_languages	9
formal_verification	8
generic_programming	7
abstract_state_machines	6
type_theory	4
nominal_logic	3
real_time	2
program_verification	1
modal_logic	1
dynamic_logic	1
networking	1

rysavy's library 48 articles Export

rysavy's tags