Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Kênia Santos de Oliveira, Joyce M. S. França, Michel S. Soares |
Extensions of SysML for Modeling an Aspect Oriented Software Architecture with Multiple Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Tenth International Conference on Information Technology: New Generations, ITNG 2013, 15-17 April, 2013, Las Vegas, Nevada, USA, pp. 680-685, 2013, IEEE Computer Society, 978-0-7695-4967-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi |
A probabilistic verification framework of SysML activity diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoMeT ![In: IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2013, Budapest, Hungary, September 22-24, 2013, pp. 165-170, 2013, IEEE, 978-1-4799-0419-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Ahmed Hammad, Hassan Mountassir, Samir Chouali |
An approach combining SysML and modelica for modelling and validate wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SESoS ![In: Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems, SESoS@ECOOP, Montpellier, France, July 2, 2013, pp. 5-12, 2013, ACM, 978-1-4503-2048-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Konstantin Kernschmidt, Birgit Vogel-Heuser |
An interdisciplinary SysML based modeling approach for analyzing change influences in production plants to support the engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: 2013 IEEE International Conference on Automation Science and Engineering, CASE 2013, Madison, WI, USA, August 17-20, 2013, pp. 1113-1118, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Chaves Cafe, Filipe Vinci dos Santos, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger |
Multi-paradigm semantics for simulating SysML models using SystemC-AMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2013 Forum on specification and Design Languages, FDL 2013, Paris, France, September 24-26, 2013, pp. 1-8, 2013, IEEE, 978-2-9530504-8-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Lucas Lima 0001, André Didier, Márcio Cornélio |
A Formal Semantics for SysML Activity Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 179-194, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Robert F. Oates, Fran Thom, Graham Herries |
Security-Aware, Model-Based Systems Engineering with SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS-CSR ![In: 1st International Symposium for ICS & SCADA Cyber Security Research 2013, ICS-CSR 2013, 16-17 September 2013, Leicester, UK, 2013, BCS, 978-1-780172-32-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Mohammad Chami, Haitham Bou-Ammar, Holger Voos, Karl Tuyls, Gerhard Weiss 0001 |
Swarm-based evaluation of nonparametric SysML mechatronics system design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICM ![In: IEEE International Conference on Mechatronics, ICM 2013, Vicenza, VI, Italy, February 27 - March 1, 2013, pp. 436-441, 2013, IEEE, 978-1-4673-1386-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Samir Chouali, Oscar Carrillo, Hassan Mountassir |
Specifying System Architecture from SysML Requirements and Component Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA ![In: Software Architecture - 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings, pp. 348-352, 2013, Springer, 978-3-642-39030-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Jair C. Leite, Flávio Oquendo, Thaís Vasconcelos Batista |
SysADL: A SysML Profile for Software Architecture Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA ![In: Software Architecture - 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings, pp. 106-113, 2013, Springer, 978-3-642-39030-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Oscar Carrillo, Samir Chouali, Hassan Mountassir |
Incremental Modeling of System Architecture Satisfying SysML Functional Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 79-99, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Iulia Dragomir, Iulian Ober, Christian Percebois |
Integrating verifiable Assume/Guarantee contracts in UML/SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, September 29th, 2013., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Fabíola Gonçalves C. Ribeiro, Sanjay Misra, Michel S. Soares |
Application of an Extended SysML Requirements Diagram to Model Real-Time Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2013 - 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III, pp. 70-81, 2013, Springer, 978-3-642-39645-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda |
Formalization and Model Checking of SysML State Machine Diagrams by CSP#. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2013 - 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III, pp. 114-127, 2013, Springer, 978-3-642-39645-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Ludovic Apvrille, Pierre de Saqui-Sannes |
Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2013: Model-Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings, pp. 91-106, 2013, Springer, 978-3-642-38910-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Marcin Jamro, Bartosz Trybus |
An approach to SysML modeling of IEC 61131-3 control software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMAR ![In: 18th International Conference on Methods & Models in Automation & Robotics, MMAR 2013, Międzyzdroje, Poland, August 26-29, 2013, pp. 217-222, 2013, IEEE, 978-1-4673-5506-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Lisa Ollinger, Detlef Zühlke, Alfred Theorin, Charlotta Johnsson |
A reference architecture for service-oriented control procedures and its implementation with SysML and Grafchart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013, pp. 1-8, 2013, IEEE, 978-1-4799-0864-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Nikolaos Papakonstantinou, Seppo A. Sierla |
Generating an Object Oriented IEC 61131-3 software product line architecture from SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013, pp. 1-8, 2013, IEEE, 978-1-4799-0864-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Pekka Pihlanko, Seppo A. Sierla, Kleanthis Thramboulidis, Mauri Viitasalo |
An industrial evaluation of SysML: The case of a nuclear automation modernization project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013, pp. 1-8, 2013, IEEE, 978-1-4799-0864-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Heng-You Lin, Majid Sorouri, Valeriy Vyatkin, Zoran Salcic |
Model-based customisation of intelligent mechatronic systems using SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013, pp. 1-4, 2013, IEEE, 978-1-4799-0864-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Christophe Gnaho, Farida Semmak, Regine Laleau |
An overview of a SysML extension for goal-oriented NFR modelling: Poster paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCIS ![In: IEEE 7th International Conference on Research Challenges in Information Science, RCIS 2013, Paris, France, May 29-31, 2013, pp. 1-2, 2013, IEEE, 978-1-4673-2912-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Bruno Legeard, Fabien Peureux |
Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings, pp. 134-151, 2013, Springer, 978-3-642-39012-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Vanderson H. Fragal, Rogério F. da Silva, Itana Maria de Souza Gimenes, Edson A. Oliveira Junior |
Application Engineering for Embedded Systems - Transforming SysML Specification to Simulink within a Product-Line based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (2) ![In: ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems, Volume 2, Angers, France, 4-7 July, 2013, pp. 94-101, 2013, SciTePress, 978-989-8565-60-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Fabíola Gonçalves C. Ribeiro, Michel S. Soares |
An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (2) ![In: ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems, Volume 2, Angers, France, 4-7 July, 2013, pp. 70-81, 2013, SciTePress, 978-989-8565-60-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Rogério F. da Silva, Vanderson H. Fragal, Edson A. Oliveira Junior, Itana Maria de Souza Gimenes, Flávio Oquendo |
SyMPLES - A SysML-based Approach for Developing Embedded Systems Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (2) ![In: ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems, Volume 2, Angers, France, 4-7 July, 2013, pp. 257-264, 2013, SciTePress, 978-989-8565-60-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Kênia Santos de Oliveira, Michel dos Santos Soares |
Modeling Aspects in Requirements using SysML Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (2) ![In: ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems, Volume 2, Angers, France, 4-7 July, 2013, pp. 126-133, 2013, SciTePress, 978-989-8565-60-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Elvinia Riccobene, Patrizia Scandurra |
Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Autom. Embed. Syst. ![In: Des. Autom. Embed. Syst. 16(3), pp. 53-91, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Samir Chouali, Ahmed Hammad, Hassan Mountassir |
Assembling Components using SysML with Non-Functional Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012, pp. 31-47, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Aditya A. Shah, Christiaan J. J. Paredis, Roger Burkhart, Dirk Schaefer |
Combining Mathematical Programming and SysML for Automated Component Sizing of Hydraulic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Inf. Sci. Eng. ![In: J. Comput. Inf. Sci. Eng. 12(4), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Johnson, Aleksandr A. Kerzhner, Christiaan J. J. Paredis, Roger Burkhart |
Integrating Models and Simulations of Continuous Dynamics Into SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Inf. Sci. Eng. ![In: J. Comput. Inf. Sci. Eng. 12(1), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Anthony Fernandes Pires, Stéphane Duprat, C. Besseyre |
Approche UML/SysML pour la spécification logicielle de systèmes embarqués aéronautiques. Travaux et retours d'expérience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tech. Sci. Informatiques ![In: Tech. Sci. Informatiques 31(7), pp. 897-916, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau, Christophe Gnaho |
Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANT/MobiWIS ![In: Proceedings of the 3rd International Conference on Ambient Systems, Networks and Technologies (ANT 2012), the 9th International Conference on Mobile Web Information Systems (MobiWIS-2012), Niagara Falls, Ontario, Canada, August 27-29, 2012, pp. 474-481, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Oscar Carrillo, Samir Chouali, Hassan Mountassir |
Formalizing and verifying compatibility and consistency of SysML blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 37(4), pp. 1-8, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Romaric Guillerm, Hamid Demmou, Nabil Sadou |
Sysml Knowledge base for Designing Dependable Complex System ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1212.4246, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Pietro Colombo, Ferhat Khendek, Luigi Lavazza |
Bridging the gap between requirements and design: An approach based on Problem Frames and SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 85(3), pp. 717-745, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Shiva Nejati, Mehrdad Sabetzadeh, Davide Falessi, Lionel C. Briand, Thierry Coq |
A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 54(6), pp. 569-590, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Nicola Bombieri, Emad Samuel Malki Ebeid, Franco Fummi, Michele Lora |
On the Reuse of RTL IPs for SysML Model Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: 13th International Workshop on Microprocessor Test and Verification, MTV 2012, Austin, TX, USA, December 10-13, 2012, pp. 54-59, 2012, IEEE Computer Society, 978-1-4673-4441-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Nga Nguyen 0001, Hubert Kadima |
SysML Parametric Models for Complex System Performance Analysis - A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIMULTECH ![In: SIMULTECH 2012 - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Rome, Italy, 28 - 31 July, 2012., pp. 321-327, 2012, SciTePress, 978-989-8565-20-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Paolo Bocciarelli, Andrea D'Ambrogio, Gabriele Fabiani |
A Model-driven Approach to Build HLA-based Distributed Simulations from SysML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIMULTECH ![In: SIMULTECH 2012 - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Rome, Italy, 28 - 31 July, 2012., pp. 49-60, 2012, SciTePress, 978-989-8565-20-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Anargyros Tsadimas, Mara Nikolaidou, Dimosthenis Anagnostopoulos |
Extending SysML to explore non-functional requirements: the case of information system design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, pp. 1057-1062, 2012, ACM, 978-1-4503-0857-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Xiaopu Huang, Qingqing Sun, Jiangwei Li, Tian Zhang 0001 |
MDE-Based Verification of SysML State Machine Diagram by UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCTCS ![In: Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28 - June 2, 2012, Revised Selected Papers, pp. 490-497, 2012, Springer, 978-3-642-35794-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Imran Rafiq Quadri, Etienne Brosse, Ian Gray, Nikolas Drivalos Matragkas, Leandro Soares Indrusiak, Matteo Rossi, Alessandra Bagnato, Andrey Sadovykh |
MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReCoSoC ![In: 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), York, United Kingdom, July 9-11, 2012, pp. 1-8, 2012, IEEE, 978-1-4673-2570-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Ola Batarseh, Leon F. McGinnis |
SysML to discrete-event simulation to analyze electronic assembly systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 2012 Spring Simulation Multiconference, SpringSim '12, Orlando, FL, USA, March 26-29, 2012, Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, pp. 48, 2012, SCS/ACM, 978-1-61839-786-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Matthew Hause, James Hummell |
Simulation of an electrical network and control system in SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 2012 Spring Simulation Multiconference, SpringSim '12, Orlando, FL, USA, March 26-29, 2012, Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, pp. 47, 2012, SCS/ACM, 978-1-61839-786-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Damien Foures, Vincent Albert, Jean-Claude Pascal, Alexandre Nketsa |
Automation of SysML activity diagram simulation with model-driven engineering approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 2012 Spring Simulation Multiconference, SpringSim '12, Orlando, FL, USA, March 26-29, 2012, Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, pp. 11, 2012, SCS/ACM, 978-1-61839-786-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Muzaffar Iqbal, Muhammad Uzair Khan, Muhammad Sher |
System Analysis and Modeling Using SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITCS ![In: Proceedings of the International Conference on IT Convergence and Security, ICITCS 2012, Pyeong Chang, Korea, December 5-7, 2012, pp. 1211-1220, 2012, Springer, 978-94-007-5859-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Ola Batarseh, Leon F. McGinnis |
System modeling in sysml and system analysis in arena. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Winter Simulation Conference, WSC '12, Berlin, Germany, December 9-12, 2012, pp. 258:1-258:12, 2012, WSC, 978-1-4673-4779-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Noura Ouerdi, M'hammed Ziane, Abdelmalek Azizi, Mostafa Azizi |
Modeling Embedded Systems with SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMCS ![In: 2012 International Conference on Multimedia Computing and Systems, ICMCS 2012, Tangiers, Morocco, May 10-12, 2012, pp. 905-910, 2012, IEEE, 978-1-4673-1518-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi |
A Probabilistic Verification Framework for SysML Activity Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoMeT ![In: New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eleventh SoMeT '12, Genoa, Italy, September 26~28, 2012, pp. 108-123, 2012, IOS Press, 978-1-61499-124-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Xiaopu Huang, Qingqing Sun, Jiangwei Li, Minxue Pan, Tian Zhang 0001 |
An MDE-based approach to the verification of SysML state machine diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internetware ![In: Proceedings of the Fourth Asia-Pacific Symposium on Internetware, Internetware 2012, QingDao, China, October 30-31, 2012, pp. 9:1-9:7, 2012, ACM, 978-1-4503-1888-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Shin Nakajima 0001, Satoru Furukawa, Yoshikazu Ueda |
Co-analysis of SysML and Simulink Models for Cyber-Physical Systems Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2012, Seoul, Korea (South), August 19-22, 2012, pp. 473-478, 2012, IEEE Computer Society, 978-1-4673-3017-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Carlos Gomez, Julien DeAntoni, Frédéric Mallet |
Multi-view Power Modeling Based on UML, MARTE and SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 38th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2012, Cesme, Izmir, Turkey, September 5-8, 2012, pp. 17-20, 2012, IEEE Computer Society, 978-1-4673-2451-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Mark L. McKelvin Jr., Alejandro Jimenez |
Specification and Design of Electrical Flight System Architectures with SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Infotech@Aerospace ![In: Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012, 2012, 978-1-60086-939-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Maddalena Jackson, Michela Muñoz Fernández, Thomas I. McVittie, Oleg V. Sindiy |
Architecting The Human Space Flight Program with System Modeling Language (SysML). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Infotech@Aerospace ![In: Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012, 2012, 978-1-60086-939-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | John Day 0001, Kenneth Donahue, Michel D. Ingham, Alexander Kadesch, Andrew Kennedy, Ethan Post |
Modeling Off-Nominal Behavior in SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Infotech@Aerospace ![In: Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012, 2012, 978-1-60086-939-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Philipp Helle |
Automatic SysML-based safety analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB@MoDELS 2012, Innsbruck, Austria, September 30, 2012, pp. 19-24, 2012, ACM, 978-1-4503-1800-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Thouraya Bouabana-Tebibel, Stuart Harvey Rubin, Miloud Bennama |
Formal modeling with SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: IEEE 13th International Conference on Information Reuse & Integration, IRI 2012, Las Vegas, NV, USA, August 8-10, 2012, pp. 340-347, 2012, IEEE, 978-1-4673-2282-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Thoma, Benjamin Kormann, Birgit Vogel-Heuser |
Fault-centric system modeling using SysML for reliability testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, ETFA 2012, Krakow, Poland, September 17-21, 2012, pp. 1-8, 2012, IEEE, 978-1-4673-4735-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Mara Nikolaidou, Georgios-Dimitrios Kapos, Vassilis Dalakas, Dimosthenis Anagnostopoulos |
Basic guidelines for simulating SysML models: An experience report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSE ![In: 7th International Conference on System of Systems Engineering, SoSE 2012, Genova, Italy, July 16-19, 2012, pp. 95-100, 2012, IEEE, 978-1-4673-2974-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | David Morgan, Antony Waldock, David Corne |
Efficient systems analysis by combining SysML and coevolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSE ![In: 7th International Conference on System of Systems Engineering, SoSE 2012, Genova, Italy, July 16-19, 2012, pp. 83-88, 2012, IEEE, 978-1-4673-2974-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Ryo Hanai, Hajime Saito, Yoshihiro Nakabo, Kiyoshi Fujiwara, Takuya Ogure, Daichi Mizuguchi, Keiko Homma, Kohtaro Ohba |
RT-component based integration for IEC61508 ready system using SysML and IEC61499 function blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SII ![In: IEEE/SICE International Symposium on System Integration, SII 2012, Fukuoka, Japan, December 16-18, 2012, pp. 105-110, 2012, IEEE, 978-1-4673-1496-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Yosr Jarraya, Mourad Debbabi |
Formal Specification and Probabilistic Verification of SysML Activity Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China, pp. 17-24, 2012, IEEE Computer Society, 978-0-7695-4751-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Iulia Dragomir, Iulian Ober, David Lesens |
A Case Study in Formal System Engineering with SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012, pp. 189-198, 2012, IEEE Computer Society, 978-1-4673-2156-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi |
Efficient Probabilistic Abstraction for SysML Activity Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings, pp. 263-277, 2012, Springer, 978-3-642-33825-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Yariv Grobshtein, Dov Dori |
Generating SysML views from an OPM model: Design and evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Eng. ![In: Syst. Eng. 14(3), pp. 327-340, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Chao-Sheng Lin, Chun-Hsien Lu, Shang-Wei Lin 0001, Yean-Ru Chen, Pao-Ann Hsiung |
VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 26(3), pp. 448-462, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Wilfred H. Wells, Waldemar Karwowski, Serge N. Sala-Diakanda, Kent Williams, Tareq Z. Ahram, James A. Pharmer |
Application of Systems Modeling Language (SySML) for Cognitive Work Analysis in Systems Engineering Design Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 17(9), pp. 1261-1280, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Henson Graves, Yvonne Bijan |
Using formal methods with SysML in aerospace design and engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 63(1), pp. 53-102, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Dustin Nottage, Steven M. Corns |
SysML profiling for handling army base camp planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex Adaptive Systems ![In: Proceedings of the Complex Adaptive Systems 2011 Conference, Chicago, Illinois, USA, October 31-November 2, 2011, pp. 63-68, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan Lasalle, Fabrice Bouquet, Bruno Legeard, Fabien Peureux |
SysML to UML model transformation for test generation purpose. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 36(1), pp. 1-8, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Knorreck, Ludovic Apvrille, Pierre de Saqui-Sannes |
TEPE: a SysML language for time-constrained property modeling and formal verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 36(1), pp. 1-8, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Sonja Trapp, Ervin Ramollari, Matthias Heintz 0002, Sebastian Weber, Dimitris Dranidis, Jürgen Börstler |
Collaborative Learning of UML and SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Eng. Pedagog. ![In: Int. J. Eng. Pedagog. 1(2), pp. 6-12, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Aleksandr A. Kerzhner, Christiaan J. J. Paredis |
Combining SysML and Model Transformations to Support Systems Engineering Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 42, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Christophe Gnaho, Farida Semmak |
Une extension SysML pour l'ingénierie des exigences non fonctionnelles orientée but. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ingénierie des Systèmes d Inf. ![In: Ingénierie des Systèmes d Inf. 16(1), pp. 9-32, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Samir Chouali, Ahmed Hammad |
Formal verification of components assembly based on SysML and interface automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 7(4), pp. 265-274, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan Lasalle, Fabien Peureux, Frédéric Fondement |
Development of an automated MBT toolchain from UML/SysML models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 7(4), pp. 247-256, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror |
UML/SysML semantic tunings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 7(4), pp. 257-264, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Mehrdad Sabetzadeh, Shiva Nejati, Lionel C. Briand, Anne-Heidi Evensen Mills |
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011, pp. 193-201, 2011, IEEE Computer Society, 978-1-4673-0107-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Dorus de Lange, Jian Guo, Hans-Peter de Koning |
Applicability of SysML to the Early Definition Phase of Space Missions in a Concurrent Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSDM ![In: Complex Systems Design & Management - Proceedings of the Second International Conference on Complex Systems Design & Management, CSDM 2011, Paris, France, 7-9 December 2011, pp. 173-185, 2011, Springer, 978-3-642-25202-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Andrea Sindico, Marco Di Natale, Gianpiero Panci |
Integrating SysML with Simulink using Open-source Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIMULTECH ![In: SIMULTECH 2011 - Proceedings of 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Noordwijkerhout, The Netherlands, 29 - 31 July, 2011, pp. 45-56, 2011, SciTePress, 978-989-8425-78-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Guoqi Li, Boxuan Wang |
SysML Aided Safety Analysis for Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICI (1) ![In: Artificial Intelligence and Computational Intelligence - Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I, pp. 270-275, 2011, Springer, 978-3-642-23880-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Ermeson C. Andrade, Fumio Machida, Dong Seong Kim 0001, Kishor S. Trivedi |
Modeling and Analyzing Server System with Rejuvenation through SysML and Stochastic Reward Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Sixth International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22-26, 2011, pp. 161-168, 2011, IEEE Computer Society, 978-1-4577-0979-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Kenichi Ohara, Kyohei Iwane, Tomohito Takubo, Yasushi Mae, Tatsuo Arai |
Component-based robot software design for pick-and-place task described by SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
URAI ![In: 8th International Conference on Ubiquitous Robots and Ambient Intelligence, URAI 2011, Incheon, Korea (South), November 23-26, 2011, pp. 124-127, 2011, IEEE, 978-1-4577-0722-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Chih-Hung Chang, Chih-Wei Lu, Kuo-Fong Kao, William C. Chu, Chao-Tung Yang, Nien-Lin Hsueh, Pao-Ann Hsiung, Chorng-Shiuh Koong |
A SysML-Based Requirement Supporting Tool for Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI (Companion) ![In: Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume, pp. 202-206, 2011, IEEE Computer Society, 978-0-7695-4454-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno |
Synthesizing SRN Models from System Operations with SysML Diagrams for Availability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI (Companion) ![In: Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume, pp. 5-6, 2011, IEEE Computer Society, 978-0-7695-4454-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Pascal Weyprecht, Oliver Rose |
Model-driven development of simulation solution based on SysML starting with the simulation core. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS)., pp. 189-192, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Gabriel Pedroza, Ludovic Apvrille, Daniel Knorreck |
AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOTERE ![In: 11th Annual International Conference on New Technologies of Distributed Systems, NOTERE 2011, Paris, France, 9-13 May 2011, pp. 1-10, 2011, IEEE, 978-1-4577-0729-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Antonio Messina |
SafeSlice: a model slicing and design safety inspection tool for SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011, pp. 460-463, 2011, ACM, 978-1-4503-0443-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Stanislaw Wrycza, Bartosz Marcinkowski |
SysML Requirement Diagrams: Banking Transactional Platform Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAND ![In: Research in Systems Analysis and Design: Models and Methods - 4th SIGSAND/PLAIS EuroSymposium 2011, Gdańsk, Poland, September 29, 2011, Revised Selected Papers, pp. 15-22, 2011, Springer, 978-3-642-25675-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Sayaka Izukura, Kazuo Yanoo, Takao Osaki, Hiroshi Sakaki, Daichi Kimura, Jianwen Xiang |
Applying a Model-Based Approach to IT Systems Development Using SysML Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings, pp. 563-577, 2011, Springer, 978-3-642-24484-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Matthias Hörl, Martin Hochwallner, Stefan Dierneder, Rudolf Scheidl |
Integration of SysML and Simulation Models for Mechatronic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST (2) ![In: Computer Aided Systems Theory - EUROCAST 2011 - 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II, pp. 89-96, 2011, Springer, 978-3-642-27578-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Martin Hochwallner, Matthias Hörl, Stefan Dierneder, Rudolf Scheidl |
Some Aspects of SysML Application in the Reverse Engineering of Mechatronic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST (2) ![In: Computer Aided Systems Theory - EUROCAST 2011 - 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II, pp. 81-88, 2011, Springer, 978-3-642-27578-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Denis Makartetskiy, Riccardo Sisto |
An approach to refinement checking of SysML requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011, pp. 1-4, 2011, IEEE, 978-1-4577-0018-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Laurent Piétrac, Arnaud Lelevé, Sébastien Henry |
On the use of SysML for manufacturing execution system design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011, pp. 1-8, 2011, IEEE, 978-1-4577-0018-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Henson Graves |
Structural Models in Axiomatic SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Razieh Behjati, Tao Yue 0002, Shiva Nejati, Lionel C. Briand, Bran Selic |
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings, pp. 236-252, 2011, Springer, 978-3-642-21469-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Vaibhav Jain, Anshul Kumar, Preeti Ranjan Panda |
A SysML Profile for Development and Early Validation of TLM 2.0 Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings, pp. 299-311, 2011, Springer, 978-3-642-21469-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Pietro Colombo, Ferhat Khendek, Luigi Lavazza |
Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings, pp. 97-114, 2011, Springer, 978-3-642-21469-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Fumio Machida, Ermeson C. Andrade, Dong Seong Kim 0001, Kishor S. Trivedi |
Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), Madrid, Spain, October 4-7, 2011, pp. 209-218, 2011, IEEE Computer Society, 978-1-4577-1349-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Chien-Chung Huang |
Discrete event system modeling using SysML and model transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|