Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « event »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
even < event < eventb  Facettes :

List of bibliographic references indexed by event

Number of relevant bibliographic references: 113.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000109 (2016) Atif Mashkoor [Autriche] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France]Refinement-based Validation of Event-B Specifications
000301 (2015-10) Laura Kallmeyer [Allemagne] ; Rainer Osswald [Allemagne] ; Sylvain Pogodalla [Allemagne]Progression and Iteration in Event Semantics — An LTAG Analysis Using Hybrid Logic and Frame Semantics
000312 (2015-09-26) Dominique Méry [France] ; Sawant Rushikesh [France] ; Anton Tarasyuk [France]Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study
000873 (2014-11-22) Philippe De Groote [France] ; Yoad Winter [France]A type-logical account of quantification in event semantics
000902 (2014-10-21) Lina Fahed [France] ; Armelle Brun [France] ; Anne Boyer [France]Episode Rules Mining Algorithm for Distant Event Prediction
000A05 (2014-08-04) Lina Fahed [France] ; Armelle Brun [France] ; Anne Boyer [France]Episode Rules Mining Algorithm for Distant Event Prediction
000A25 (2014-07-22) Neeraj Kumar Singh [Canada] ; Dominique Méry [France]Event B (english version)
000B03 (2014-06-16) Ngoc Chan Nguyen [France] ; Karn Yongsiriwit [France] ; Walid Gaaloul [France] ; Jan Mendling [Autriche]Mining Event Logs to Assist the Development of Executable Process Variants
000B23 (2014-06-02) Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Modeling an Aircraft Landing System in Event-B
000C21 (2014-04-03) Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Modelling an Aircraft Landing System in Event-B (Full Report)
000D04 (2014-01-09) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]Proving the Fidelity of Simulations of Event-B Models
000D69 (2014) Peter Beim Graben [Allemagne] ; Axel Hutt [France]Detecting event-related recurrences by symbolic analysis: Applications to human language processing
000F16 (2013-12-02) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]JeB: Safe Simulation of Event-B Models in JavaScript
000F22 (2013-11-29) Faqing Yang [France]A Simulation Framework for the Validation of Event-B Specifications
001103 (2013-07-13) Dominique Méry [France] ; Monahan Rosemary [Irlande (pays)]Transforming EVENT B Models into Verified C# Implementations
001157 (2013-06-17) Mohammed Tounsi [France] ; Mohammed Mosbah [France] ; Dominique Méry [France]From Event-B Specifications to Programs for Distributed Algorithms
001821 (2012-12-04) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]The Case for Using Simulation to Validate Event-B Specifications
001852 (2012-11-12) Aymen Baouab [France] ; Olivier Perrin [France] ; Claude Godart [France]An Optimized Derivation of Event Queries to Monitor Choreography Violations
001908 (2012-10-10) Carolina Saavedra [France] ; Laurent Bougrain [France]Processing Stages of Visual Stimuli and Event-Related Potentials
001F52 (2011-12-19) Chris Blom ; Philippe De Groote [France] ; Yoad Winter ; Joost ZwartsImplicit Arguments: Event Modification or Option Type Categories?
002063 (2011-10-13) Dominique Méry [France] ; Neeraj Kumar Singh [France]Automatic Code Generation from Event-B Models

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "event" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "event" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    event
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022