Publications

Simulating Rhapsody SysML Blocks in Hybrid Models with FMI
The 10th International Modelica Conference, Lund, Sweden, March 10-12 2014
Lev Greenberg, Yishai A. Feldman and Eldad Palachi.

Automated Model-bsed WEB testing
FiSTB Testing Assembly, August 2013.
Andrus Lehtmets, Dean Felmly-Leesment.

Development and Verification of Complex Hybrid Systems using Synthesizable Monitors
HVC (Haifa Verificaiton Conference) 2013
Lev Greenberg, Tamer Salman, Allon Adir, et.al.

Tools Interoperability Platform for Model-Based Systems-Engineering
MBSDPTI workshop SECOOP'13, July 2013.
Uri Shani, Ariel Landau.

Automated Model-Based Web Testing with Selenium
Nordic Testing Days 2013, June 4 - 6 2014.
Kullo Raiend, Dean Felmly-Leesment.

Model Integration - extracting Value from MBSE
INCOSE International Symposium 2013
Henry Broodney, Uri Shani, Aviad Sela.

SysML and Modelica Integration using FMI – a Case Study
The 7th National Conference INCOSE_IL, March 2013.
L. Greenberg (IBM), A. Mignogna (ALES), P. Aronsson (MathCore), O. Tronarp (MathCore), E. Palachi (IBM), D. Wadler (IAI)

Enginering Model Mediation Which Really Works
The 7th National Conference INCOSE_IL, March 2013.
Uri Shani, Daniel Wadler, Michael Wagner.

A Collaborative Platform for Systems Engineering Tools over the Internet with Connections to Wolfram Systemmodeler
7th MODPROD Workshop on Model-Based Product Development, February 2013.
P. Aronsson (MathCore), O. Tronarp (MathCore), D. Hedberg (MathCore).

Parallel NuSMV: a NuSMV extension for the verification of complex embedded systems
SafeComp, September 2012.
O. Ferrante (ALES S.r.l.), L. Benvenuti (ALES S.r.l.), L. Mangeruca (ALES S.r.l.), C. Sofronis (ALES S.r.l.), A. Ferrari (ALES S.r.l.)

Model-based functional and load testing of the web server of a street lighting system
ETSI Model Based Testing User Conference, September 2012.
K. Raiend (Elvior), A. Kull (Elvior)

Internet of Systems Engineering
IBM Academy of Technology (IBM Internal), May 2012.
A. Sela (IBM)

A Simulator based on QEMU and SystemC for Robustness Testing of a Networked Linux-based Fire Detection and Alarm System
ERTS conference, February 2012.
M. D'Angelo (ALES S.r.l.), A. Ferrari (ALES S.r.l.), O. Ogaard (Autronica Fire and Security), C. Pinello (United Technologies Research Center), A. Ulisse (ALES S.r.l.)

Internet of Systems Engineering Architecture
INCOSE-IL Seminar, Herzliya, Israel, September 2011.
U. Shani (IBM)

Semantics Mediation
INCOSE-IL Seminar, Herzliya, Israel, September 2011.
M. Wagner (Fraunhofer), C. Sofronis (ALES S.r.l.), O. Ferrante (ALES S.r.l.), A. Ferrari (ALES S.r.l.), L. Mangeruca (ALES S.r.l.)

Distributed HiL Simulation
INCOSE-IL Seminar, Herzliya, Israel, September 2011.
M. D'Angelo (ALES S.r.l.), A. Ferrari - (ALES S.r.l.), L. Mangeruca (ALES S.r.l.), C. Sofronis (ALES S.r.l.)

Foundation of Contract for Things
INCOSE-IL Seminar, Herzliya, Israel, September 2011.
C. Sofronis (ALES S.r.l.), O. Ferrante (ALES S.r.l.), A. Ferrari - (ALES S.r.l.), L. Mangeruca (ALES S.r.l.)

More Complex Not More Complicated
IBM Innovate2011, June 2011, Orlando, Florida.
M. Winokur, R. Goldberg, K. Andreas, S. Matthews and M. Nir.

Systems Engineering Tools Integration and Interoperability using OSLC in the SPRINT project
OSLC Community Webcast, February, 2011.
U. Shani (IBM), P. Vasaiely (EADS), A. Keis (EADS)