Hibatűrő Rendszerek Kutatócsoport
Méréstechnika és Információs Rendszerek Tanszék
Elsődleges linkek
Kezdőlap
Események
Oktatás
Szakirányajánló
BSc tárgyak
MSc tárgyak
Önálló labor, diploma
Választható tárgyak
Doktorandusz tárgyak
IBM Center of Advanced Studies
Intel Virtualizációs Laboratórium
Oktatási cloud
Modellalapú tervezés szakkör
Kutatás
Kutatási területek
Alkalmazási területek
Projektek
Eszközök
Publikációk
Szerzők
Kulcsszavak
Hallgatóink sikerei
Kari TDK eredmények
Országos TDK eredmények
Magunkról
Munkatársak
Megközelítés
Partnereink
Primary Links
Keresés a webhelyen:
Publikációk
Lista
Szűrő
Csak azok mutatása, melyek
Szerző
Típus
Kifejezés
Év
Kulcsszó
A, Fantechi
A, Pataricza
A, Bondavalli
A, Soumelidis
Aalst, Wil
Abramowicz, Witold
Acciai, Lucia
Akan, Ozgur
Allmaier, Susan
Antal, Balázs
Antal, Sándor
Asztalos, Márk
Attila, Varga K
B, Kiss
Baar, T
Baldan, Paolo
Balogh, András
Balogh, Zoltán
Banti, Federico
Baresi, Luciano
Bartha, Tamás
bartha
Bellavista, Paolo
Benyó, Balázs
Beraldi, Roberto
Bergmann, Gábor
Bernardeschi, Cinzia
Biermann, Enrico
Bisztray, Dénes
Bitay, E
Bohnet, Bernd
Bokor, J
Bokor, József
Bondavalli, Andrea
Bondavalli, A
Boneva, Iovka
Booch, Grady
Bordbar, Behzad
Boronat, Artur
Bottoni, Paolo
Branco, Moisés Castelo
Bretz, Kárroly
Brinkschulte, Uwe
Bruni, Roberto
C, Fazekas
C, Spitzer
Cabot, Jordi
Caneschi, F
Cao, Jiannong
Ceccarelli, A
Cerioli, Maura
Chaudron, Michel R V
Chiaradonna, S
Cho, Yookun
Clark, Allan
Cofer, Darren
Cofer, D
Cook, Stephen
Corradini, Andrea
Coulson, Geoffrey
Cousin, Bernard
Crnkovic, I
Cs, Fazekas
Csendes, Tibor
Csertán, György
D, Cofer
Dadam, Peter
Dal Cin, Mario
Dang, Duc-Hanh
Dang, VN.
Daniel, Varro
Dániel, Darvas
Darabos, Andrea
Darvas, Dániel
Darvas, Ádám
DeCusatis, Casimer
Déri, Zsolt
Domokos, Péter
Dressler, Falko
E, Németh
E, Ilie-Zudor
E, Selényi
Edelmayer, A M
Égel, Zoltán
Ehrig, Hartmut
Ehrig, Karsten
Emmerich, Wolfgang
Ermel, Claudia
Erzsébet, Németh
ErzsébetNémeth
F, Di Giandomenico
Fabio, Massacci
Fabrice, Bouquet
Fajta, Robert
Fantechi, Alessandro
Fantechi, A
Fazekas, Cs
Fazekas, C
Fernandez, Eduardo B
Ferrari, Domenico
France, Robert
Frank, Piessens
Friedl, Katalin
Friedler, Ferenc
Friedman, Roy
G, Szabó
G, Szabo
Gábor, Attila
Gacek, Cristina
Gáspár, P
Gáspár, Péter
Geiger, Leif
Geiss, Rubinho
Gerla, Mario
Giandomenico, Felicita Di
Giandomenico, Di F
Gianone, L
Gilmore, Stephen
Giuli, Dino
Gnesi, Stefania
Gönczy, László
Gorp, Pieter Van
Gramatova, Elena
Gray, Jeff
Greenyer, Joel
Grieskamp, Wolfgang
Gronbaek, J
Grosspietsch, Karl-Erwin
Grunske, Lars
Guelfi, Nicolas
Guerra, Esther
Gusat, Mitchell
Gyapay, Szilvia
Haddad, Hisham
Hangos, K M
Heckel, Reiko
Hegedüs, Ábel
Hiller, Martin
Hlavicka, J
Hochberger, C
Hoffmann, Kathrin
Hohl, Wolfgang
Hölzl, Matthias M
Hönig, Joachim
Horváth, László
Horváth, Ákos
Horváth, Ádám
Horváth, Dóra
Hussmann, Heinrich
Huszerl, Gábor
I, Varga
Ilie-Zudor, E
Ilie-Zudor, Elisabeth
Inverardi, P
Iovino, D
Islam, Shariful
Izsó, Benedek
Jámbor, Attila
Jan, Jurjens
Jávorszky, Judit
Jézéquel, Jean-Marc
Jhumka, Arshad
Jones, Trevor
József, Vásárhelyi
Jürjens, Jan
Kaâniche, M
Karna, L
Karsai, Gabor
Kemény, Zsolt
Ketil, Stolen
Kiss, B
Klapka, S
Knapp, A
Kniemeyer, Ole
Knirsch, Peter
Kobayashi, Hisashi
Koch, Nora
Kocsis, Imre
Koo, Yong Wan
Kosmidis, Konstantinos
Kovács, Máté
Kovács, Péter Tamás
Kovácsházy, Tamás
Kövi, András
Kreowski, Hans-Jörg
Kuester, Jochen
Kuldeep, Bhardway
L, Monostori
L, Gönczy
Ladislav, Samuelis
Lapadula, Alessandro
Lara, Juan
Latella, Diego
Lemos, Rogério
Lengyel, Laszló
Levendovszky, Tihamér
Llorente, Ignacio
Lollini, P
Lopatyev, A
M, Hangos K
Madeira, Henrique
Madsen, T K
Maestrini, P
Magyar, Melinda
Majzik, István
Malek, Miroslaw
Mamei, Marco
Manhaeve, Hans
Margaria, Tiziana
Massacci, Fabio
Massink, Mieke
Mayer, Philip
Mayr, Ernst W
Mazanek, Steffen
Mazurkiewicz, Jacek
Mazzanti, Franco
McKenna, Luke
Mellor, S
Mens, Tom
Micskei, Zoltán
Miklós, Telek
Minas, Mark
Minkenberg, Cyriel
Molnár, Miklós
Monostori, L
Monostori, László
Montanari, Ugo
Montecchi, L
Moorsel, Aad
Moreira, A
Muccini, Henry
Mura, Ivan
Mylopoulos, John
Nagl, Manfred
Narayanan, Anantha
Német, Erzsébet
Németh, Attila
Németh, Zoltán
Németh, E
Ness, Benjamin
Nett, Edgar
Nguyen, Minh Duc
Nováki, Szilárd
Nurcan, Selmin
Ökrös, András
Oláh, János
P, Gáspár
Paakki, J
Paci, Federica
Padberg, Julia
Paige, Richard F
Paige, Richard
Palazzo, Sergio
Paljak, Gergely János
Palkovics, László
Pap, Zsigmond
Pataricza, András
Pataricza, András
Pawlak, Adam
Péceli, Gábor
Pelliccione, Patrizio
Petrenko, Alexandre
Petri, Dániel
Pierantonio, Alfonso
Piestrak, Stanislaw J
Pintér, Gergely
Polgár, Balázs
Prange, Ulrike
Pugliese, Rosario
Puschner, Peter
Raatikainen, Kimmo
Ráth, István
Regio, G
Reichert, Manfred
Reitenspieß, Manfred
Rencis, Edgars
Renovell, M
Rensink, Arend
Ribeiro, Leila
Richardson, Julian
Rivière, Nicolas
Romanovsky, Alexander
Rose, Louis
Rosemann, Michael
Rozenberg, Grzegorz
Rumpe, Bernhard
Ruth, Breu
S, Chiaradonna
Sahni, Sartaj
Salamon, Gábor
Salzo, A
Sârbu, Constantin
Savoia, Giancarlo
Schmidt, András
Schmidt, H
Schmidt, Ákos
Schmocker, U
Schnieder, Etienne
Schoofs, Tobias
Schroeder, Andreas
Schürr, Andy
Selényi, Endre
Selic, Bran
Shaw, Michael J
Shen, Xuemin (Sherman)
Shin, Sung Y
Sieh, Volkmar
Simoncini, Luca
Sisak, Áron
Sonnevend, Ilona
Soumelidis, A
Spitzer, C
Stafford, J
Stan, Mircea
Steffen, Bernhard
Stevens, Perdita
Strohmeier, A
Sugier, Jaroslaw
Suri, Neeraj
Surridge, Mike
Szabó, Tamás
Szabo, Z
Szabó, G
Szabo, G
Szászi, István
Szatmári, Zoltán
Szegi, András
Sziray, J
Szombath, István
Szyperski, Clemens
T, Bartha
Taentzer, Gabriele
Tam, Francis
Tamás, Bartha
Tarnai, Géza
Telek, Miklós
Thöne, Sebastian
Thunem, Atoosa P-J
Tiexeira, Joao Paulo
Tiezzi, Francesco
Torrini, Paolo
Tóth, András
Tóth, Dániel
Tretmans, Jan
Tribastone, Mirco
Tun, Thein
Tun, Thein Than
Tyszer, Jerzy
U, Schmocker
Ujhelyi, Zoltán
Urbanics, Gábor
Vágó, Dávid
Valentino, Meduri
Vallecillo, Antonio
Van Eetvelde, Niels
Varga, I
Varga, István
Várnai, György
Varró, Gergely
Varró, Dániel
Varró-Gyapay, Szilvia
Vasilakos, Athanasius V
Vayssière, Julien
Veanes, Margus
Vieira, Marlon
Vieira, Marco
Visser, Eelco
VN, Dang
Vörös, András
Vynohradskyi, B
Waeselynck, Hélène
Wainwright, Roger L
Walkowiak, Tomasz
Wallnau, K
Weinell, Erhard
Whittle, Jon
Wieringa, R
Wile, Dave
Wirsing, M
Xiaohua, Jia
Yu, Yijun
Zamojski, Wojciech
Zisman, Andrea
Zomaya, Albert
Zündorf, Albert
Conference Paper
Journal Article
Book Chapter
Report
Thesis
Miscellaneous
Conference Proceedings
Book
bibliography - abstract state machines
bibliography - Action Semantics
bibliography - adaptive graph pattern matching
bibliography - AIS
bibliography - analysis of transformation systems
bibliography - Arinc 653
bibliography - bounded model checking
bibliography - business process
bibliography - by-example synthesis
bibliography - change impact analysis
bibliography - code generation
bibliography - coloured Petri net
bibliography - communication mediation
bibliography - Computation Tree Logic
bibliography - Computer Science
bibliography - concurrency
bibliography - constraint programming
bibliography - deductive databases
bibliography - dependability
bibliography - derived features
bibliography - design space exploration
bibliography - domain-specific languages
bibliography - dynamic constraint problems
bibliography - dynamism
bibliography - Eclipse
bibliography - EJB 3.0
bibliography - embedded systems
bibliography - EMF
bibliography - formal methods
bibliography - formal semantics
bibliography - formal verification
bibliography - generic transformation
bibliography - grabats
bibliography - graph pattern matching
bibliography - graph transformation
bibliography - graph transformation tool contest
bibliography - IncQuery
bibliography - incremental evaluation
bibliography - incremental graph pattern matching
bibliography - incremental graph pattern matching - RETE - benchmarking
bibliography - incremental model transformation
bibliography - inductive logic programming
bibliography - integrated development environment
bibliography - J2EE
bibliography - live model queries
bibliography - logic properties of graphs and transformations
bibliography - MDA
bibliography - MDD
bibliography - MDE
bibliography - meta-transformation
bibliography - metamodeling
bibliography - model checking
bibliography - Model Driven Engineering
bibliography - model query
bibliography - model transformation
bibliography - model transformations
bibliography - model validation
bibliography - Model-based testing - Graph Transformation - Model Checking - Fault-Tolerant Services
bibliography - modeling and development tools
bibliography - Multiple-valued Decision Diagram
bibliography - ontology
bibliography - optimization
bibliography - Pattern matching
bibliography - Petri nets
bibliography - planner algorithms
bibliography - platform-specific transformers
bibliography - program slicing
bibliography - query
bibliography - quickfix generation
bibliography - recursive pattern matching
bibliography - refinement
bibliography - relational databases
bibliography - reliable messaging
bibliography - requirement specification
bibliography - sa forum
bibliography - safety criteria
bibliography - safety critical systems
bibliography - safety systems
bibliography - saturation
bibliography - search plans
bibliography - search-based software engineering
bibliography - secure i*
bibliography - security argumentation
bibliography - security patterns
bibliography - security requirements engineering
bibliography - semantics of visual techniques
bibliography - service availability
bibliography - Service Oriented Architecture
bibliography - static analysis
bibliography - system verification
bibliography - taxonomy
bibliography - temporal logic
bibliography - termination
bibliography - test generation
bibliography - testing
bibliography - time
bibliography - tool contest
bibliography - tool integration
bibliography - Tool support
bibliography - transformation generation
bibliography - transformation rule derivation
bibliography - type checking
bibliography - UML
bibliography - UML modeling
bibliography - validation
bibliography - verification
bibliography - Viatra
bibliography - visual languages
bibliography - visualization
bibliography - XMI
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
abstract state machines
Action Semantics
adaptive graph pattern matching
AIS
analysis of transformation systems
Arinc 653
bounded model checking
business process
by-example synthesis
change impact analysis
code generation
coloured Petri net
communication mediation
Computation Tree Logic
Computer Science
concurrency
constraint programming
deductive databases
dependability
derived features
design space exploration
domain-specific languages
dynamic constraint problems
dynamism
Eclipse
EJB 3.0
embedded systems
EMF
formal methods
formal semantics
formal verification
generic transformation
grabats
graph pattern matching
graph transformation
graph transformation tool contest
IncQuery
incremental evaluation
incremental graph pattern matching
incremental graph pattern matching - RETE - benchmarking
incremental model transformation
inductive logic programming
integrated development environment
J2EE
live model queries
logic properties of graphs and transformations
MDA
MDD
MDE
meta-transformation
metamodeling
model checking
Model Driven Engineering
model query
model transformation
model transformations
model validation
Model-based testing - Graph Transformation - Model Checking - Fault-Tolerant Services
modeling and development tools
Multiple-valued Decision Diagram
ontology
optimization
Pattern matching
Petri nets
planner algorithms
platform-specific transformers
program slicing
query
quickfix generation
recursive pattern matching
refinement
relational databases
reliable messaging
requirement specification
sa forum
safety criteria
safety critical systems
safety systems
saturation
search plans
search-based software engineering
secure i*
security argumentation
security patterns
security requirements engineering
semantics of visual techniques
service availability
Service Oriented Architecture
static analysis
system verification
taxonomy
temporal logic
termination
test generation
testing
time
tool contest
tool integration
Tool support
transformation generation
transformation rule derivation
type checking
UML
UML modeling
validation
verification
Viatra
visual languages
visualization
XMI
Kutatás
Kutatási területek
Alkalmazási területek
Projektek
Eszközök
Publikációk
Szerzők
Kulcsszavak
Nyelvek
BME Címtár belépés
Belépés
Felhasználói név:
*
Jelszó:
*
Leírások, segédletek
Dokumentáció és mérési jegyzőkönyvek készítése
Házi feladatok és jegyzőkönyvek leadása
IT szolgáltatások
Egyéb leírások
