Browse by organisation - IFIP-FSEN

Access content directly

Documentation

Collection IFIP-FSEN
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

Fundamentals of Software Engineering

Home
FSEN
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

ASML Netherlands B.V.
ASML [VELDHOVEN]
Aalborg University [Denmark]
ActiveEon
Aix Marseille Université
Alma Mater Studiorum Università di Bologna = University of Bologna
Assistance à la Certification d’Applications DIstribuées et Embarquées
Beijing Institute of Technology
CASH - Compilation and Analysis, Software and Hardware
CISTER [Porto]
CITI Centre of Innovation in Telecommunications and Integration of services
CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa]
COMmunications, Réseaux, systèmes Embarqués et Distribués
Center for Research & Development in Mathematics and Applications [Aveiro]
Centre National de la Recherche Scientifique
Centro de Investigaçao e Desenvolvimento em Matematica e Aplicaçoes
Centrum Wiskunde & Informatica
Centrum voor Wiskunde en Informatica
Certus Centre for Software Validation and Verification
Chalmers University of Technology [Göteborg]
Combination of approaches to the security of infinite states systems
Computer Science and Engineering Department [Bucharest]
Computer Science department [Michigan Tech]
Construction of verified concurrent systems
Departamento de Ciência Da Computação [Rio de Janeiro]
Department of Computer Science
Department of Computer Science [Verona]
Department of Computer Science and Engineering
Department of Computer Science and Engineering [Göteborg]
Department of Computer Science and Engineering [New Delhi]
Department of Formal Methods
Department of Informatics [King's College London]
Department of Informatics [Sussex]
Department of Mathematics and Computer Science
Dipartimento di Matematica e Informatica
East China University of Science and Technology
Ecole Nationale Supérieure de Mécanique et des Microtechniques
Eindhoven University of Technology [Eindhoven]
Faculty of Computer Science and Engineering
Ferdowsi University of Mashhad
Foundations of Component-based Ubiquitous Systems
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
Google Inc.
Gran Sasso Science Institute
Göteborgs Universitet = University of Gothenburg
Halmstad University
Harbin Institute of Technology
Hasso Plattner Institute [Potsdam, Germany]
High-Assurance Software Laboratory [Braga, Portugal]
Humboldt-Universität zu Berlin = Humboldt University of Berlin = Université Humboldt de Berlin
Indian Institute of Technology Delhi
Indraprastha Institute of Information Technology [New Delhi]
Inria Grenoble - Rhône-Alpes
Inria Lyon
Inria Nancy - Grand Est
Inria Saclay - Ile de France
Inria Sophia Antipolis - Méditerranée
Institut Galilée
Institut Mines-Télécom [Paris]
Institut National Polytechnique (Toulouse)
Institut National de Recherche en Informatique et en Automatique
Institut National des Sciences Appliquées
Institut National des Sciences Appliquées de Lyon
Institut de Mathématiques de Marseille
Institut de recherche en informatique de Toulouse
Institut polytechnique de Grenoble - Grenoble Institute of Technology
Institute for Systems and Computer Engineering, Technology and Science [Braga]
Institute for Systems and Computer Engineering, Technology and Science [Porto]
Institute for Theoritical Physics and Mathematics
Institute of Automation and Electrometry of the Siberian Branch of the RAS
Institute of Cybernetics [Tallinn]
International Institute for Software Technology [Macao]
Iran University of Science and Technology [Tehran]
Khatam University
King‘s College London
Laboratoire Lorrain de Recherche en Informatique et ses Applications
Laboratoire d'Algorithmique Complexité et Logique
Laboratoire d'Informatique de Grenoble
Laboratoire d'Informatique de Paris-Nord
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Laboratoire de l'Informatique du Parallélisme
Leiden Institute of Advanced Computer Science [Leiden]
Linnaeus University
Max-Planck-Gesellschaft
Max-Planck-Institut für Informatik
Michigan State University System
Michigan State University [East Lansing]
Michigan Technological University

Mälardalen University
Mälardalens University - Mälardalens Högskola, Sweden and Reykjavik University,
National Research Council of Italy | Consiglio Nazionale delle Ricerche
Netherlands Organisation for Scientific Research
Open University of the Netherlands [Heerlen]
Peking University [Beijing]
Peoples Friendship University of Russia [RUDN University]
Politecnico di Milano [Milan]
Preuves et Langages
Privacy Models, Architectures and Tools for the Information Society
Proof search and reasoning with logic specifications
Radboud University [Nijmegen]
Reykjavík University
Rochester Institute of Technology
Saarland University [Saarbrücken]
Safe Composition of Autonomous applications with Large-SCALE Execution environment
ScaLable Information Discovery and Exploitation [Grenoble]
School for Advanced Studies Lucca
School of Computing Science [Glasgow]
School of Electrical Engineering and Computer Science [Tehran]
School of Engineering (ISEP) of the Polytechnic Institute of Porto (IPP)
School of Telecommunication Engineering, Institute of Engineering
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
Shahid Bahonar University of Kerman
Shahid Beheshti University
Shahid Beheshti University G.C.
Sharif University of Technology [Tehran]
Siberian Branch of the Russian Academy of Sciences
Ss. Cyril and Methodius University in Skopje
Suranaree University of Technology
Tallinn University of Technology
Technische Universität Darmstadt - Technical University of Darmstadt
Tehran Institute for Advanced Studies
Toulouse Mind & Brain Institut
Télécom SudParis
United Nations University
Universidade Federal Fluminense [Rio de Janeiro]
Universidade Federal do Rio de Janeiro [Brasil] = Federal University of Rio de Janeiro [Brazil] = Université fédérale de Rio de Janeiro [Brésil]
Universidade de Aveiro
Universidade do Minho = University of Minho [Braga]
Universiteit Leiden = Leiden University
Universiteit Utrecht | Utrecht University [Utrecht]
University Politehnica of Bucharest [Romania]
University of Antwerp
University of Freiburg
University of Glasgow
University of Isfahan
University of Luxembourg [Luxembourg]
University of Malta [Malta]
University of Oslo
University of Pretoria [South Africa]
University of Southampton
University of Southern California
University of Sussex
University of Tabriz [Tabriz]
University of Tehran
Università degli Studi dell'Aquila = University of L'Aquila
Università degli Studi di Cagliari = University of Cagliari
Università degli Studi di Camerino = University of Camerino
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ät der Bundeswehr München [Neubiberg]
Université Bourgogne Franche-Comté [COMUE]
Université Claude Bernard Lyon 1
Université Côte d'Azur
Université Grenoble Alpes [2016-2019]
Université Nice Sophia Antipolis (1965 - 2019)
Université Paris 13
Université Paris-Est Créteil Val-de-Marne - Paris 12
Université Sorbonne Paris Cité
Université Toulouse - Jean Jaurès
Université Toulouse Capitole
Université Toulouse III - Paul Sabatier
Université de Franche-Comté
Université de Lorraine
Université de Lyon
Université de Technologie de Belfort-Montbeliard
Université de Toulouse
Uppsala University
VU University Medical Center [Amsterdam]
Verum Software Tools [Eindhoven]
Vienna University of Technology = Technische Universität Wien
Vrije Universiteit Amsterdam [Amsterdam]
École Centrale de Marseille
École normale supérieure de Lyon
É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