Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Marco Mori, Andrea Ceccarelli, Paolo Lollini, Bernhard Frömel, Francesco Brancati, Andrea Bondavalli |
Systems-of-systems modeling using a comprehensive viewpoint-based SysML profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Evol. Process. ![In: J. Softw. Evol. Process. 30(3), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Héctor Ruíz Barradas |
The Generic SysML/KAOS Domain Metamodel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.04732, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Steve Jeffrey Tueno Fotso, Marc Frappier, Amel Mammar, Régine Laleau |
From SysML/KAOS Domain Models to B System Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.01972, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Sajjad Ali |
Formal verification of SysML diagram using case studies of real-time system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 14(4), pp. 245-262, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | David Schumacher |
From Document Centric Approach to MBSE Approach: BPMN, UML, SysML and Wire Framing Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSDM ![In: Complex Systems Design & Management, Proceedings of the Ninth International Conference on Complex Systems Design & Management, CSD&M, Paris, France, 18-19 December 2018., pp. 234, 2018, Springer, 978-3-030-04208-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Slim Medimegh, Jean-Yves Pierron, Frédéric Boulanger |
Qualitative Simulation of Hybrid Systems with an Application to SysML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018., pp. 279-286, 2018, SciTePress, 978-989-758-283-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Enrique J. Vidal, Elizabeth R. Villota |
SysML as a Tool for Requirements Traceability in Mechatronic Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMRE ![In: Proceedings of the 2018 4th International Conference on Mechatronics and Robotics Engineering, ICMRE 2018, Valenciennes, France, February 07-11, 2018, pp. 146-152, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Mounifah Alenazi, Nan Niu, Wentao Wang 0003, Juha Savolainen |
Using Obstacle Analysis to Support SysML-Based Model Testing for Cyber Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDRE@RE ![In: 8th IEEE International Model-Driven Requirements Engineering Workshop, MoDRE@RE 2018, Banff, AB, Canada, August 20, 2018, pp. 46-55, 2018, IEEE Computer Society, 978-1-5386-8406-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Amal Ahmed Anda |
Modeling Adaptive Socio-Cyber-Physical Systems with Goals and SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 26th IEEE International Requirements Engineering Conference, RE 2018, Banff, AB, Canada, August 20-24, 2018, pp. 442-447, 2018, IEEE Computer Society, 978-1-5386-7418-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Martin Kölbl, Stefan Leue, Hargurbir Singh |
From SysML to Model Checkers via Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 255-274, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Shu De Wang, Ji-Hong Liu, Chao Fu |
SysML Extension Method Supporting Design Rationale Knowledge Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDVE ![In: Cooperative Design, Visualization, and Engineering - 15th International Conference, CDVE 2018, Hangzhou, China, October 21-24, 2018, Proceedings, pp. 225-228, 2018, Springer, 978-3-030-00559-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Christos Kotronis, Anargyros Tsadimas, George-Dimitrios Kapos, Mara Nikolaidou, Dimosthenis Anagnostopoulos |
Exploring LoS in railway transportation systems using SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: 2018 Annual IEEE International Systems Conference, SysCon 2018, Vancouver, BC, Canada, April 23-26, 2018, pp. 1-8, 2018, IEEE, 978-1-5386-3664-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Márcio da Silva Arantes, Renan Bonnard, Andre Pierre Mattei, Pierre de Saqui-Sannes |
General architecture for data analysis in industry 4.0 using SysML and model based system engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: 2018 Annual IEEE International Systems Conference, SysCon 2018, Vancouver, BC, Canada, April 23-26, 2018, pp. 1-6, 2018, IEEE, 978-1-5386-3664-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Eric P. Xing |
SysML: On System and Algorithm Co-design for Practical Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, KDD 2018, London, UK, August 19-23, 2018, pp. 2880, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Yufei Yin, Shaoying Liu, Yixiang Chen |
Verification of SysML Activity Diagrams Using Hoare Logic and SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers, pp. 71-88, 2018, Springer, 978-3-030-13650-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Timóteo Gomes, Fernanda M. R. Alencar, Aêda Sousa |
De KAOS para SysML na Modelagem de Sistemas Embarcados: Uma Revisão da Literatura. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WER ![In: Anais do WER18 - Workshop em Engenharia de Requisitos, Rio de Janeiro, Brasil, September 5-6, 2018., 2018, 978-85-907171-1-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ping Huang, Kaiqiang Jiang, Chunlin Guan, Dehui Du |
Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 1, pp. 264-269, 2018, IEEE Computer Society, 978-1-5386-2667-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ilham Maskani, Jaouad Boutahar, Souhaïl El Ghazi El Houssaïni |
Modeling telemedicine security requirements using a SysML security extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMCS ![In: 6th International Conference on Multimedia Computing and Systems, ICMCS 2018, Rabat, Morocco, May 10-12, 2018, pp. 1-6, 2018, IEEE, 978-1-5386-6221-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Fabíola Gonçalves C. Ribeiro, Achim Reuberg, Carlos Eduardo Pereira, Michel S. Soares |
An Approach for Architectural Design of Automotive Systems using MARTE and SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: 14th IEEE International Conference on Automation Science and Engineering, CASE 2018, Munich, Germany, August 20-24, 2018, pp. 1574-1580, 2018, IEEE, 978-1-5386-3593-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier |
Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 55-70, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Aljoscha Kirchner, Jan-Hendrik Oetjens, Oliver Bringmann 0001 |
Using SysML for Modelling and Code Generation for Smart Sensor ASICs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 2018 Forum on Specification & Design Languages, FDL 2018, Garching, Germany, September 10-12, 2018, pp. 5-16, 2018, IEEE, 978-1-5386-6418-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel |
Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, pp. 377-397, 2018, Springer, 978-3-319-98937-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Mounifah Alenazi, Deepak Reddy, Nan Niu |
Assuring Virtual PLC in the Context of SysML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: New Opportunities for Software Reuse - 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings, pp. 121-136, 2018, Springer, 978-3-319-90420-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Nikolaus Regnat |
Why SysML does often fail - and possible solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modellierung ![In: Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany, pp. 17-20, 2018, Gesellschaft für Informatik e.V., 978-3-88579-674-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Markus Grabowski, Bernhard Kaiser, Yu Bai |
Systematic Refinement of CPS Requirements using SysML, Template Language and Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modellierung ![In: Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany, pp. 245-260, 2018, Gesellschaft für Informatik e.V., 978-3-88579-674-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Arne Nordmann, Peter Munk |
Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 134-143, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Jovita Bankauskaite, Aurelijus Morkevicius |
An Approach: SysML-based Automated Completeness Evaluation of the System Requirements Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYSTEM ![In: Proceedings of the Symposium for Young Scientists in Technology, Engineering and Mathematics, Gliwice, Poland, May 28, 2018., pp. 66-72, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Rabéa Ameur-Boulifa, Florian Lugou, Ludovic Apvrille |
SysML Model Transformation for Safety and Security Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSA/CSITS@ESORICS ![In: Security and Safety Interplay of Intelligent Software Systems - ESORICS 2018 International Workshops, ISSA/CSITS@ESORICS 2018, Barcelona, Spain, September 6-7, 2018, Revised Selected Papers, pp. 35-49, 2018, Springer, 978-3-030-16873-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Wojciech Szmuc, Tomasz Szmuc |
Towards Embedded Systems Formal Verification Translation from SysML into Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIXDES ![In: 25th International Conference `Mixed Design of Integrated Circuits and System`, MIXDES 2018, Gdynia, Poland, June 21-23, 2018, pp. 420-423, 2018, IEEE, 978-83-63578-14-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar |
Back Propagating B System Updates on SysML/KAOS Domain Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, Melbourne, Australia, December 12-14, 2018, pp. 160-169, 2018, IEEE Computer Society, 978-1-5386-9341-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ronan Baduel, Mohammad Chami, Jean-Michel Bruel, Iulian Ober |
SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 14th European Conference, ECMFA@STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings, pp. 132-146, 2018, Springer, 978-3-319-92996-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Anargyros Tsadimas |
Model-based enterprise information system design: a SysML-based approach ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
17 | M. Rodríguez Fernández, Ignacio González Alonso, Eduardo Zalama Casanova |
Improving the Interoperability in the Digital Home Through the Automatic Generation of Software Adapters from a SysML Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 86(3-4), pp. 511-521, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Lucas Lima 0001, Alvaro Miyazawa, Ana Cavalcanti 0001, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis |
An integrated semantics for reasoning about SysML design models using refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 16(3), pp. 875-902, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Jaco Jacobs, Andrew Simpson |
On the formal interpretation and behavioural consistency checking of SysML blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 16(4), pp. 1145-1178, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Iulia Dragomir, Iulian Ober, Christian Percebois |
Contract-based modeling and verification of timed safety requirements within SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 16(2), pp. 587-624, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier |
Formal Representation of SysML/KAOS Domain Model (Complete Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.07406, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier |
The SysML/KAOS Domain Modeling Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.00903, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Messaoud Rahim, Ahmed Hammad, Malika Ioualalen |
A methodology for verifying SysML requirements using activity diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 13(1), pp. 19-33, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Roy Mendieta, Jose Luis de la Vara, Juan Llorens Morillo, José María Álvarez Rodríguez |
Towards Effective SysML Model Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017., pp. 536-541, 2017, SciTePress, 978-989-758-210-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Steve Tueno, Regine Laleau, Amel Mammar, Marc Frappier |
Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE Workshops ![In: IEEE 25th International Requirements Engineering Conference Workshops, RE 2017 Workshops, Lisbon, Portugal, September 4-8, 2017, pp. 1-5, 2017, IEEE Computer Society, 978-1-5386-3488-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Judith Dahmann, Aleksandra Markina-Khusid, Allison Doren, Thomas Wheeler, Matthew Cotter, Mike Kelley |
SysML executable systems of system architecture definition: A working example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: 2017 Annual IEEE International Systems Conference, SysCon 2017, Montreal, QC, Canada, April 24-27, 2017, pp. 1-6, 2017, IEEE, 978-1-5090-4623-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Mizuki Shinozaki, Faïda Mhenni, Jean-Yves Choley, Aiguo Ming |
Reuse of SysML model to support innovation in mechatronic systems design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: 2017 Annual IEEE International Systems Conference, SysCon 2017, Montreal, QC, Canada, April 24-27, 2017, pp. 1-6, 2017, IEEE, 978-1-5090-4623-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Qi Zhang, Zhiqiu Huang, Jian Xie 0004 |
Distributed System Model Using SysML and Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLICOM (1) ![In: Machine Learning and Intelligent Communications - Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I, pp. 326-336, 2017, Springer, 978-3-319-73563-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Telmo Oliveira de Jesus, Michel S. Soares |
An Event-Based Technique to Trace Requirements Modeled with SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (6) ![In: Computational Science and Its Applications - ICCSA 2017 - 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI, pp. 145-159, 2017, Springer, 978-3-319-62406-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Xiaoshan Lu, Laurent Piétrac, Éric Niel |
A new approach of modeling supervisory control for manufacturing systems based on SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017, Limassol, Cyprus, September 12-15, 2017, pp. 1-9, 2017, IEEE, 978-1-5090-6505-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Saida Haidrar, Adil Anwar, Ounsa Roudiès |
A SYSML-Based Approach to Manage Stakeholder Requirements Traceability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 14th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2017, Hammamet, Tunisia, October 30 - Nov. 3, 2017, pp. 202-207, 2017, IEEE Computer Society, 978-1-5386-3581-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Neepa Biswas, Samiran Chattopadhyay, Gautam Mahapatra, Santanu Chatterjee, Kartick Chandra Mondal |
SysML Based Conceptual ETL Process Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICBA (2) ![In: Computational Intelligence, Communications, and Business Analytics - First International Conference, CICBA 2017, Kolkata, India, March 24-25, 2017, Revised Selected Papers, Part II, pp. 242-255, 2017, Springer, 978-981-10-6429-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Quelita A. D. S. Ribeiro, Fabíola Gonçalves C. Ribeiro, Michel S. Soares |
A Technique to Architect Real-time Embedded Systems with SysML and UML through Multiple Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (2) ![In: ICEIS 2017 - Proceedings of the 19th International Conference on Enterprise Information Systems, Volume 2, Porto, Portugal, April 26-29, 2017, pp. 287-294, 2017, SciTePress, 978-989-758-248-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Geoffrey Biggs, Takeshi Sakamoto, Tetsuo Kotoku |
A profile and tool for modelling safety information with design information in SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 15(1), pp. 147-178, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Luca Berardinelli, Stefan Biffl, Arndt Lüder, Emanuel Mätzler, Tanja Mayerhofer, Manuel Wimmer, Sabine Wolny |
Cross-disciplinary engineering with AutomationML and SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 64(4), pp. 253-269, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Zakaria Lakhdara, Salah Merniz |
A SysML and CLEAN-based methodology for digital circuits design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. High Perform. Syst. Archit. ![In: Int. J. High Perform. Syst. Archit. 6(4), pp. 222-237, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Wei Wan, Hyunmin Cheong, Wei Li 0002, Yong Zeng 0004, Francesco Iorio |
Automated transformation of design text ROM diagram into SysML models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Informatics ![In: Adv. Eng. Informatics 30(3), pp. 585-603, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Anargyros Tsadimas, George-Dimitrios Kapos, Vassilis Dalakas, Mara Nikolaidou, Dimosthenis Anagnostopoulos |
Simulating simulation-agnostic SysML models for enterprise information systems via DEVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 66, pp. 243-259, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Chih-Hung Chang, Chih-Wei Lu, William Cheng-Chung Chu, Pao-Ann Hsiung, Dong-Meau Chang |
SysML-Based Requirement Management to Improve Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 26(3), pp. 491-512, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Paolo Lollini, Marco Mori, Arun Babu, Sara Bouchenak |
AMADEOS SysML Profile for SoS Conceptual Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cyber-Physical Systems of Systems ![In: Cyber-Physical Systems of Systems - Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, pp. 97-127, 2016, Springer, 978-3-319-47589-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Flávio Oquendo, Jair C. Leite, Thaís Batista |
Software Architecture in Action - Designing and Executing Architectural Models with SysADL grounded on the OMG SysML Standard ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
DOI RDF |
|
17 | Dov Dori |
Model-Based Systems Engineering with OPM and SysML ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
DOI RDF |
|
17 | Marco Mori, Andrea Ceccarelli, Paolo Lollini, Andrea Bondavalli, Bernhard Frömel |
A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016, pp. 276-283, 2016, IEEE Computer Society, 978-1-4673-9913-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Florian Lugou, Letitia W. Li, Ludovic Apvrille, Rabéa Ameur-Boulifa |
SysML Models and Model Transformation for Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2016 - Proceedings of the 4rd International Conference on Model-Driven Engineering and Software Development, Rome, Italy, 19-21 February, 2016., pp. 331-338, 2016, SciTePress, 978-989-758-168-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Aamir M. Khan, Muhammad Rashid |
Generation of SystemVerilog Observers from SysML and MARTE/CCSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 19th IEEE International Symposium on Real-Time Distributed Computing, ISORC 2016, York, United Kingdom, May 17-20, 2016, pp. 61-68, 2016, IEEE Computer Society, 978-1-4673-9032-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Nuno Amálio, Richard John Payne, Ana Cavalcanti 0001, Jim Woodcock 0001 |
Checking SysML Models for Co-simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, pp. 450-465, 2016, 978-3-319-47845-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Camille Raymond, Daniel Prun |
Extending MBSE methodology and SysML formalism to integrate human considerations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI-Aero ![In: Proceedings of the International Conference on Human-Computer Interaction in Aerospace, HCI-Aero 2016, Paris, France, September 14-16, 2016, pp. 18:1-18:4, 2016, ACM, 978-1-4503-4406-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Amyot, Amal Ahmed Anda, Malak Baslyman, Lysanne Lessard, Jean-Michel Bruel |
Towards Improved Requirements Engineering with SysML and the User Requirements Notation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 24th IEEE International Requirements Engineering Conference, RE 2016, Beijing, China, September 12-16, 2016, pp. 329-334, 2016, IEEE Computer Society, 978-1-5090-4121-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Puneet Patwari, Subhrojyoti Roy Chaudhuri, Amar Banerjee, Swaminathan Natarajan, Shreya Pandey |
A complementary domain specific design environment aiding SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSE ![In: IEEE International Symposium on Systems Engineering, ISSE 2016, Edinburgh, United Kingdom, October 3-5, 2016, pp. 1-8, 2016, IEEE, 978-1-5090-0793-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | F. Della Monica, Stanislao Patalano, Jean-Yves Choley, Faïda Mhenni, Salvatore Gerbino |
A hierarchical set of SysML Model-based objects for tolerance specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSE ![In: IEEE International Symposium on Systems Engineering, ISSE 2016, Edinburgh, United Kingdom, October 3-5, 2016, pp. 1-7, 2016, IEEE, 978-1-5090-0793-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Dirk Bank, Felix Blumrich, Philipp Kress, Christian Stoferle |
A systems engineering approach for a dynamic co-simulation of a SysML tool and Matlab. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: Annual IEEE Systems Conference, SysCon 2016, Orlando, FL, USA, April 18-21, 2016, pp. 1-6, 2016, IEEE, 978-1-4673-9519-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Stéphane Bonnet, Jean-Luc Voirin, Daniel Exertier, Véronique Normand |
Not (strictly) relying on SysML for MBSE: Language, tooling and development perspectives: The Arcadia/Capella rationale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: Annual IEEE Systems Conference, SysCon 2016, Orlando, FL, USA, April 18-21, 2016, pp. 1-6, 2016, IEEE, 978-1-4673-9519-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Martina Muller, Michael Roth 0007, Udo Lindemann |
The hazard analysis profile: Linking safety analysis and SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: Annual IEEE Systems Conference, SysCon 2016, Orlando, FL, USA, April 18-21, 2016, pp. 1-7, 2016, IEEE, 978-1-4673-9519-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Shiva Nejati, Mehrdad Sabetzadeh, Chetan Arora 0002, Lionel C. Briand, Felix Mandoux |
Automated change impact analysis between SysML models of requirements and design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016, pp. 242-253, 2016, ACM, 978-1-4503-4218-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | David Mentré |
SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 308-311, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Saida Haidrar, Adil Anwar, Ounsa Roudiès |
Towards a generic framework for requirements traceability management for SysML language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIST ![In: 4th IEEE International Colloquium on Information Science and Technology, CiSt 2016, Tangier, Morocco, October 24-26, 2016, pp. 210-215, 2016, IEEE, 978-1-5090-0751-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Christos Kotronis, Anargyros Tsadimas, George-Dimitrios Kapos, Vassilis Dalakas, Mara Nikolaidou, Dimosthenis Anagnostopoulos |
Simulating SysML transportation models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016, Budapest, Hungary, October 9-12, 2016, pp. 1674-1679, 2016, IEEE, 978-1-5090-1897-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue, Jannis Weiser |
SysML to NuSMV Model Transformation via Object-Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy ![In: Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers, pp. 31-45, 2016, Springer, 978-3-319-51737-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Mohammad Hossein Askari Hemmat, Otmane Aït Mohamed, Mounir Boukadoum |
Towards code generation for ARM Cortex-M MCUs from SysML activity diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2016, Montréal, QC, Canada, May 22-25, 2016, pp. 970-973, 2016, IEEE, 978-1-4799-5341-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Omar Badreddin, Vahdat Abdelzad, Timothy Lethbridge, Maged Elaasar |
fSysML: Foundational Executable SysML for Cyber-Physical System Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEMOC@MoDELS ![In: Proceedings of the 4th International Workshop on the Globalization Of Modeling Languages co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint Malo, France, October 4th, 2016., pp. 38-51, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Nerijus Jankevicius |
Resource Analysis and Automated Verification for the Thirty Meter Telescope using Executable SysML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXE@MoDELS ![In: Proceedings of the 2nd International Workshop on Executable Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 3, 2016., pp. 2-4, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir |
A Model-Driven Approach to Adapt SysML Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIST ![In: Information and Software Technologies - 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings, pp. 255-268, 2016, 978-3-319-46253-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Edmar Hinckel, Milton Borsato, Juliana Schmidt, Fabio Maccari, Paulo Storrer, Eduardo Onofre |
Driving Product Design and Requirements Management with SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TE ![In: Transdisciplinary Engineering: Crossing Boundaries - Proceedings of the 23rd ISPE Inc. International Conference on Transdisciplinary Engineering, Curitiba, Parana, Brazil, October 3-7, 2016, pp. 1071-1080, 2016, IOS Press, 978-1-61499-702-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Patrick Bareiß, Daniel Schütz, Rafael Priego, Marga Marcos, Birgit Vogel-Heuser |
A model-based failure recovery approach for automated production systems combining SysML and industrial standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016, Berlin, Germany, September 6-9, 2016, pp. 1-7, 2016, IEEE, 978-1-5090-1314-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Nesrine Ammar 0002, Hela Chaieb, Ridha Bouallegue |
From Modeling with SysML to Simulation with Contiki Cooja Simulator of Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops ![In: 30th International Conference on Advanced Information Networking and Applications Workshops, AINA 2016 Workshops, Crans-Montana, Switzerland, March 23-25, 2016, pp. 760-765, 2016, IEEE Computer Society, 978-1-5090-2461-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Bassim Chabibi, Abdelilah Douche, Adil Anwar, Mahmoud Nassar |
Integrating SysML with Simulation Environments (Simulink) by Model Transformation Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016, Paris, France, June 13-15, 2016, pp. 148-150, 2016, IEEE Computer Society, 978-1-5090-1663-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Georgios-Dimitrios Kapos |
Μία μοντελοστρεφής προσέγγιση για την αυτοματοποίηση της προσομοίωσης SysML μοντέλων συστημάτων ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
17 | Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani |
A quantitative verification framework of SysML activity diagrams under time constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 42(21), pp. 7493-7510, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Dustin Nottage, Steven M. Corns, Ahmet Soylemezoglu, Kurt Kinnevan |
A SysML Framework for Modeling Contingency Basing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Eng. ![In: Syst. Eng. 18(2), pp. 162-177, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Samir Ouchani, Gabriele Lenzini |
Generating attacks in SysML activity diagrams by detecting attack surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Ambient Intell. Humaniz. Comput. ![In: J. Ambient Intell. Humaniz. Comput. 6(3), pp. 361-373, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Chuanlin Huang, Zhiqiu Huang, Jun Hu, Zhipeng Wu, Siqi Wang |
A MDE-Based Approach to the Safety Verification of Extended SysML Activity Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 10(1), pp. 56-70, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Zakaria Lakhdara, Salah Merniz |
A SysML and CLEAN Based Methodology for RISC Processor Micro-Architecture Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Embed. Real Time Commun. Syst. ![In: Int. J. Embed. Real Time Commun. Syst. 6(1), pp. 101-131, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Marcin Jamro, Dariusz Rzonca, Wojciech Rzasa |
Testing communication tasks in distributed control systems with SysML and Timed Colored Petri Nets model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 71, pp. 77-87, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Houssem Abid, Philippe Pernelle, Didier Noterman, Jean-Pierre Campagne, Chokri Ben Amar |
SysML approach for the integration of mechatronics system within PLM systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Integr. Manuf. ![In: Int. J. Comput. Integr. Manuf. 28(9), pp. 972-987, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Robert J. Cloutier, Brian J. Sauser, Mary A. Bone, Andrew Taylor |
Transitioning Systems Thinking to Model-Based Systems Engineering: Systemigrams to SysML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 45(4), pp. 662-674, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Zhipeng Wu, Zhiqiu Huang, Shanshan Wang, Dejian Cao |
一种基于故障扩展SysML活动图的安全性验证框架研究 (Research on Framework of Safety Verification Based on Fault-extended SysML Activity Diagram). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 42(7), pp. 222-228, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Marcin Jamro |
SysML Modeling of Functional and Non-functional Requirements for IEC 61131-3 Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Progress in Automation, Robotics and Measuring Techniques ![In: Progress in Automation, Robotics and Measuring Techniques - Control and Automation, pp. 91-100, 2015, Springer, 978-3-319-15795-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Christoph Hilken, Jan Peleska 0001, Robert Wille |
A Unified Formulation of Behavioral Semantics for SysML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015., pp. 263-271, 2015, SciTePress, 978-989-758-083-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues, Khaled Chaaban |
Architecture Optimization with SysML Modeling: A Case Study Using Variability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD (Revised Selected Papers) ![In: Model-Driven Engineering and Software Development - Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers, pp. 311-327, 2015, Springer, 978-3-319-27868-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Ludovic Apvrille, Yves Roudier |
Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD (Revised Selected Papers) ![In: Model-Driven Engineering and Software Development - Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers, pp. 293-308, 2015, Springer, 978-3-319-27868-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Yves Roudier, Ludovic Apvrille |
SysML-Sec - A Model Driven Approach for Designing Safe and Secure Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015., pp. 655-664, 2015, SciTePress, 978-989-758-083-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues, Khaled Chaaban |
SysML Modeling for Embedded Systems Design Optimization - A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015., pp. 449-457, 2015, SciTePress, 978-989-758-083-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir |
Exploitation de la Hiérarchie pour la Vérification de la Compatibilité des Blocs SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAL ![In: Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, Hammamet, Tunisie, 13-15 Mai 2015, pp. 99-118, 2015, Éditions RNTI, 979-10-96289-00-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux |
A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, pp. 134-152, 2015, Springer, 978-3-319-25422-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|