default search action

• combined dblp search
• author search
• venue search
• publication search
• Semantic Scholar search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• MS Academic
• CiteSeerX
• CORE
• Semantic Scholar

IFIP Publications

Part of DisCoTec

• 
  Jorge A. Pérez, Nobuko Yoshida:
  Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings. Lecture Notes in Computer Science 11535, Springer 2019, ISBN 978-3-030-21758-7 [contents]

• 
  Christel Baier, Luís Caires:
  Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings. Lecture Notes in Computer Science 10854, Springer 2018, ISBN 978-3-319-92611-7 [contents]

• 
  Ahmed Bouajjani, Alexandra Silva:
  Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. Lecture Notes in Computer Science 10321, Springer 2017, ISBN 978-3-319-60224-0 [contents]

• 
  Elvira Albert, Ivan Lanese:
  Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lecture Notes in Computer Science 9688, Springer 2016, ISBN 978-3-319-39569-2 [contents]

• 
  Susanne Graf, Mahesh Viswanathan:
  Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Lecture Notes in Computer Science 9039, Springer 2015, ISBN 978-3-319-19194-2 [contents]

• 
  Erika Ábrahám, Catuscia Palamidessi:
  Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. Lecture Notes in Computer Science 8461, Springer 2014, ISBN 978-3-662-43612-7 [contents]

• 
  Dirk Beyer, Michele Boreale:
  Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings. Lecture Notes in Computer Science 7892, Springer 2013, ISBN 978-3-642-38591-9 [contents]

• 
  Holger Giese, Grigore Rosu:
  Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Lecture Notes in Computer Science 7273, Springer 2012, ISBN 978-3-642-30792-8 [contents]

• 
  Roberto Bruni, Jürgen Dingel:
  Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. Lecture Notes in Computer Science 6722, Springer 2011, ISBN 978-3-642-21460-8 [contents]

• 
  John Hatcliff, Elena Zucca:
  Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Lecture Notes in Computer Science 6117, Springer 2010, ISBN 978-3-642-13463-0 [contents]

• 
  David Lee, Antónia Lopes, Arnd Poetzsch-Heffter:
  Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Lecture Notes in Computer Science 5522, Springer 2009, ISBN 978-3-642-02137-4 [contents]

• 
  Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih:
  Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings. Lecture Notes in Computer Science 5048, Springer 2008, ISBN 978-3-540-68854-9 [contents]

• 
  John Derrick, Jüri Vain:
  Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings. Lecture Notes in Computer Science 4574, Springer 2007, ISBN 978-3-540-73195-5 [contents]

• 
  Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge:
  Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Lecture Notes in Computer Science 4229, Springer 2006, ISBN 3-540-46219-8 [contents]

• 
  Farn Wang:
  Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings. Lecture Notes in Computer Science 3731, Springer 2005, ISBN 3-540-29189-X [contents]

• 
  David de Frutos-Escrig, Manuel Núñez:
  Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings. Lecture Notes in Computer Science 3235, Springer 2004, ISBN 3-540-23252-4 [contents]
• 
  Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio:
  Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Lecture Notes in Computer Science 3236, Springer 2004, ISBN 3-540-23169-2 [contents]

• 
  Hartmut König, Monika Heiner, Adam Wolisz:
  Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings. Lecture Notes in Computer Science 2767, Springer 2003, ISBN 3-540-20175-0 [contents]

• 
  Doron A. Peled, Moshe Y. Vardi:
  Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings. Lecture Notes in Computer Science 2529, Springer 2002, ISBN 3-540-00141-7 [contents]

• 
  Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee:
  Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21^st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea. IFIP Conference Proceedings 197, Kluwer 2001, ISBN 0-7923-7470-3 [contents]

The merged FORTE/PSTV conference is just called FORTE since 2001.

• 
  Tommaso Bolognesi, Diego Latella:
  Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy. IFIP Conference Proceedings 183, Kluwer 2000, ISBN 0-7923-7968-3 [contents]

Formal Methods Elsewhere: ENTCS 43

• 
  Jianping Wu, Samuel T. Chanson, Qiang Gao:
  Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China. IFIP Conference Proceedings 156, Kluwer 1999, ISBN 0-7923-8646-9 [contents]

• 
  Stanislaw Budkowski, Ana R. Cavalli, Elie Najm:
  Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France. IFIP Conference Proceedings 135, Kluwer 1998, ISBN 0-412-84760-4 [contents]

• 
  Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino:
  Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan. IFIP Conference Proceedings 107, Chapman & Hall 1998, ISBN 0-412-82060-9 [contents]

FORTE/PSTV 1997 Home Page

• 
  Reinhard Gotzhein, Jan Bredereke:
  Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996. IFIP Conference Proceedings 69, Chapman & Hall 1996, ISBN 0-412-79490-X [contents]

• 
  Gregor von Bochmann, Rachida Dssouli, Omar Rafiq:
  Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. IFIP Conference Proceedings 43, Chapman & Hall 1996, ISBN 0-412-73270-X [contents]

• 
  Dieter Hogrefe, Stefan Leue:
  Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994. IFIP Conference Proceedings 6, Chapman & Hall 1995, ISBN 0-412-64450-9 [contents]

• 
  Richard L. Tenney, Paul D. Amer, M. Ümit Uyar:
  Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993. IFIP Transactions C-22, North-Holland 1994, ISBN 0-444-81773-5 [contents]

• 
  Michel Diaz, Roland Groz:
  Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992. IFIP Transactions C-10, North-Holland 1993, ISBN 0-444-89282-6 [contents]

• 
  Ken R. Parker, Gordon A. Rose:
  Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991. IFIP Transactions C-2, North-Holland 1992, ISBN 0-444-89402-0 [contents]

• 
  Juan Quemada, José A. Mañas, Enrique Vázquez:
  Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990. North-Holland 1991, ISBN 0-444-89024-6 [contents]

• 
  Son T. Vuong:
  Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989. North-Holland 1990, ISBN 0-444-88544-7 [contents]

• 
  Kenneth J. Turner:
  Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988. North-Holland 1989, ISBN 0-444-87126-8 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from web.archive.org

Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.

Citation data

Add a list of citing articles from to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.

Tweets on dblp homepage

Show tweets from on the dblp homepage.

load tweets from twitter.com

Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.

 last updated on 2020-03-06 23:18 CET by the dblp team

 all metadata released as open data under CC0 1.0 license 

see also: Terms of Use | Privacy Policy | Imprint

the dblp computer science bibliography is funded by: