Publications Search Tool

290 entries « 3 of 15 »
41.

Bagherzadeh, Mojtaba; Bordeleau, Francis; Bruel, Jean-Michel; Dingel, Juergen; Gerard, Sebastien; Hili, Nicolas; Voss, Sebastian

Summary of Workshop on Model-Driven Engineering Tools (MDETools'17) Proceedings Article

In: MODELS 2017 Satellite Events Proceedings, pp. 336-337, Austin, Texas, USA, 2017.

Links | BibTeX

42.

Bagherzadeh, Mojtaba; Bordeleau, Francis; Bruel, Jean-Michel; Dingel, Juergen; Gerard, Sebastien; Hili, Nicolas; Voss, Sebastian

Summary of Workshop on Model-Driven Engineering Tools (MDETools'17) Proceedings Article

In: MODELS 2017 Satellite Events Proceedings, pp. 336-337, Austin, Texas, USA, 2017.

Links | BibTeX

43.

Waez, Md. Tawhid Bin; Wąsowski, Andrzej; Dingel, Juergen; Rudie, Karen

Controller Synthesis for Dynamic Hierarchical Real-Time Plants Using Timed Automata Journal Article

In: Journal Discrete Event Dynamic Systems, Special Issue on Formal Methods in Control, vol. 27, pp. 407-441, 2017.

Abstract | Links | BibTeX

44.

Waez, Md. Tawhid Bin; Wąsowski, Andrzej; Dingel, Juergen; Rudie, Karen

Controller Synthesis for Dynamic Hierarchical Real-Time Plants Using Timed Automata Journal Article

In: Journal Discrete Event Dynamic Systems, Special Issue on Formal Methods in Control, vol. 27, pp. 407-441, 2017.

Abstract | Links | BibTeX

45.

Bagherzadeh, Mojtaba; Bordeleau, Francis; Bruel, Jean-Michel; Dingel, Juergen; Gerard, Sebastien; Hili, Nicolas; Voss, Sebastian

Summary of Workshop on Model-Driven Engineering Tools (MDETools'17) Proceedings Article

In: MODELS 2017 Satellite Events Proceedings, pp. 2, Austin, Texas, USA, 2017, (To appear).

BibTeX

46.

Selim, Gehan M K; Cordy, James R; Dingel, Juergen

How is ATL Really Used? Language Feature Use in the ATL Zoo Proceedings Article

In: ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), pp. 11 pages, Austin, Texas. Sept 17-22, 2017, 2017.

Links | BibTeX

47.

Oliveira, Raquel; Dingel, Juergen

Supporting Model Refinement with Equivalence Checking in the Context of Model-Driven Engineering with UML-RT Proceedings Article

In: 14th Workshop on Model-driven Engineering, Verification, and Validation (MoDeVVa'17), pp. 7, Austin, Texas. Sept 19, 2017, 2017, (To appear).

BibTeX

48.

Bagherzadeh, Mojtaba; Kahani, Nafiseh; Bezemer, Cor-Paul; Hassan, Ahmed E; Dingel, Juergen; Cordy, James R

Analyzing a Decade of Linux System Calls Journal Article

In: Empirical Software Engineering Journal, 2017.

Links | BibTeX

49.

Bagherzadeh, Mojtaba; Hili, Nicolas; Dingel, Juergen

Model-Level, Platform-Independent Debugging In The Context Of The Model-Driven Development Of Real-time Systems Proceedings Article

In: 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'17), Paderborn, Germany. September 04-08, 2017, 2017.

Abstract | Links | BibTeX

50.

Hili, Nicolas; Dingel, Juergen; Beaulieu, Alain

Modelling and Code Generation for Real-time Embedded Systems with UML-RT and Papyrus-RT Proceedings Article

In: 39th International Conference on Software Engineering Companion, pp. 509–510, IEEE, Buenos Aires, Argentina. May 21-22, 2017, 2017, ISBN: 978-1-5386-1589-8.

Links | BibTeX

51.

Kahani, Nafiseh; Hili, Nicolas; Cordy, James R; Dingel, Juergen

Evaluation of UML-RT and Papyrus-RT for Modelling Self-adaptive Systems Proceedings Article

In: 9th International Workshop on Modelling in Software Engineering (MiSE'17), pp. 12–18, IEEE, Buenos Aires, Argentina. May 21-22, 2017, 2017, ISBN: 978-1-5386-0426-7.

Links | BibTeX

52.

Madzar, Boris; Boudjadar, Jalil; Dingel, Juergen; Fuhrman, Thomas E; S., Ramesh

Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems Proceedings Article

In: Kouchnarenko, Olga; Khosravi, Ramtin (Ed.): 13th International Conference on Formal Aspects of Component Software (FACS'16), pp. 153–171, Springer, Besançon, France. October 19-21, 2016, 2017, ISBN: 978-3-319-57666-4.

Abstract | Links | BibTeX

53.

Bagherzadeh, Mojtaba; Bordeleau, Francis; Bruel, Jean-Michel; Dingel, Juergen; Gerard, Sebastien; Hili, Nicolas; Voss, Sebastian

Summary of Workshop on Model-Driven Engineering Tools (MDETools'17) Proceedings Article

In: MODELS 2017 Satellite Events Proceedings, pp. 2, Austin, Texas, USA, 2017, (To appear).

BibTeX

54.

Selim, Gehan M K; Cordy, James R; Dingel, Juergen

How is ATL Really Used? Language Feature Use in the ATL Zoo Proceedings Article

In: ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), pp. 11 pages, Austin, Texas. Sept 17-22, 2017, 2017.

Links | BibTeX

55.

Oliveira, Raquel; Dingel, Juergen

Supporting Model Refinement with Equivalence Checking in the Context of Model-Driven Engineering with UML-RT Proceedings Article

In: 14th Workshop on Model-driven Engineering, Verification, and Validation (MoDeVVa'17), pp. 7, Austin, Texas. Sept 19, 2017, 2017, (To appear).

BibTeX

56.

Bagherzadeh, Mojtaba; Kahani, Nafiseh; Bezemer, Cor-Paul; Hassan, Ahmed E; Dingel, Juergen; Cordy, James R

Analyzing a Decade of Linux System Calls Journal Article

In: Empirical Software Engineering Journal, 2017.

Links | BibTeX

57.

Bagherzadeh, Mojtaba; Hili, Nicolas; Dingel, Juergen

Model-Level, Platform-Independent Debugging In The Context Of The Model-Driven Development Of Real-time Systems Proceedings Article

In: 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'17), Paderborn, Germany. September 04-08, 2017, 2017.

Abstract | Links | BibTeX

58.

Hili, Nicolas; Dingel, Juergen; Beaulieu, Alain

Modelling and Code Generation for Real-time Embedded Systems with UML-RT and Papyrus-RT Proceedings Article

In: 39th International Conference on Software Engineering Companion, pp. 509–510, IEEE, Buenos Aires, Argentina. May 21-22, 2017, 2017, ISBN: 978-1-5386-1589-8.

Links | BibTeX

59.

Kahani, Nafiseh; Hili, Nicolas; Cordy, James R; Dingel, Juergen

Evaluation of UML-RT and Papyrus-RT for Modelling Self-adaptive Systems Proceedings Article

In: 9th International Workshop on Modelling in Software Engineering (MiSE'17), pp. 12–18, IEEE, Buenos Aires, Argentina. May 21-22, 2017, 2017, ISBN: 978-1-5386-0426-7.

Links | BibTeX

60.

Madzar, Boris; Boudjadar, Jalil; Dingel, Juergen; Fuhrman, Thomas E; S., Ramesh

Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems Proceedings Article

In: Kouchnarenko, Olga; Khosravi, Ramtin (Ed.): 13th International Conference on Formal Aspects of Component Software (FACS'16), pp. 153–171, Springer, Besançon, France. October 19-21, 2016, 2017, ISBN: 978-3-319-57666-4.

Abstract | Links | BibTeX

290 entries « 3 of 15 »