Titre (en)
Analysis
Allemagne
Racine
Analysis
Allemagne
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Analysis (Allemagne)

Index « Titre (en) » - entrée « systems »
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.
systematic < systems < tableau  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 38.
[0-20] [0 - 20][0 - 38][20-37][20-40]
Ident.Authors (with country if any)Title
000016 (2015-09) Renate Schmidt [Royaume-Uni] ; Uwe Waldmann [Allemagne]Modal Tableau Systems with Blocking and Congruence Closure
000026 (2015-06-17) Yacine Bouzidi [France] ; Sylvain Lazard [France] ; Guillaume Moroz [France] ; Marc Pouget [France] ; Fabrice Rouillier [France] ; Michael Sagraloff [Allemagne]Improved algorithms for solving bivariate systems via Rational Univariate Representations
000043 (2014-12-15) Gerald Lüttgen [Allemagne] ; Stephan Merz [France]Editorial: Special Issue of Automated Verification of Critical Systems
000044 (2014-12-15) Gerald Lüttgen [Allemagne] ; Stephan Merz [France]Science of Computer Programming Special Issue: Automated Verification of Critical Systems
000079 (2013) Peter Beim Graben [Allemagne] ; Axel Hutt [France]Detecting metastable states of dynamical systems by recurrence-based symbolic dynamics
000104 (2012-11-21) Sonja Kabicher-Fuchs [Autriche] ; Stefanie Rinderle-Ma [Autriche] ; Jan Recker [Australie] ; Marta Indulska [Australie] ; Francois Charoy [France] ; Rob Christiaanse [Pays-Bas] ; Reinhold Dunkl [Autriche] ; Gregor Grambow [Allemagne] ; Jens Kolb [Allemagne] ; Henrik Leopold [Allemagne] ; Jan Mendling [Autriche]Human-Centric Process-Aware Information Systems (HC-PAIS)
000130 (2011-10-26) Fabio Massacci [Italie] ; Fabrice Bouquet [France] ; Elizabeta Fourneret [France] ; Jan Jurjens [Allemagne] ; Mass Lund [Norvège] ; Sébastien Madelénat [France] ; Jantobias Muehlberg [Belgique] ; Federica Paci [Italie] ; Stéphane Paul [France] ; Frank Piessens [Belgique] ; Bjornar Solhaug [Norvège] ; Sven Wenzel [Allemagne]Orchestrating Security and System Engineering for Evolving Systems
000137 (2011-05-08) Jörn Franke [France] ; Adam Widera [Allemagne] ; François Charoy [France] ; Bernd Hellingrath [Allemagne] ; Cédric Ulmer [France]Reference Process Models and Systems for Inter-Organizational Ad-Hoc Coordination - Supply Chain Management in Humanitarian Operations
000156 (2011) Olfa Mosbahi [Allemagne] ; Mohamed Khalgui [Allemagne]Combining formal methods for the development of reactive systems : DEVELOPMENT OF EMBEDDED SYSTEMS: MODELLING, VERIFICATION, SCHEDULING, IMPLEMENTATION AND RECONFIGURATION
000167 (2010-03-31) Nicolas Navet [France] ; Bertrand Delord [France] ; Markus Baumeister [Allemagne]Virtualization in Automotive Embedded Systems : an Outlook
000172 (2010) Johannes Faber [Allemagne]Verification Architectures: Compositional Reasoning for Real-Time Systems
000180 (2010) Christel Baier [Allemagne]On Model Checking Techniques for Randomized Distributed Systems
000190 (2010) Nazim Fatès [France] ; Jarkko Kari [Finlande] ; Thomas Worsch [Allemagne]Proceedings of AUTOMATA 2010: 16th International workshop on cellular automata and discrete complex systems
000257 (2008) Fred Kröger [Allemagne] ; Stephan Merz [France]Temporal Logic and State Systems
000259 (2008) Serge Autexier [Allemagne] ; Heiko Mantel [Allemagne] ; Stephan Merz [France] ; Tobias Nipkow [Allemagne]Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems
000284 (2007) Arnaud Lanoix [France] ; Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France]Enhancing Dependability of Component-Based Systems
000294 (2007) Stephan Merz [France] ; Tobias Nipkow [Allemagne]Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006)
000300 (2007) Arnaud Lanoix [France] ; Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France]Enhancing Dependability of Component-based Systems
000307 (2006) Brian Elves Ter [Norvège] ; Axel Hahn [Allemagne] ; Arne-J Rgen Berre [Norvège] ; Tor Neple [Norvège]Towards an Interoperability Framework for Model-Driven Development of Software Systems
000319 (2006) Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Julia Zappe [Allemagne, France]Specification and refinement of mobile systems in MTLA and mobile UML
000320 (2006) Thomas Bangemann [Allemagne] ; Xavier Rebeuf [France] ; Denis Reboul [France] ; Andreas Schulze [Allemagne] ; Jacek Szymanski [France] ; Jean-Pierre Thomesse [France] ; Mario Thron [Allemagne] ; Noureddine Zerhouni [France]PROTEUS : Creating distributed maintenance systems through an integration platform

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Allemagne/Analysis

HfdIndexSelect -h $EXPLOR_AREA/Data/Allemagne/Analysis/Title.i -k "systems" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Allemagne/Analysis/Title.i  \
                -Sk "systems" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Allemagne/Analysis/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Allemagne
   |étape=   Analysis
   |type=    indexItem
   |index=    Title.i
   |clé=    systems
}}
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