WorldCat Identities

IFIP Working Group 6.1

Overview
Works: 81 works in 184 publications in 1 language and 5,921 library holdings
Genres: Conference papers and proceedings 
Roles: Organizer of meeting
Publication Timeline
.
Most widely held works by IFIP Working Group 6.1
Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings by David de Frutos-Escrig( Book )

6 editions published in 2004 in English and held by 147 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2004, held in Madrid, Spain, in September 2004. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 54 submissions. Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space representation, pi-calculus, concurrency, Petri nets, routing protocol verification, and intrusion detection
Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings by Farn Wang( Book )

6 editions published in 2005 in English and held by 122 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, held in Taipei, Taiwan, in October 2005. The 33 revised full papers and 6 short papers presented together with 3 keynote speeches were carefully reviewed and selected from 88 submissions. The papers cover all current aspects of formal methods for distributed systems and communication protocols such as formal description techniques (MSC, UML, Use cases, . . .), semantic foundations, model-checking, SAT-based techniques, process algebrae, abstractions, protocol testing, protocol verification, network synthesis, security system analysis, network robustness, embedded systems, communication protocols, and several promising new techniques
Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification by Testing, and Verification, IV IFIP WG 6.1 International Workshop on Protocol Specification( Book )

4 editions published in 1985 in English and held by 122 WorldCat member libraries worldwide

Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings by Martin Steffen( Book )

6 editions published in 2005 in English and held by 117 WorldCat member libraries worldwide

"This volume contains the proceedings of FMOODS 2005, the 7th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15 -17, 2005."
Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings by Elie Najm( Book )

7 editions published in 2006 in English and held by 107 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions. The papers focus on the construction of middleware and services using formalised and verified approaches, and address - in addition to the classical protocol specification, verification and testing problems - the issues of composition of protocol functions and of algorithms for distributed systems. The papers are organized in topical sections on services, middleware, composition and synthesis, logics, symbolic verification/slicing, unified modeling languages, petri nets, parameterized verification, real time, and testing
Protocol specification, testing, and verification, VII : proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification by IFIP Working Group 6.1( Book )

5 editions published in 1987 in English and held by 98 WorldCat member libraries worldwide

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings by Elie Najm( Book )

5 editions published between 2003 and 2007 in English and held by 89 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2003, held in Paris, France in November 2003. The 18 revised full papers presented together with an invited paper were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on models, logic and verification, calculi, Java and .NET, UML, and composition and verification
Protocol specification, testing, and verification, VIII : proceedings of the IFIP WG 6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7-10, 1988 by Testing, and Verification IFIP WG 6.1 International Conference on Protocol Specification( Book )

2 editions published in 1988 in English and held by 88 WorldCat member libraries worldwide

Formal techniques for networked and distributed systems-- FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings by John Derrick( Book )

6 editions published in 2007 in English and held by 81 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007. The 22 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 67 submissions. The papers focus on service oriented computing and architectures using formalized and verified approaches. In addition to the classical protocol specification and verification problems, the issues of composition of protocol functions and of algorithms for distributed systems are addressed. The papers are organized in topical sections on message sequence charts and SDL, concurrency, model programs, theory, verification, model checking, requirements and QoS, as well as components
Protocols for high speed networks, IV by INTERNATIONAL WORKSHOP ON PROTOCOLS FOR HIGH-SPEED NETWORKS( Book )

4 editions published in 1995 in English and held by 79 WorldCat member libraries worldwide

This volume contains the papers which were accepted for presentation and publication at the Fourth International Workshop on Protocols for High Speed Networks, arranged by the International Federation for Information Processing and held in Vancouver, Canada, in August 1994
Formal description techniques, II : proceedings of the IFIP TC/WG 6.1 [sic] Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '89, Vancouver, Canada, 5-8 December 1989 by IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols( Book )

3 editions published in 1990 in English and held by 74 WorldCat member libraries worldwide

Protocols for high-speed networks, II : proceedings of the IFIP WG 6.1/WG 6.4 Second International Workshop on Protocols for High-Speed Networks, Palo Alto, CA, U.S.A., 27-29 November 1990 by IFIP WG 6.1/WG 6.4 International Workshop on Protocols for High-Speed Networks( Book )

7 editions published in 1991 in English and held by 73 WorldCat member libraries worldwide

Open distributed processing, II : proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processing, Berlin, Germany, 13-16 September, 1993 by IFIP TC6/WG6.1 International Conference on Open Distributed Processing( Book )

5 editions published in 1994 in English and held by 68 WorldCat member libraries worldwide

Distributed applications and interoperable systems : 7th IFIP WG 6.1 international conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings by Jadwiga Indulska( Book )

6 editions published in 2007 in English and held by 66 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2007, held in Paphos, Cyprus in June 2007. The DAIS conference was held as a joint event in federation with the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007) and the 9th International Conference on Coordination Models and Languages (Coordination 2007). The 24 revised full papers presented were carefully reviewed and selected from 97 submissions. The papers address current research in context-awareness, adaptation, mobility, distributed applications and peer-to-peer computing, all of which relate to the sustainability of distributed applications and integrated systems. The papers are organized in topical sections on context-awareness, distributed applications, adaptation, peer-to-peer, and mobility
Protocol specification, testing and verification, XIII : proceedings of the IFIP TC6/WG6.1. thirteenth International Symposium on Protocol Specification, Testing and Verification, Liége, Belgium, 25-28 May, 1993 by Testing, and Verification IFIP TC6/WG6.1 International Symposium on Protocol Specification( Book )

5 editions published in 1993 in English and held by 65 WorldCat member libraries worldwide

Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings by Gilles Barthe( Book )

4 editions published in 2008 in English and held by 43 WorldCat member libraries worldwide

Annotation
IWQoS '99 : 1999 Seventh International Workshop on Quality of Service : London, England, May 31-June 4, 1999 by International Workshop on Quality of Service( Book )

4 editions published in 1999 in English and held by 17 WorldCat member libraries worldwide

Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings by Roberto Bruni( )

1 edition published in 2011 in English and held by 0 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings by Alexandre Petrenko( )

1 edition published in 2010 in English and held by 0 WorldCat member libraries worldwide

Annotation
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.64 (from 0.51 for Formal tec ... to 0.77 for Protocol s ...)

Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings
Alternative Names
I.F.I.P. W.G. 6.1

I.F.I.P. Working Group 6.1

IFIP TC 6/WG 6.1

IFIP WG 6.1.

IFIP WG 6 11

International Federation for Information Processing. Technical Committee 6. WG 6.1

International Federation for Information Processing WG 6.1

International Federation for Information Processing Working Group 11

International Federation for Information Processing Working Group 6.1

International Federation for Information Processing Working Group 6 11

International Federation for Information Processing Working Group Electronic Commerce

Working Group Electronic Commerce

Languages
English (88)

Covers
Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedingsFormal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedingsFormal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedingsFormal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedingsFormal techniques for networked and distributed systems-- FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedingsProtocols for high speed networks, IVDistributed applications and interoperable systems : 7th IFIP WG 6.1 international conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedingsFormal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedingsIWQoS '99 : 1999 Seventh International Workshop on Quality of Service : London, England, May 31-June 4, 1999