Biblio

Show only items where

Author

Type

Year

Keyword

is

Aalst, Wil Abramowicz, Witold Agreiter, Berthold Agreiter, Balal.Aldini, Alessandro Andronick, June Armenteros, Alvaro Asnar, YBachlechner, Daniel Balogh, András Balogh, Zoltán Bandara, Arosha Bandara, Arosha KBauer, ABenats, Guillaume Bergmann, Gábor Bergmann, GBertino, EBertino, Elisa Bordbar, Behzad Botella, Julien Bouquet, Fabrice Branco, Moisés Castelo Breu, Ruth Breu, Michael Breu, MBreu, RBué, Pierre-Christophe Butler, Simon C. Connert, Hafner MCabot, Jordi Capiluppi, Andrea Chen, Bihuan Chetali, Boutheina Chung, Lawrence Coe, Tony Colin, Jean-Noel Coyle, Lorcan Dadeau, Frédéric Debois, Georges Debricon, Stéphane Dekermadec, Adrien Dragoni, Nicola Dragoni, NE.FelixÉgel, Zoltán Erlingsson, UErlingsson, Úlfar Ermel, Claudia F.MassacciF.PaciFarwick, Matthias Felderer, Michael Felderer, MFelici, Massimo Fiadeiro, José Luiz Fontaine, AFontaine, Arnaud Foster, Craig Fourneret, Elizabeta France, Robert Franqueira, Virginia N LFreitas, Leo Gadyatskaya, Olga Gadyatskaya, OGander, Matthias Gorp, Pieter Van Gorrieri, Roberto Haddad, Amal Hafner, Michael Hahn, Verena Haley, Charles BHaley, C BHatebur, DHegedüs, Abel Heisel, MHeyman, Thomas Hidaka, Soichiro Hill, Tom Hinchey, Mike Hoffmann, Kathrin Horváth, Akos Horvath, AHorváth, Dóra Houmb, Siv Hilde Houmb, SHoumb, S HHu, Zhenjiang Huszerl, Gábor Hym, SHym, Samuel Innerhofer-Oberperfler, Frank Innerhofer-Oberperfler, FIslam, Shareeful Islam, SJackson, Michael Jacobs, Bart Jaffuel, Eddie Jan Smans, Bart Jacobs Jedrzejczyk, Lukasz Joinson, Adam Joosen, Wouter Julliand, Jacques Jurjens, Jan Jürjens, Jan Jürjens, JKaiya, Haruhiko Karsai, GKato, Hiroyuki Knauss, Eric Knauss, EKocsis, Imre Kövi, András Kranzlmüller, Dieter Kubo, Atsuto Kuester, Jochen L. WilliamsL.M.S.TranLaney, Robin Lang, Christophe Legeard, Bruno Leite, Julio Cesar Sampaio Prado Li, TLin, Yu Llorente, Ignacio Loew, SLostal, Eduardo Lostal, ELöw, Sarah Lozano, Angela Lund, Mass Soldal Lund, Mass Soldal Lund, Mass SMadelénat, Sébastien Maier, Ronald Majzik, István Majzik, Istvan Mancini, Clara Marchal, LMarchal, Loıc Margaria, Tiziana Massacci, Fabio Massacci, FMasson, Pierre-Alain Mazanek, Steffen Mecella, MMecella, Massimo Meduri, Valentino Memon, Mukhtiar Micskei, Zoltan Micskei, Zoltán Montrieux, LMontrieux, Lionel Mouratidis, Haris Mouratidis, HMuehlberg, JanTobias Mühlberg, Jan Tobias Mylopoulos, John Mylopoulos, John N.DragoniNeuhaus, SNguyen, Minh Duc Nguyen, V HNhlabatsi, Armstrong Nuseibeh, Bashar Nuseibeh, BO. GadyatskayaO.DelandeOchoa, Martin Ochoa, MÖkrös, András Omerovic, Aida Osterweil, L JOuzzani, MOuzzani, Mourad P, Sound Formal Verification {L}inux's {U}{S}{B} Paci, FPaci, Federica Paige, Richard Pastor, Oscar Pataricza, András Paul, Stéphane Peng, Xin Penninckx, Willem Petre, Marian Peureux, Fabien Philippaerts, Pieter Philippov, APickaert, Natacha Piessens, Frank Pintér, Gergely Pironti, Alfredo Potet, Marie-Laure Pretre, Vincent Price, Blaine Price, Blaine ARáth, István Ráth, IReitenspiess, Manfred Rensink, Arend Riviere, Nicolas Rogers, Yvonne Rose, Louis Rosemann, Michael Salinesi, Camille Scandariato, Riccardo Scandariato, RSchieferdecker, ISchmidt, HSchmidt, Holger Schneider, Kurt Schneider, KSchobbens, P -YSchobbens, Pierre-Yves Schreiner, Wolfgang Sharp, Helen Shaw, Michael JShinpei, Hayashi Siahaan, ISimplot-Ryl, ISimplot-Ryl, Isabelle Smans, Jan Solhaug, Bjørnar Solhaug, Bjørnar Solhaug, Bjornar Stankevich, SStolen, Ketil Stølen, Ketil Stølen, Ketil Supakkul, Sam Surridge, Mike Szatmári, Zoltán Szyperski, Clemens Tahara, Yasuyuki Tam, Francis Taubenberger, Stefan Tedeschi, Alessandra Thomas, Keerthi Tissot, Régis Toussaint, HToussaint, Hubert Tran, L M STrew, Tim Trojer, Thomas Tun, Thein Than Tun, Thein Tun, Thein Thun Ujhelyi, Zoltán Utting, Mark V.H.NguyenVan Aertrick, Lionel Varró, Gergely Varró, Dániel Varró, DVayssière, Julien Visser, Eelco Vogels, Frédéric Volkert, Jens Waeselynck, Helene Warzecha, Daniel Washizaki, Hironori Weitlaner, Manuela Wenzel, Sven Wermelinger, Michel Wieringa, RWieringa, Roel Yoshioka, Nobukazi Yousefi, Parvaneh Yskout, Koen Yu, Yijun Yu, Hui Zannone, NZannone, Nicola Zhao, Wenyun Zisman, Andrea

Journal ArticleConference PaperConference ProceedingsBook ChapterMiscellaneousBookReport

Submitted2012201120102009

Access controlAndroid securityaspect-oriented programmingasynchronous transfer modeChangechange impact analysiscode generationcognitionComputer Scienceconstraint programmingContextConversationsdesign principlesdesign space explorationDéveloppement informatiquedomain-specific languagesdynamic constraint problemsEclipse IDEeducational institutionsEMFEvolutionGénie logicielgraph transformationgraph transformation tool contestillegal information exchangeIncQueryincrementalincremental evaluationincremental graph pattern matchingincremental verificationInformatique : analyseInformatique : développementmergingmetricsmobile applicationsmodelmodel querymodel transformationmodel transformationsmodel validationmodel-driven engineeringmodelingmulti-application smart cardOCLpolicy conflictsprivacy policyprogram slicingQuality predictionquickfix generationRBACrelational databaserole-based access controlSecuritysecurity policy enforcemenSecurity-by-Contractsimulationsoftware architecturesoftware evolutionSoftware systemsstructured designsyntacticssystem architectural designTesttype checkingUMLumlsecUMLsec UML2 OCL Security Architecture Security PatternverificationViatraviatra2Web services