by Alkassar, Eyad, Böhme, Sascha, Mehlhorn, Kurt, Rizkallah, Christine
Published in Journal of automated reasoning (01.03.2014)

by Alkassar, Eyad, Hillebrand, Mark A., Paul, Wolfgang, Petrova, Elena
Published in Verified Software: Theories, Tools, Experiments (2010)

by Alkassar, Eyad, Bogan, Sebastian, Paul, Wolfgang J.
Published in Sadhana (Bangalore) (01.02.2009)

by Alkassar, Eyad, Böhme, Sascha, Mehlhorn, Kurt, Rizkallah, Christine, Schweitzer, Pascal
Published in Information technology (Munich, Germany) (01.12.2011)

by Alkassar, Eyad, Cohen, Ernie, Kovalev, Mikhail, Paul, Wolfgang J.
Published in Verified Software: Theories, Tools, Experiments (2012)

by Alkassar, Eyad, Hillebrand, Mark A, Leinenbach, Dirk C, Schirmer, Norbert W, Starostin, Artem, Tsyban, Alexandra
Published in Journal of automated reasoning (01.04.2009)

by Alkassar, Eyad, Schirmer, Norbert, Starostin, Artem
Published in Tools and Algorithms for the Construction and Analysis of Systems (2008)

by Alkassar, Eyad, Paul, Wolfgang J., Starostin, Artem, Tsyban, Alexandra
Published in Verified Software: Theories, Tools, Experiments (2010)

by Alkassar, Eyad, Hillebrand, Mark A.
Published in Verified Software (2008)

by Klebanov, Vladimir, Müller, Peter, Shankar, Natarajan, Leavens, Gary T., Wüstholz, Valentin, Alkassar, Eyad, Arthan, Rob, Bronish, Derek, Chapman, Rod, Cohen, Ernie, Hillebrand, Mark, Jacobs, Bart, Leino, K. Rustan M., Monahan, Rosemary, Piessens, Frank, Polikarpova, Nadia, Ridge, Tom, Smans, Jan, Tobies, Stephan, Tuerk, Thomas, Ulbrich, Mattias, Weiß, Benjamin
Published in FM 2011: Formal Methods (2011)

by Alkassar, Eyad, Hillebrand, Mark A., Leinenbach, Dirk, Schirmer, Norbert W., Starostin, Artem
Published in Verified Software (2008)

by Tverdyshev, S., Alkassar, E.
Published in 2008 15th International Symposium on Temporal Representation and Reasoning (01.06.2008)

by Alkassar, Eyad, Böhme, Sascha, Mehlhorn, Kurt, Rizkallah, Christine
Published in Computer Aided Verification (2011)

by Alkassar, Eyad, Hillebrand, Mark A., Leinenbach, Dirk C., Schirmer, Norbert W., Starostin, Artem, Tsyban, Alexandra
Published in Journal of automated reasoning (01.04.2009)

by Cohen, Ernie, Alkassar, Eyad, Boyarinov, Vladimir, Dahlweid, Markus, Degenbaev, Ulan, Hillebrand, Mark, Langenstein, Bruno, Leinenbach, Dirk, Moskal, Michał, Obua, Steven, Paul, Wolfgang, Pentchev, Hristo, Petrova, Elena, Santen, Thomas, Schirmer, Norbert, Schmaltz, Sabine, Schulte, Wolfram, Shadrin, Andrey, Tobies, Stephan, Tsyban, Alexandra, Tverdyshev, Sergey
Published in Perspectives of Systems Informatics (2010)

by Alkassar, Eyad, Böhme, Sascha, Mehlhorn, Kurt, Rizkallah, Christine
Year of Publication 30.01.2013

by Alkassar, Eyad, Bohm, Peter, Knapp, Steffen
Published in 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design (01.06.2008)

by Alkassar, Eyad, Böhme, Sascha, Mehlhorn, Kurt, Rizkallah, Christine
Published in arXiv.org (30.01.2013)

by Alkassar, Eyad, Böhm, Peter, Knapp, Steffen
Published in Distributed Embedded Systems: Design, Middleware and Resources (2008)