Browse by organisation - IFIP-FORTE

Access content directly

Documentation

Collection IFIP-FORTE
Search
Loading...
Advanced Search
Information de documents
Titles
Subtitle
Work title
hal_serie_t
Default search field (multi-criteria) + PDF full text
Abstract
Full text of PDF document
Keywords
Document type
Document subtype
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool

Author
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: personID (integer)
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor

Structure
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country

Autres
Default search field (multi-criteria)
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Search using SolR syntax
Upload

Formal Techniques for Networked and Distributed Systems

Home
FORTE
Browse
Conferences
AICT Series
LNBIP
LNCS
eCollection Series
ePublication
IFIP Society Publications

Loading...

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
other
all

AELOS
ARM Ltd [Cambridge]
Aalto University
Airbus Central Research and Technology [Munich]
Airbus Group Innovations [Suresnes]
Airbus [France]
Aix Marseille Université
Albert-Ludwigs-Universität Freiburg
Alcatel-Lucent Bell Labs
Alexandru Ioan Cuza University of Iași = Universitatea Alexandru Ioan Cuza din Iași
Algorithms for the Grid
Alma Mater Studiorum Università di Bologna = University of Bologna
American University of Beirut [Beyrouth]
Assistance à la Certification d’Applications DIstribuées et Embarquées
Aston University [Birmingham]
Australian National University
BASICS
Bar-Ilan University [Israël]
Brunel University London [Uxbridge]
Budapest University of Technology and Economics [Budapest]
CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa]
COMmunications, Réseaux, systèmes Embarqués et Distribués
California Institute of Technology
Carnegie Mellon University [Pittsburgh]
Catholic University of Leuven = Katholieke Universiteit Leuven
CentraleSupélec
Centre National de la Recherche Scientifique
Centre de Coopération Internationale en Recherche Agronomique pour le Développement
Centre de Recherche Informatique de Montréal = Computer Research Institute of Montréal
Centro de Informática e Tecnologia Informação
Centrum Wiskunde & Informatica
Chalmers University of Technology [Göteborg]
Chinese Academy of Sciences [Beijing]
Chinese Academy of Sciences [Changchun Branch]
Commissariat à l'énergie atomique et aux énergies alternatives
Commonwealth Scientific and Industrial Research Organisation [Canberra]
Computational and Systems Biology [Trento]
Computer Learning Research Centre [Royal Holloway, University of London]
Concurrency, Mobility and Transactions
Construction of verified concurrent systems
DCR Solutions
DSIC
Danmarks Tekniske Universitet = Technical University of Denmark
Darmstadt University of Technology [Darmstadt]
Data61 [Canberra]
Departamento Sistemas Informáticos y Computación [Madrid]
Departamento de Ciência da Computação [Minas Gerais]
Departamento de Informática
Departamento de Lenguajes y Sistemas Informáticos e Ingeniería de Software [Madrid]
Departamento de Sistemas Informáticos y Computación
Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid
Department of Applied Mathematics and Computer Science [Lyngby]
Department of Computer Science
Department of Computer Science - Trinity College Dublin
Department of Computer Science [Copenhagen]
Department of Computer Science [Santa Barbara]
Department of Computer Science [UIUC]
Department of Computer Science and Engineering [Bologna]
Department of Computer and Information Science [Pennsylvania]
Department of Computing and Information Sciences [Kansas]
Department of Electrical and Computer Engineering
Department of Electronics and Telecommunication
Department of Formal Methods
Department of Informatics [Oslo]
Department of Information Systems and Computing
Department of Information and Computer Science
Department of Mathematics and Computer Science
Department of Statistics, Trinity College Dublin
Department of Telematics
Departmento de Sistemas Informáticos
Design and Implementation of Autonomous Distributed Systems
Dipartimento di Informatica [Pisa]
Dipartimento di Informatica [Torino]
Dipartimento di Informatica e Sistemistica "Antonio Ruberti"
Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi [Genova]
Dipartimento di Scienze dell'Informazione [Bologna]
Direction de Recherche Technologique (CEA)
Distributed Programming Laboratory
Distributed Systems and Computer Networks
Distributed and Iterative Algorithms for the Management of Telecommunications Systems
Département Informatique
East China Normal University [Shangaï]
Ecole Polytechnique Fédérale de Lausanne
Ecole Pour l'Informatique et les Techniques Avancées
Efficient STAtistical methods in SYstems of systems
Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich]
Eindhoven University of Technology [Eindhoven]
European Organization for Nuclear Research
Exformatics [Copenhagen]
FUTURE HEALTH DEPARTMENT [KU Leuven]
Facebook
Faculdade de Ciências e Tecnologia = School of Science & Technology
Faculty of Computer Science [Iași]
Faculty of Mathematics and Natural Sciences [Oslo]
Faculty of Science [Copenhagen]
FernUniversit¨at in Hagen
Fondazione Bruno Kessler [Trento, Italy]
Formal Methods and Tools
Formal Methods for Embedded Systems
Foundations of Component-based Ubiquitous Systems
General Motors [Warren]
Georgetown University [Washington]
Google Inc [Mountain View]
Gran Sasso Science Institute
Hasso Plattner Institute [Potsdam, Germany]
Humboldt State University
Humboldt-Universität zu Berlin = Humboldt University of Berlin = Université Humboldt de Berlin
Hungarian Academy of Sciences
IMT Atlantique
IMT Institute for Advanced Studies [Lucca]
INRIA Lorraine
IT University of Copenhagen
Imperial College London
Indian Institute of Science
Indian Institute of Technology Delhi
Informal systems [Vienna]
Inria Grenoble - Rhône-Alpes
Inria Nancy - Grand Est
Inria Paris-Rocquencourt
Inria Rennes – Bretagne Atlantique
Inria Saclay - Ile de France
Inria Sophia Antipolis - Méditerranée
Inria-EPFL
Institut Galilée
Institut Mines-Télécom [Paris]
Institut National Polytechnique (Toulouse)
Institut National Polytechnique de Grenoble
Institut National Polytechnique de Lorraine
Institut National de Recherche en Informatique et en Automatique
Institut National de la Recherche Agronomique
Institut National des Sciences Appliquées
Institut National des Sciences Appliquées - Rennes
Institut de Recherche en Informatique Fondamentale
Institut de Recherche en Informatique et Systèmes Aléatoires
Institut de recherche en informatique de Toulouse
Institut für Informatik
Institut polytechnique de Grenoble - Grenoble Institute of Technology
Institute IMDEA Software [Madrid]
Institute of Automation - Chinese Academy of Sciences
Institute of Computer and Network Engineering [Braunschweig]
Institute of Intelligent Software [Guangzhou]
Institute of Science and Technology [Klosterneuburg, Austria]
Institute of Software Chinese Academy of Sciences [Beijing]
Japanese French Laboratory for Informatics
KTH Royal Institute of Technology [Stockholm]
Kansas State University
King Mongkut’s University of Technology Thonburi [Bangkok]
Kyoto University
LANGAGE ET GÉNIE LOGICIEL
Lab for Automated Reasoning and Analysis
Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées
Laboratoire Jean Kuntzmann
Laboratoire Lorrain de Recherche en Informatique et ses Applications
Laboratoire d'Informatique de Grenoble
Laboratoire d'Informatique de Nantes Atlantique
Laboratoire d'Informatique de Paris 6
Laboratoire d'Informatique de Paris-Nord
Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
Laboratoire d'Intégration des Systèmes et des Technologies
Laboratoire d'informatique Algorithmique : Fondements et Applications
Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Laboratoire de Recherche et de Développement de l'EPITA
Laboratoire des Sciences du Numérique de Nantes
Laboratorio CINI-ITEM Carlo Savy
Laboratory for Reliable Software
Logic and Security Laboratory, Department of Computer Engineering, Faculty of Engineering
Logical Time for Formal Embedded System Design
MTA-BME Research Group of Technical Analytical Chemistry
Macquarie University
Max-Planck-Gesellschaft
Max-Planck-Institut für Informatik
McMaster University [Hamilton, Ontario]
Mentor Graphics
Michigan State University System
Michigan State University [East Lansing]
Microsoft Corporation [Redmond, Wash.]

Microsoft Research
Microsoft Research Silicon Valley
Mines Nantes
Modeling and Verification of Distributed Algorithms and Systems
Modelling and Inference of Complex and Structured Stochastic Systems
Modélisation et Vérification
Mälardalen University
Méthodes et modèles pour les réseaux
NETQUEST
Nanjing University
Nanyang Technological University [Singapour]
National Institute for Subatomic Physics [Amsterdam]
National Institute of Informatics
National Research Council of Italy | Consiglio Nazionale delle Ricerche
Newcastle University [Newcastle]
Norwegian University of Science and Technology
Norwegian University of Science and Technology [Trondheim]
Open University of the Netherlands [Heerlen]
PIXIEL GROUP
Pontificia universidad Javeriana, Cali
Preuves, Programmes et Systèmes
Proof-oriented development of computer-based systems
Purdue University [West Lafayette]
Queen Mary University of London
Queen's University [Kingston, Canada]
Radboud University [Nijmegen]
Raytheon BBN Technologies
Reliable and efficient component based software engineering
Research and Development [General Motors]
Research at Google
Reykjavík University
Rheinisch-Westfälische Technische Hochschule Aachen University
Rigorous System Design Laboratory [Lausanne]
Royal Holloway [University of London]
SRI International [Menlo Park]
SUpervision of large MOdular and distributed systems
SYSTÈMES LARGE ÉCHELLE
Saarland University [Saarbrücken]
Salisbury University
Scania CV AB [Södertälje]
School for Advanced Studies Lucca
School of Computing
School of Computing Science
School of Computing Science [Glasgow]
Service Oriented Applications Research Unit [Trento]
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
Shanghai Jiao Tong University [Shanghai]
Software Engineering and Technology
Sorbonne Université
Sound Programming of Adaptive Dependable Embedded Systems
State Key Laboratory of Computer Science [Beijing]
State Key Laboratory of Novel Software Technology [Nanjing University]
State University of New York
System architecture for reflective distributed computing environments
System synthesis and supervision, scenarios
Technical University of Berlin | Technische Universität Berlin
Technical University of Eindhoven
Technische Universität Braunschweig = Technical University of Braunschweig [Braunschweig]
Technische Universität Darmstadt - Technical University of Darmstadt
Technische Universität Dresden = Dresden University of Technology
Technische Universität Munchen - Technical University Munich - Université Technique de Munich
The Interventional Center, Oslo University Hospital, Institute of Hospital Medicine
The MathWorks
The University of Queensland
The University of Tokyo
Threat Analysis and Mitigation for Information Security
Tim, Events and Architectures
Toulouse Mind & Brain Institut
Trinity College Dublin
Télécom Bretagne
Télécom SudParis
UCM
Universidad Complutense de Madrid = Complutense University of Madrid [Madrid]
Universidad Politécnica de Madrid
Universidad de Castilla-La Mancha = University of Castilla-La Mancha
Universidad de Murcia
Universidade Católica de Brasília=Catholic University of Brasília
Universidade Federal de Minas Gerais = Federal University of Minas Gerais [Belo Horizonte, Brazil]
Universidade Nova de Lisboa = NOVA University Lisbon
Universidade de São Paulo = University of São Paulo
Universitat Politècnica de València = Universitad Politecnica de Valencia = Polytechnic University of Valencia
University College of London [London]
University of Augsburg
University of California
University of California [Los Angeles]
University of California [Santa Barbara]
University of California [Santa Cruz]
University of Ca’ Foscari [Venice, Italy]
University of Chinese Academy of Sciences [Beijing]
University of Copenhagen = Københavns Universitet
University of Cyprus [Nicosia]
University of Dublin
University of Edinburgh
University of Glasgow
University of Groningen [Groningen]
University of Houston
University of Illinois System
University of Illinois at Urbana-Champaign [Urbana]
University of Kaiserslautern [Kaiserslautern]
University of Kent [Canterbury]
University of Leicester
University of Malta [Malta]
University of Maryland System
University of New South Wales [Sydney]
University of Novi Sad
University of Oslo
University of Oviedo
University of Oxford
University of Paderborn
University of Passau
University of Pennsylvania
University of Pennsylvania School of Veterinary Medicine
University of Pisa - Università di Pisa
University of Salzburg
University of Sannio [Benevento]
University of Sheffield [Sheffield]
University of Southampton
University of Southern Denmark
University of Stavanger
University of Surrey
University of Twente
University of Utah
University of Waterloo [Waterloo]
Università degli Studi di Cagliari = University of Cagliari
Università degli Studi di Camerino = University of Camerino
Università degli Studi di Firenze = University of Florence = Université de Florence
Università degli Studi di Roma "La Sapienza" = Sapienza University [Rome]
Università degli Studi di Trento = University of Trento
Università degli Studi di Urbino 'Carlo Bo'
Università degli studi di Genova = University of Genoa
Università degli studi di Torino = University of Turin
Università degli studi di Verona = University of Verona
Universitá degli Studi dell’Insubria = University of Insubria [Varese]
Universität Paderborn
Université Catholique de Louvain = Catholic University of Louvain
Université Côte d'Azur
Université Grenoble Alpes [2016-2019]
Université Henri Poincaré - Nancy 1
Université Joseph Fourier - Grenoble 1
Université Nancy 2
Université Nice Sophia Antipolis (1965 - 2019)
Université Paris 13
Université Paris Diderot - Paris 7
Université Paris Nanterre
Université Pierre Mendès France - Grenoble 2
Université Pierre et Marie Curie - Paris 6
Université Sorbonne Paris Cité
Université Toulouse - Jean Jaurès
Université Toulouse Capitole
Université Toulouse III - Paul Sabatier
Université de Bretagne Sud
Université de Carthage (Tunisie)
Université de Lorraine
Université de Nantes
Université de Nantes - UFR des Sciences et des Techniques
Université de Provence - Aix-Marseille 1
Université de Rennes
Université de Toulon
Université de Toulouse
Université de Tunis El Manar
Université de la Manouba [Tunisie]
Université de la Méditerranée - Aix-Marseille 2
Université libre de Bruxelles
Uppsala University
VERIMAG
VERIfication pour les systèmes DIStribués
Vanderbilt University [Nashville]
Verification models and techniques applied to testing and control of reactive systems
Vienna University of Technology = Technische Universität Wien
Vrije Universiteit Amsterdam [Amsterdam]
Wesleyan University
Westfälische Wilhelms-Universität Münster = University of Münster
École Centrale de Nantes
École normale supérieure - Rennes
École polytechnique

Contact

Support

Resources

Documentation
FAQ
API
OAI-PMH
AuréHAL

Informations

Privacy and personal data
Legal terms
Accessibility
Declaration of compliance

Legal issues

I publish, what are my rights?
The Digital Republic bill
Non-assignment strategy of rights
SHERPA/RoMEO

Portals

Institutional portals
HAL
HAL SHS
HAL Thèses
MédiHAL

CCSD

CCSD
Episciences
Sciencesconf