Fault Tolerant Systems Research Group
Department of Measurement and Information Systems
Primary Links
Home
Events
Education
Critical Embedded Systems
System Modelling
Software and Systems Verification
Formal Methods
Software Verification and Validation
Research
Research Directions
Application Areas
Projects
Tools
Publications
Authors
Keywords
About Us
Members
Location
Partners and Sponsors
Search this site:
Publications
List
Filter
Show only items where
Author
Type
Term
Year
Keyword
is
A, Fantechi
A, Pataricza
A, Bondavalli
A, Soumelidis
Aalst, Wil
Abate, Alessandro
Abdeen, Hani
Ábrahám, Erika
Abramowicz, Witold
Acciai, Lucia
Ádám, Zsófia
Akan, Ozgur
Ákos, Barabás
Albert, Elvira
Allmaier, Susan
Almeida, Danilo Pallamin
Ammar, Khaled
Andolfato, Luigi
Andrea, Bondavalli
Angles, Renzo
Antal, Balázs
Antal, Sándor
Antal, Péter
Antal, János Benjamin
Antunes, Nuno
Aref, Walid
Arenas, Marcelo
Asztalos, Márk
Attila, Varga K
Averbuch, Alex
Avritzer, Alberto
Avritzer, Alberto
Azad, Ariful
Aznaveh, Mohsen
Aznaveh, Mohsen Mahmoudi
B, Kiss
Baar, T
Babikian, Aren
Babikian, Aren A
Bader, David A
Baier, C
Bajczi, Levente
Bajkai, Dorina Viktória
Balasubramanian, Daniel
Baldan, Paolo
Balogh, András
Balogh, Zoltán
Balogh, László
Banti, Federico
Barabás, Ákos
Baresi, Luciano
Barmpis, Konstantinos
Barta, Ágnes
Bartha, Tamás
bartha
Beamer, Scott
Bellavista, Paolo
Benyó, Balázs
Beraldi, Roberto
Bergmann, Gábor
Bernardeschi, Cinzia
Besta, Maciej
Biermann, Enrico
Bisztray, Dénes
Bitay, E
Blanco, Mark
Blanco Viñuela, Enrique
Blech, Jan Olaf
Bliudze, Simon
Bohnet, Bernd
Boje, Edward
Bokor, J
Bokor, József
Boncz, Peter
Boncz, Peter A
Bondavalli, Andrea
Bondavalli, A
Boneva, Iovka
Bonfiglio, Valentina
Bonifati, Angela
Booch, Grady
Bordbar, Behzad
Bordelau, Francis
Boronat, Artur
Bottoni, Paolo
Brancati, Francesco
Branco, Moisés Castelo
Bretz, Kárroly
Brinkschulte, Uwe
Bruni, Roberto
Buchwald, Sebastian
Bukhari, Syed Ahmad Chan
Búr, Márton
C, Fazekas
C, Spitzer
Cabot, Jordi
Caneschi, F
Cao, Jiannong
Carlos, Xabier De
Catania, Barbara
Ceccarelli, A
Ceccarelli, Andrea
Cerioli, Maura
Chagas, Ronan Arraes Jardim
Chaudron, Michel R V
Chechik, Marsha
Chen, Jinhao
Chiaradonna, S
Cho, Yookun
Ciccozzi, Federico
Ciocarlie, Gabriela
Clark, Allan
Cofer, Darren
Cofer, D
Conrads, Felix
Cook, Stephen
Corradini, Andrea
Corvetti, Lou
Coulson, Geoffrey
Cousin, Bernard
Crnkovic, I
Cs, Fazekas
Csendes, Tibor
Csertán, György
Csiszár, Norbert István
Csuvarszki, János Csanád
Cury, José Ribiero E
Czipó, Bence
D, Cofer
D'Alessandro, Luke
Dadam, Peter
Dal Cin, Mario
Dalpiaz, Fabiano
Dan, Li
Dang, Duc-Hanh
Dang, VN.
Dániel, Darvas
Darabos, Andrea
Darvas, Dániel
Darvas, Ádám
Dathathri, Roshan
Daudjee, Khuzaima
Dávid, István
Davis, Timothy A
Davis, Tim
Debreceni, Csaba
DeCusatis, Casimer
Denil, Joachim
Déri, Zsolt
Devillers, Raymond
Deweese, Kevin
Dingel, Juergen
Dobos-Kovács, Mihály
Domokos, Péter
Dressler, Falko
Dudás, László
Dumbrava, Stefania
Dutle, Aaron
E, Németh
E, Ilie-Zudor
E, Selényi
Echahed, Rachid
Edelmayer, A M
Égel, Zoltán
Ehrig, Hartmut
Ehrig, Karsten
Eldefrawy, Karim
Elekes, Márton
Emmerich, Wolfgang
Engels, Gregor
Erdweg, Sebastian
Erling, Orri
Ermel, Claudia
Erzsébet, Németh
ErzsébetNémeth
F, Di Giandomenico
Fabio, Massacci
Fabrice, Bouquet
Fajta, Robert
Fantechi, Alessandro
Fantechi, A
Farkas, Rebeka
Faure, Jean-Marc
Fazekas, Cs
Fazekas, C
Fekete, Zsolt
Ferenc, Rudolf
Fernandez, Eduardo B
Fernández Adiego, Borja
Ferrari, Domenico
Firoz, Jesun
France, Robert
Francesco, Brancati
Frank, Piessens
Freivalds, Rusins Martins
Friedl, Katalin
Friedler, Ferenc
Friedman, Roy
G, Szabó
G, Szabo
Gabb, Henry A
Gábor, Attila
Gábor, Szárnyas
Gacek, Cristina
Gajdos, Sándor
Gallardo, Maria Mar
Gallardo, Marina Mar
Gallardo, María Mar
Garmendia, Antonio
Gáspár, P
Gáspár, Péter
Geeraerts, Gilles
Geiger, Leif
Geiss, Rubinho
Gerard, Sebastien
Gerencsér, György
Gerla, Mario
Giandomenico, Felicita Di
Giandomenico, Di F
Gianone, L
Gill, Gurbinder
Gilmore, Stephen
Giuli, Dino
Gnesi, Stefania
Göbölös-Szabó, Julianna
Gomes, Ivan
Gómez, Abel
Gönczy, László
González Suárez, Víctor M
Gorbenko, Anatoliy
Gorp, Pieter Van
Graics, Bence
Gramatova, Elena
Gray, Jeff
Greenyer, Joel
Grieskamp, Wolfgang
Gronbaek, J
Groote, Jan Friso
Grosspietsch, Karl-Erwin
Grunske, Lars
Guelfi, Nicolas
Guerra, Esther
Gujgiczer, Anna
Gusat, Mitchell
Gyapay, Szilvia
Haddad, Hisham
Hajdu, Ákos
Hajdu, Csaba
Hamvas, Áron
Hangos, K M
Haprian, Vlad
Harmath, Dénes
Hartig, Olaf
Haslhofer, Bernhard
Heckel, Reiko
Hegedüs, Ábel
Hegeman, Tim
Hegyi, Bálint
Hegyi, B{\'{a}}lint
Hegyi, Balint
Herrmannsdörfer, Markus
Herzig, Sebastian J I
Hidders, Jan
Hiller, Martin
Hlavicka, J
Hochberger, C
Hoffmann, Kathrin
Hohl, Wolfgang
Hölzl, Matthias M
Honfi, Dávid
Hönig, Joachim
Horányi, Gergő
Horkoff, Jennifer
Horn, Tassilo
Horváth, László
Horváth, Ákos
Horváth, Ádám
Horváth, Dóra
Horváth, Benedek
Hose, Katja
Howlett, Robert
Hussmann, Heinrich
Huszerl, Gábor
I, Varga
Iamnitchi, Adriana
Ilie-Zudor, E
Ilie-Zudor, Elisabeth
Inverardi, P
Iosup, Alexandru
Iovino, D
Islam, Shariful
Ivaki, Nagmeh
Izsó, Benedek
izso
Jacquet, Christophe
Jain, Lakhmi
Jakumeit, Edgar
Jámbor, Attila
Jan, Jurjens
Jávorszky, Judit
Jézéquel, Jean-Marc
Jezic, Gordan
Jhumka, Arshad
Jones, Trevor
Jovanović, Dejan
József, Vásárhelyi
József, Marton
Jukss, Maris
Jürjens, Jan
Kaâniche, M
Kacprzyk, Janusz
Kalavri, Vasiliki
Kalnina, Elina
Kapp, Hugo
Karban, Robert
Karimov, Karim
Karna, L
Karsai, Gabor
Kaufmann, Moritz
Kemény, Zsolt
Ketil, Stolen
Kharchenko, Vyacheslav
Kincses, Gergő
Kiss, B
Kiss, Ákos
Kitchen, James
Klapka, S
Klenik, Attila
Knapp, A
Kniemeyer, Ole
Knirsch, Peter
Kobayashi, Hisashi
Koch, Nora
Kocsis, Imre
Kocsis, Zsolt
Kofroň, Jan
Kokaly, Sahar
Kolodziej, Scott P
Kolodziej, Scott
Kolovos, Dimitrios S
Konnerth, Raimund-Andreas
Koo, Yong Wan
Kordon, Fabrice
Kosmidis, Konstantinos
Kovács, Máté
Kovács, Péter Tamás
Kovácsházy, Tamás
Kővári, Zsolt
Kövi, András
Krause, Christian
Kreowski, Hans-Jörg
Kristóf, Marussy
Kruse, Benjamin
Kuester, Jochen
Kuiper, Laurens
Kuldeep, Bhardway
Kusek, Mario
L, Monostori
L, Gönczy
Ladislav, Samuelis
Lanese, Ivan
Lano, Kevin
Lapadula, Alessandro
Lara, Juan
Laranjeiro, Nuno
Larsen, Kim G
Latella, Diego
Lemos, Rogério
Lengyel, Laszló
Lennartson, Bengt
Lepoint, Tancrede
Lepper, Markus
Lesage, Jean-Jacques
Levendovszky, Tihamér
Li, Anqi
Lissandrini, Matteo
Llorente, Ignacio
Lollini, P
Lopatyev, A
Low, Tze Meng
Lumsdaine, Andrew
M, Hangos K
Madeira, Henrique
Madsen, T K
Maestrini, P
Maginecz, János
Magyar, Melinda
Majzik, István
Makai, József
Malek, Miroslaw
Mamei, Marco
Manhaeve, Hans
Manlaibaatar, Tugsbayasgalan
Margaria, Tiziana
Martens, Wim
Marton, József
Mártonka, Zoltán
Marussy, Kristóf
Massacci, Fabio
Massink, Mieke
Mattiello-Francisco, Fatima
Mattson, Timothy G
Mayer, Philip
Mayr, Ernst W
Mazanek, Steffen
Mázló, Zsolt
Mazurkiewicz, Jacek
Mazzanti, Franco
McKenna, Luke
McMillan, Scott
Mehmood, Qaiser
Mellor, S
Mendialdua, Xabier
Mens, Tom
Merino, Pedro
Mészáros, Tamás
Mhedhbi, Amine
Micskei, Zoltán
Miklós, Telek
Minas, Mark
Minkenberg, Cyriel
Mirachi, Samoel
Moldt, Daniel
Molnár, Miklós
Molnár, Vince
Molnár, Gábor
molnarv
Monostori, L
Monostori, László
Montanari, Ugo
Montecchi, L
Montecchi, Leonardo
Moorsel, Aad
Moreira, A
Muccini, Henry
Muñoz, César
Mura, Ivan
Mylopoulos, John
Nagl, Manfred
Nagy, András Szabolcs
Nagy, Simon József
Nagy, Attila
Narayanan, Anantha
Narkawicz, Anthony
Navas, Jorge
Német, Erzsébet
Német, Róbert
Németh, Attila
Németh, Zoltán
Németh, E
Ness, Benjamin
Nett, Edgar
Ngomo, Axel-Cyrille Ngonga
Nguyen, Minh Duc
Nguyen, Ngoc-Thanh
Nitu, Irina
Nováki, Szilárd
Nurcan, Selmin
Ökrös, András
Oláh, János
Ortmeier, Frank
Ott, Max
Özsu, Tamer M
P, Gáspár
Paakki, J
Paci, Federica
Padberg, Julia
Paige, Richard F
Paige, Richard
Palamidessi, Catuscia
Palazzo, Sergio
Paljak, Gergely János
Palkovics, László
Pap, Zsigmond
Paradies, Marcus
Pataki, Béla
Pataricza, András
Pataricza, András
Pawlak, Adam
Péceli, Gábor
Pelliccione, Patrizio
Peri, Ramesh
Petrenko, Alexandre
Petri, Dániel
Peukert, Eric
Pierantonio, Alfonso
Piestrak, Stanislaw J
Pilarski, Sebastian
Pingali, Keshav
Pintér, Gergely
Plantikow, Stefan
Polgár, Balázs
Prange, Ulrike
Prat, Arnau
Prat-Pérez, Arnau
Pugliese, Rosario
Puschner, Peter
Raatikainen, Kimmo
Rabatin, Gábor
Radnai, András
Ragab, Mohamed
Ráth, István
rath
Rebeka, Farkas
Regio, G
Reichert, Manfred
Reitenspieß, Manfred
Rencis, Edgars
Renczes, Balázs
Renovell, M
Rensink, Arend
Ribeiro, Leila
Richardson, Julian
Riches, Kathleen
Ripeanu, Matei R
Rivière, Nicolas
Romanovsky, Alexander
Rose, Louis
Rose, Louis M
Rosemann, Michael
Rossi, Francesco
Roy, Matthieu
Rozenberg, Grzegorz
Rumpe, Bernhard
Russo, Alessandra
Ruth, Breu
S, Chiaradonna
Sahni, Sartaj
Sahraoui, Houari
Sakr, Sherif
Salamon, Gábor
Salánki, Ágnes
Salay, Rick
Saleem, Muhammad
Salihoglu, Semih
Sallai, Gyula
Salzo, A
Sándor, Gajdos
Sándor, Dávid
Sârbu, Constantin
Savoia, Giancarlo
Schaa, Volker R W
Schmidt, András
Schmidt, H
Schmidt, Ákos
Schmocker, U
Schnieder, Etienne
Schoofs, Tobias
Schroeder, Andreas
Schulte, Wolfram
Schulz, Christian
Schürr, Andy
Selényi, Endre
Selic, Bran
Selmer, Petra
Semeráth, Oszkár
Sénac, Patrick
Seneviratne, Aruna
Sequeda, Juan F
Shaw, Michael J
Shen, Xuemin (Sherman)
Shin, Sung Y
Shinavier, Joshua
Sieh, Volkmar
Simoncini, Luca
Sisak, Áron
Sólyom, Alexandra Anna
Sonnevend, Ilona
Soumelidis, A
Sousa, Fabiano Luis
Spitzer, C
Sridhar, Upasana
Stafford, J
Stan, Mircea
Starr, Rodrigo Rizzi
Steer, Benjamin A
Steffen, Bernhard
Stein, Dániel
Stevens, Perdita
Stewart, Daryl
Strohmeier, A
Sugier, Jaroslaw
Sugier, Jarosław
Suri, Neeraj
Surridge, Mike
Syriani, Eugene
Szabó, Tamás
Szabo, Z
Szabó, G
Szabo, G
Szabó, Adrienn
Szárnyas, Gábor
szarnyasg
Szászi, István
Szatmári, Zoltán
Szegi, András
Szilágyi, Gábor
Sziray, J
Szőke, Gábor
Szombath, István
Szűcs, Gábor
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
Tinelli, C
Tommasini, Riccardo
Torrini, Paolo
Tóth, András
Tóth, Dániel
Tóth, Tamás
Tournier, Jean-Charles
Tretmans, Jan
Tribastone, Mirco
Trujillo, Salvador
Tumeo, Antonino
Tumova, Jana
Tun, Thein
Tun, Thein Than
Tyszer, Jerzy
U, Schmocker
Ujhelyi, Zoltán
Urbanics, Gábor
Uta, Alexandru
Vágó, Dávid
Valentino, Meduri
Valle, Emanuele Della
Vallecillo, Antonio
Valmari, Antti
Van Eetvelde, Niels
Vangheluwe, Hans
Varbanescu, Ana Lucia
Varga, I
Varga, István
Várnai, György
Varró, Gergely
Varró, Dániel
varro
Varró-Gyapay, Szilvia
Vasilakos, Athanasius V
Vayssière, Julien
Veanes, Margus
Verbrugge, Clark
Vidács, László
Vieira, Marlon
Vieira, Marco
Visser, Eelco
VN, Dang
Voigt, Hannes
Völter, Markus
Vörös, András
Voss, Sebastian
Vynohradskyi, B
Waeselynck, Hélène
Wagelaar, Dennis
Wainwright, Roger L
Walkowiak, Tomasz
Wallnau, K
Wätzoldt, Sebastian
Waudby, Jack
Weinell, Erhard
Weissenbacher, Georg
Welch, Erik
Whittle, Jon
Wieringa, R
Wile, Dave
Wirsing, M
Wolter, Katinka
Wu, Hsiang-Yun
Xia, Xiaohua
Xiaohua, Jia
Yakovets, Nikolay
Yan, Da
Yoneki, Eiko
Yu, Yijun
Zamojski, Wojciech
Zhang, Yunming
Zhang, Yongzhe
Zisman, Andrea
Zomaya, Albert
Zündorf, Albert
Conference Paper
Book Chapter
Journal Article
Patent
Report
Thesis
Conference Proceedings
Miscellaneous
Book
bibliography - abstract state machines
bibliography - Abstraction
bibliography - Access control
bibliography - access controls
bibliography - Action Semantics
bibliography - adaptive graph pattern matching
bibliography - AIS
bibliography - analysis
bibliography - analysis of transformation systems
bibliography - Arinc 653
bibliography - authorisation
bibliography - back-annotation
bibliography - bounded model checking
bibliography - business process
bibliography - by-example synthesis
bibliography - CEGAR
bibliography - CEP
bibliography - change impact analysis
bibliography - code generation
bibliography - Collaborative software
bibliography - collaborative-modeling framework
bibliography - coloured Petri net
bibliography - communication mediation
bibliography - component-based design
bibliography - Component-wise abstraction
bibliography - composition language
bibliography - Computation Tree Logic
bibliography - Computer Science
bibliography - concurrency
bibliography - concurrent
bibliography - constraint programming
bibliography - deductive databases
bibliography - dependability
bibliography - derived features
bibliography - design space exploration
bibliography - domain-specific languages
bibliography - DSE
bibliography - dynamic constraint problems
bibliography - dynamism
bibliography - Eclipse
bibliography - EJB 3.0
bibliography - embedded systems
bibliography - EMF
bibliography - execution traces
bibliography - exploratory data analysis
bibliography - Fault
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 - groupware
bibliography - ILP
bibliography - IMA
bibliography - IncQuery
bibliography - Incremental algorithm
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 - integration and modeling
bibliography - inter-enterprise collaboration
bibliography - intra-enterprise collaboration
bibliography - isolation
bibliography - J2EE
bibliography - knowledge based systems
bibliography - litmus test
bibliography - live model queries
bibliography - Load modeling
bibliography - logic properties of graphs and transformations
bibliography - LTL
bibliography - MDA
bibliography - MDD
bibliography - MDE
bibliography - memory consistency model
bibliography - meta-transformation
bibliography - metamodeling
bibliography - model access
bibliography - model checking
bibliography - Model Driven Engineering
bibliography - model generation
bibliography - model query
bibliography - model transformation
bibliography - model transformations
bibliography - model validation
bibliography - model-based systems engineering
bibliography - Model-based testing - Graph Transformation - Model Checking - Fault-Tolerant Services
bibliography - model-driven engineering
bibliography - modeling and development tools
bibliography - Modelling
bibliography - modular verification
bibliography - MONDO
bibliography - MSC
bibliography - multi-objective optimization
bibliography - Multiple-valued Decision Diagram
bibliography - OCL
bibliography - ontology
bibliography - optimization
bibliography - partial modeling
bibliography - Pattern matching
bibliography - Petri nets
bibliography - Pex
bibliography - planner algorithms
bibliography - platform-specific transformers
bibliography - PLC
bibliography - program slicing
bibliography - programming languages
bibliography - quantitative characterization
bibliography - query
bibliography - query-driven synchronization
bibliography - quickfix generation
bibliography - Reachability analysis
bibliography - recursive pattern matching
bibliography - refinement
bibliography - relational databases
bibliography - reliable messaging
bibliography - requirement specification
bibliography - resilience
bibliography - Robustness testing
bibliography - rule-based access control policies
bibliography - rule-based design space exploration
bibliography - sa forum
bibliography - Safety
bibliography - safety criteria
bibliography - safety critical systems
bibliography - safety systems
bibliography - saturation
bibliography - SCC computation
bibliography - search plans
bibliography - search-based software engineering
bibliography - search-based techniques
bibliography - secure i*
bibliography - secure views
bibliography - security argumentation
bibliography - security patterns
bibliography - security requirements engineering
bibliography - semantics
bibliography - semantics of visual techniques
bibliography - sequence diagram
bibliography - service availability
bibliography - Service Oriented Architecture
bibliography - Simulation
bibliography - smart contracts
bibliography - SMT-solvers
bibliography - soft links
bibliography - Software architecture
bibliography - Software development
bibliography - software engineering
bibliography - Software testing. White-box test generation. Empirical study
bibliography - statecharts
bibliography - static analysis
bibliography - statistics
bibliography - Stochastic analysis
bibliography - streaming transformations
bibliography - symbolic execution
bibliography - Symbolic model checking
bibliography - system architectures
bibliography - system verification
bibliography - systems engineering
bibliography - taxonomy
bibliography - temporal logic
bibliography - termination
bibliography - Test classification
bibliography - test comparator
bibliography - test coverage
bibliography - test evaluation
bibliography - test generation
bibliography - testing
bibliography - time
bibliography - tool contest
bibliography - tool integration
bibliography - Tool support
bibliography - traceability
bibliography - Trans-IMA
bibliography - transformation generation
bibliography - transformation rule derivation
bibliography - type checking
bibliography - UML
bibliography - UML modeling
bibliography - validation
bibliography - verification
bibliography - Viatra
bibliography - Viatra-CEP
bibliography - view models
bibliography - visual languages
bibliography - visualization
bibliography - XMI
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
abstract state machines
Abstraction
Access control
access controls
Action Semantics
adaptive graph pattern matching
AIS
analysis
analysis of transformation systems
Arinc 653
authorisation
back-annotation
bounded model checking
business process
by-example synthesis
CEGAR
CEP
change impact analysis
code generation
Collaborative software
collaborative-modeling framework
coloured Petri net
communication mediation
component-based design
Component-wise abstraction
composition language
Computation Tree Logic
Computer Science
concurrency
concurrent
constraint programming
deductive databases
dependability
derived features
design space exploration
domain-specific languages
DSE
dynamic constraint problems
dynamism
Eclipse
EJB 3.0
embedded systems
EMF
execution traces
exploratory data analysis
Fault
formal methods
formal semantics
formal verification
generic transformation
grabats
graph pattern matching
graph transformation
graph transformation tool contest
groupware
ILP
IMA
IncQuery
Incremental algorithm
incremental evaluation
incremental graph pattern matching
incremental graph pattern matching - RETE - benchmarking
incremental model transformation
inductive logic programming
integrated development environment
integration and modeling
inter-enterprise collaboration
intra-enterprise collaboration
isolation
J2EE
knowledge based systems
litmus test
live model queries
Load modeling
logic properties of graphs and transformations
LTL
MDA
MDD
MDE
memory consistency model
meta-transformation
metamodeling
model access
model checking
Model Driven Engineering
model generation
model query
model transformation
model transformations
model validation
model-based systems engineering
Model-based testing - Graph Transformation - Model Checking - Fault-Tolerant Services
model-driven engineering
modeling and development tools
Modelling
modular verification
MONDO
MSC
multi-objective optimization
Multiple-valued Decision Diagram
OCL
ontology
optimization
partial modeling
Pattern matching
Petri nets
Pex
planner algorithms
platform-specific transformers
PLC
program slicing
programming languages
quantitative characterization
query
query-driven synchronization
quickfix generation
Reachability analysis
recursive pattern matching
refinement
relational databases
reliable messaging
requirement specification
resilience
Robustness testing
rule-based access control policies
rule-based design space exploration
sa forum
Safety
safety criteria
safety critical systems
safety systems
saturation
SCC computation
search plans
search-based software engineering
search-based techniques
secure i*
secure views
security argumentation
security patterns
security requirements engineering
semantics
semantics of visual techniques
sequence diagram
service availability
Service Oriented Architecture
Simulation
smart contracts
SMT-solvers
soft links
Software architecture
Software development
software engineering
Software testing. White-box test generation. Empirical study
statecharts
static analysis
statistics
Stochastic analysis
streaming transformations
symbolic execution
Symbolic model checking
system architectures
system verification
systems engineering
taxonomy
temporal logic
termination
Test classification
test comparator
test coverage
test evaluation
test generation
testing
time
tool contest
tool integration
Tool support
traceability
Trans-IMA
transformation generation
transformation rule derivation
type checking
UML
UML modeling
validation
verification
Viatra
Viatra-CEP
view models
visual languages
visualization
XMI
Publications
Authors
Keywords
Languages
BME EduID Sign on
Login
User login
Username:
*
Password:
*
Leírások
Submitting homework and lab assignments
IT Services
Egyéb leírások
Navigation
Conference materials