Faculty & staff

REFEREED ARTICLES

1. M. Winokur, D. Blank, L. Tepper
   A method of optimization of flux and xenon fluctuations in a nuclear reactor
   IEEE Trans. on Nuclear Science, NS-26(1), 1979 (791-795)
2. M. Winokur, L. Tepper
   Extension of load follow capability of a PWR reactor by optimal control
   IEEE Trans. on Nuclear Science, NS 31(2), 1984 (932-939)
3. M. Winokur, B.J. Cory
   Identification of strong and weak areas for emergency state control
   IEEE Power Engineering Review, PER-4(6), 1984 (62-63)
4. M. Winokur, B.J. Cory
   Identification of strong and weak areas for emergency state control
   IEEE Trans. on Power Apparatus and Systems, PAS-103(6), 1984 (1486-1492)
5. A. Shaked, M. Winokur
   Harnessing FMI to improve bottom-up coordination in SoS design
   The Voice of the Systems, No.16, 2015 (32-39)

CHAPTERS IN BOOKS

1. J.Z. Lavi (Loeb), M. Winokur
   Embedded computer systems requirements analysis & specification – an industrial course
   in: Software Engineering Education
   Lecture Notes in Computer Science, 327, 1988 (81-105)
   [ISBN: 978-0-387-34779-0]
2. J.Z. Lavi, M. Winokur
   Development of a method driven CAS2E tool
   in: Proc. Software Development Environments and CASE Technology European Symp
   Lecture Notes in Computer Science, 509, 1991 (44-52)
   Königswinter, Germany, 17-19 June 1991
   [ISBN: 978-3-540-54194-3]

PAPERS PRESENTED AT SCIENTIFIC MEETINGS PUBLISHED IN PROCEEDINGS

1. L. Tepper, M. Winokur
   Optimal control of a PWR reactor to extend load follow capability
   8th IFAC World Congress
   Kyoto, Japan, 24-28 August 1981 (255-262)
2. M. Winokur, B.J. Cory
   A method for multiple contingency evaluation in emergencies
   MELECON '83 Conf.
   Athens, Greece, 24-26 May 1983
3. M. Winokur, B.J. Cory
   Decision theory strategies for control of interconnected power systems in emergencies
   CIGRE-IFAC Symp. - Int'l. Conf. on Large High Voltage Electric Systems
   Florence, Italy, 26-28 September 1983
4. M. Winokur, B.J. Cory
   Identification of strong and weak areas for emergency state control
   IEEE/Power Engineering Society 1984 Winter Meeting
   Dallas, USA, 29 January-3 February 1984
5. M. Winokur, A. Pe'er
   Unit response improvement to enhance security of isolated power system
   2nd Int'l. Conf. on Power System Monitoring and Control
   Durham, UK, July 1986
6. M. Winokur, B.J. Cory
   Voltage collapse prevention in interconnected power systems
   9th Power Systems Computation Conf.
   Portugal, September 1987 (337-344)
7. J.Z. Lavi, M. Winokur
   Embedded computer systems requirements analysis and specification – An industrial course
   SEI Conf. on Software Engineering Education
   Fairfax, Virginia, USA, 28-29 April 1988 (81-105)
8. J.Z. Lavi, M. Winokur, A. Dagan, R. Rokach
   Multi level analysis of complex embedded computer systems
   3rd Israel Conf. on Computer Systems and Software Engineering
   Tel-Aviv, Israel, April 1988 (86-95)
9. J.Z. Lavi, M. Winokur
   ECSAM – A method for the analysis of complex embedded computer systems and their software
   Structured Techniques Association Conf.(STA5)
   Chicago, USA, 8-11 May 1989 (50-63)
10. M. Winokur, J.Z. Lavi, I. Lavi, R. Oz
    Requirements analysis and specification of embedded systems using ECSAM – A case study
    CompEuro '90, IEEE Int'l. Conf. on Computer Systems and Software Engineering
    Tel-Aviv, Israel, 8-10 May 1990 (80-89)
11. Y. Malchi, M. Winokur, D. Kottick
    Long term simulation of the Israel power system dynamic response - A case study
    3rd Int'l. Conf. on Power System Monitoring and Control
    London, UK, 1991 (62-67)
12. D. Kottick, M. Blau, M. Winokur
    An introduction to dynamic security of supply in the Israeli power system
    17th Conv. of Electrical and Electronic engineers in Israel
    1991 (338-341)
13. M. Winokur, A. Engel, R. Gallant
    A concurrent approach to systems development and requirements specifications – A case study
    5th Israel Conf. on Computer Systems and Software Engineering
    May 1991 (13-19) 
14. J.Z. Lavi, M. Winokur, R. Gallant, J. Kudish
    The reuse of generic subsystem specification in multisystem CBS development
    Proc. 6th Israel Conf. on Computer Systems and Software Engineering
    Tel-Aviv, Israel, June 1992 (49-55)
15. J. Kudish, J.Z. Lavi, M. Winokur, R. Gallant
    Architectural description of computer based systems and their software
    Proc. 6th Israel Conf. on Computer Systems and Software Engineering
    Tel-Aviv, Israel, June 1992 (83-88)
16. M. Winokur, J. Kudish
    Model-based requirements management with ECSAM
    I-Logix Second Int'l. Group Conf.
    Boston, Mass., USA, 27-28 October 1993
17. M. Winokur, I. Lavi, J.Z. Lavi, J. Kudish
    Software process improvement at IAI
    The 6th Software Engineering Process Group National Meeting
    Dallas, Texas, USA, 25-28 April 1994
    Section "Lessons Learned I"(1-9)
18. M. Winokur, I. Lavi
    Concurrent technology and process improvement
    Proc. 4th IEEE Computer Society Workshop on Software Engineering Technology Transfer
    Dallas, Texas, USA, 28-29 April 1994 (217-222)
19. M. Winokur, R. Gallant
    Embedded computer systems analysis and modeling
    16th Int'l. Conf. on Software Engineering (ICSE 16)
    Sorrento, Italy, 16-21 May 1994
20. M. Winokur, I. Lavi, A. Bar-David
    Software measurement at Israel Aircraft Industries
    The 10th Int'l. Quality Conf.
    Jerusalem, Israel, 17-19 November 1994 (288-294) [in Hebrew]
21. R. Gallant, M. Winokur, J. Kudish
    Tool and method reciprocity: A case study in requirements management
    Proc. 7th Israeli Conf. on Computer Systems and Software Engineering
    Herzliya, Israel, 12-13 June 1996 (109-118)
22. M. Winokur, I. Lavi, S. Glick
    Two-tiered organization process focus implementation
    1998 European SEPG Conf.
    London, UK, June 1998 (C405-C413)
23. M. Winokur, A. Grinman, I. Yosha, R. Gallant
    Measuring the effectiveness of introducing new methods in the software development process
    24th Euromicro Conf.
    Stockholm, Sweden, August 1998 (800-807)
24. I. Lavi, M. Winokur, R. Gallant
    Results of a software process improvement program in a large corporation
    The 14th Int'l. Quality Conf.
    Jerusalem, Israel, December 1998
25. A. Engel, J. Hurvitz, M. Winokur
    Systems requirements management in a multi-national environment – A case study
    Fifth Annual Int'l. Symp. Systems Engineering '99
    London, UK, 1-2 November 1999
26. D. Goshen-Meskin, V. Gafni, M. Winokur
    SafeAir – An integrated development environment and methodology
    INCOSE Int'l. Symp.
    Melbourne, Australia, 1-5 July 2001, 11(1) (798-806)
27. A. Engel, M. Winokur, D. Goshen, I. Geva
    Improving the systems engineering process at Israel Aircraft Industries – A case study
    INCOSE Int'l. Symp. 2001
    Melbourne, Australia, 1-5 July 2001, 11(1), 2001 (824-829)
28. A. Engel, M. Winokur, G. Döhmen, M. Enzmann
    Assumptions/promises – Shifting the paradigm in systems-engineering
    18th Annual Int'l. Symp. of the Int'l. Council on Systems Engineering and
    6th Biennial European Systems Engineering Conf. (INCOSE IS 2008) – Half Day Tutorial
    Utrecht, Holland, 15-19 June 2008, 18(1), (58-78)
29. M. Winokur, S. Graf, B. Josko
    Contract-based systems design, The SPEEDS approach
    18th Annual Int'l. Symp. of the Int'l. Council on Systems Engineering and
    6th Biennial European Systems Engineering Conf. (INCOSE IS 2008) – Half Day Tutorial
    Utrecht, Holland, 15-19 June 2008, 18(1), (2477-2554)
30. M. Winokur
    Embedded systems: Critical technology for systems of systems
    ARTEMIS Conf. on Strategies for Embedded Computing Research
    Vienna, Austria, 18-19 March 2010 [invited speaker]
31. E. Gery, M. Winokur, N. Mashkiff
    Using jazz for systems engineering relationship hub – A case study
    Innovate 2010
    Orlando, FL, USA, 6-10 June 2010
32. M. Winokur, R. Goldberg, K. Andreas, S. Matthews, M. Nir
    Case study: More complex not more complicated
    Innovate 2011
    Orlando, FL, USA, 5-9 June 2011
33. M. Winokur, A. Keis, H. Broodney
    Internet of systems engineering – A joint initiative by IBM, EADS and IAI to create a jazz-based collaboration platform for future designers
    Innovate 2012, Orlando, FL, USA, 3-7 June 2012
34. M. Winokur
    Designing for adaptability and evolution in systems of systems engineering: The DANSE Project
    IEEE SOSE 2012 7th Int'l. Conf. on System of Systems Engineering
    Genoa, Italy, 16-19 July 2012 
35. M. Winokur
    DANSE – Designing for Adaptability and evolution in System of systems Engineering
    Gordon Center Systems Engineering Symp. Technion
    Haifa, Israel, 17 July 2013 [invited speaker]
36. M. Winokur
    Cross tool/joint simulation in the DANSE project
    INCOSE_IL 6th Int'l. Conf. – Systems Engineering Current and Future Challenges
    Herzliya, Israel, 24-25 March 2015 [invited speaker]
37. M. Winokur, A. Modai, Z. Lando
    Seamless requirements flow down from system to software components in embedded systems
    Proc. 21st IEEE Real-Time and Embedded Technology and Applications Symp.
    Seattle, Washington, USA, 13-16 April 2015 (19-20) [work-in-progress session]
38. N. Thirer, M. Winokur
    Considerations for FPGA based embedded control systems design
    2015 6th Int'l. Conf. on Advanced Computer Control
    Beijing, China, 11-12 July 2015
39. M. Winokur
    Challenges of starting a new embedded systems specialty in an established EE dept.
    2015 Workshop on Embedded and Cyber-Physical Systems Education (WESE)
    Amsterdam, Netherland, 8 October 2015 [invited keynote speaker]
40. M. Winokur, Z. Lando, A. Modai
    Seamless requirements flow down from system to software components 
    in a cyber physical system
    Proc. 7th Mediterranean Conf. on Embedded Computer (MECO '2018)
    Budva, Montenegro, 10-14 June 2018 (62-65)
41. M. Winokur, S. Amador Nelke
    Introducing IoT subjects to an existing curriculum. An ongoing experience
    Model-Based Design of Cyber Physical Systems (CyPhy'18) and 
    Workshop on Embedded and Cyber-Physical Systems Education (WESE18) 
    in conjunction with ESWEEK 2018
    Torino, Italy, 4-5 October 2018

OTHER PUBLICATIONS

REPORTS

1. A. Peer, M. Winokur
   Dynamic response of generating units
   Israel Electric Corp. 
   September 1988 (310 pages)
2. N. Ben-Dov, M. Winokur, et al.
   Characterization of systems of systems
   DANSE Project, September 2012
3. M. Winokur, N. Ben-Dov, R. Goldberg, et al.
   DANSE systems of systems methodology
   DANSE Project, February 2015 (180 pages)

M. Winokur – lead contributor and publication editor http://danse-ip.eu/home/deliverables.html

Summary of principal research fields

• Systems Requirements Analysis and Specification (*)
• Systems Design Exploration and Performance Analysis (*)
• Effective Project Management in a rapidly changing technology market
• Systems Engineering Development Process Modeling and Improvement
• Industrial Applications in the Internet of Things
• Automatic Code Generation (ACG) for Embedded and Real Time Systems (*)
• Design for Safety and Functional Safety 
• New Directions in Automated Systems

(*) Emphasis on Complex and Cyber Physical Systems

1. A dedicated Industrial IoT Applications Lab in cooperation with other members of staff at the Technology Management Department. Room 107 building 1.
2. A New Industrial Automation processes lab is already been set up as per Dec. 2018 and will be exploited jointly by me and Dr. Eyal Brill, Dr. Arriel Benis and Dr. Sofia Amador-Nelke. Room 408, building 1.
3. Research is also expected to be pursued in cooperation with the multidisciplinary robotics lab 8/100 of the Computer Science Department and the Embedded Systems Real Time lab I jointly established with Dr. Thirer in the Electrical Eng. Department.

HIT – Holon Institute of Technology

• Specification and Development of Embedded Computer Systems ¹
• Development Tools for Embedded Computer Systems ¹
• Software Engineering for Systems Engineers 1
• Engineering Design 1 ²
• Systems Engineering for Technology Intensive Products ²

Technion – Israel Institute of Technology

Graduate:

• Embedded Computer Systems Specification and Analysis ¹

Undergraduate:

• Linear Differential Equations ³
• Power Systems ³
• Power Systems Lab. ³
• Control Systems 1 ³
• Control Systems Lab. ³
• Control Systems ³

Tel-Aviv University

Graduate:

• Software Specification and Analysis for Embedded Systems ⁴

1. New course, developed and taught by Dr. Winokur
2. Updated by Dr. Winokur
3. Teaching Assistant
4. Computer Science and Computer Engineering joint degree – New course developed and taught by Dr. Winokur