Aggregating Association Rules to Improve Change Recommendation von Rolfsnes, Thomas, Moonen, Leon, Alesio, Stefano Di, Behjati, Razieh, Binkley, Dave

Volltext

Application of deep learning models to generate rich, dynamic and production-like test data von Tan, Chao, Behjati, Razieh, Arisholm, Erik

Volltext

Architecture-level configuration of industrial control systems: Foundations for an efficient approach von Behjati, Razieh, Nejati, Shiva

Volltext

SimPL: A product-line modeling methodology for families of integrated control systems von Behjati, Razieh, Yue, Tao, Briand, Lionel, Selic, Bran

Volltext

Proceedings of the First International Workshop on Formal Methods for and on the Cloud: Preface von Behjati, Razieh, Elmokashfi, Ahmed

Volltext

Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems von Behjati, Razieh, Nejati, Shiva

Volltext

Enhancing Synthetic Test Data Generation with Language Models Using a More Expressive Domain-Specific Language von Tan, Chao, Behjati, Razieh, Arisholm, Erik

Volltext

Architecture-Level Configuration of Large-Scale Embedded Software Systems von Behjati, Razieh, Nejati, Shiva, Briand, Lionel C.

Volltext

A modeling approach to support the similarity-based reuse of configuration data von Behjati, Razieh, Yue, Tao, Briand, Lionel

Volltext

Synthetic Test Data Generation Using Recurrent Neural Networks: A Position Paper von Behjati, Razieh, Arisholm, Erik, Tan, Chao, Bedregal, Margrethe M

Volltext

Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling von Behjati, Razieh, Yue, Tao, Nejati, Shiva, Briand, Lionel, Selic, Bran

Volltext

A model-based approach to the software configuration of integrated control systems von Behjati, Razieh

Volltext bestellen

Sysfier: Actor-based formal verification of SystemC von Razavi, Niloofar, Behjati, Razieh, Sabouri, Hamideh, Khamespanah, Ehsan, Shali, Amin, Sirjani, Marjan

Volltext

Bounded Rational Search for On-the-Fly Model Checking of LTL Properties von Behjati, Razieh, Sirjani, Marjan, Nili Ahmadabadi, Majid

Volltext

Proceedings of the First International Workshop on Formal Methods for and on the Cloud von Behjati, Razieh, Elmokashfi, Ahmed

Volltext

Sysfier: Actor-based formal verification of SystemC von Razavi, Niloofar, Behjati, Razieh, Sabouri, Hamideh, Khamespanah, Ehsan, Shali, Amin, Sirjani, Marjan

Volltext

Model-Based Automated and Guided Configuration of Embedded Software Systems von Behjati, Razieh, Nejati, Shiva, Yue, Tao, Gotlieb, Arnaud, Briand, Lionel

Volltext

An effective approach for model checking SystemC designs von Behjati, R., Sabouri, H., Razavi, N., Sirjani, M.

Volltext

Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 - October 5, 2012, Proceedings von France, Robert B, Kazmeier, Jürgen, Breu, Ruth, Atkinson, Colin

Volltext

Synthesis of Attributed Feature Models From Product Descriptions: Foundations von Bécan, Guillaume, Behjati, Razieh, Gotlieb, Arnaud, Acher, Mathieu

Volltext bestellen