Search results for "ECBS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
218	Gerhard Schweizer	Foundations for the ECBS process.	ECBS	1996	DBLP DOI BibTeX RDF	ECBS process, IEEE TC on ECBS, systems engineering, software production, life cycle, societies, computer based systems, professional aspects, ECBS
181	David W. Oliver	ECBS Benefits.	ECBS	1999	DBLP DOI BibTeX RDF
179	Jonah Z. Lavi, Bonnie E. Melhart, Ian Pyle	Engineering of computer-based systems-a proposed curriculum for a degree program at Master level.	ECBS	1997	DBLP DOI BibTeX RDF	Master level degree program, ECBS Master program, industrial training programs, systems engineering, courses, computer-based systems engineering
135	Jonah Z. Lavi	Engineering of Computer-Based Systems - A Proposed Master Curriculum.	ECBS	1996	DBLP DOI BibTeX RDF	B.Sc., bachelor, BS, computer-based, MS, M.Sc., design, education, training, computer, curriculum, system, engineering, university, industrial, course, master
125	Jonah Z. Lavi	ECBS Education and Training Working Group Report .	ECBS	2000	DBLP DOI BibTeX RDF
116	Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit	Formal Specifications of Computer-Based Systems.	ECBS	2003	DBLP DOI BibTeX RDF
116	Darren Dalcher, Mike Mannion, Jonah Z. Lavi, Reuven Gallant, Bonnie E. Melhart, Regina M. Gonzales	Engineering of Computer-Based Systems -A Proposed Curriculum for a Degree Program at Bachelor Level.	ECBS	2001	DBLP DOI BibTeX RDF
116	Miroslav Svéda, Franz Pichler, Charles Rattray	IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems.	ECBS	2000	DBLP DOI BibTeX RDF
116	Jonah Z. Lavi, Regina M. Gonzales, Mike Mannion, Miroslav Svéda	Engineering of Computer Based-Systems Enhancement Courses - Proposed Course Outlines.	ECBS	1999	DBLP DOI BibTeX RDF
112	Markus Voss	Systems theories and architectures for ECBS.	ECBS	1996	DBLP DOI BibTeX RDF	engineering discipline, CBS lifecycles, systems analysis, systems engineering, systems theories, computer-based systems, ECBS
106	David W. Oliver	ECBS in Concept Analysis and Organization Transformation.	ECBS	1999	DBLP DOI BibTeX RDF
104	Jerzy W. Rozenblit	Process and systems complexity.	ECBS	1997	DBLP DOI BibTeX RDF	process complexity, ECBS Complexity, engineering techniques, products, systems engineering, complexity measurement, computer based systems engineering, systems complexity
89	Roymond S. C. Shanahan	Applying engineering of computer-based systems (ECBS) and product line center (PLC) approaches to the development of mission critical systems for the Department of Defense (DoD).	HASE	1996	DBLP DOI BibTeX RDF	product line center approach, mission critical systems development, Department of Defense, information systems development environment, systems development costs, software architectures, software tools, software reuse, initiatives, safety-critical software, computer-based systems engineering, ECBS
87	Darren Dalcher	Forensic ECBS: The Way Forward.	ECBS	2001	DBLP DOI BibTeX RDF
87	Tim O'Neill, John Leaney, David Rowe, Hugo Simpson, Murali Rangarajan, Jurgen Weiss, Zoltán Papp, Ted Bapty, Byron Purves, Gábor Horváth, Edwin D. de Jong	IEEE ECBS'99 TC Architecture Working Group (AWG) Report.	ECBS	2000	DBLP DOI BibTeX RDF
87	Ernesto Compatangelo	Towards an Open Framework for Conceptual Knowledge in ECBS Domain and Information Modelling.	ECBS	1997	DBLP DOI BibTeX RDF
85	Harold W. Lawson	Holistic view of complexity (position statement).	ECBS	1997	DBLP DOI BibTeX RDF	hardware development, software engineering, complexity, software development, application software, computer-based systems engineering, ECBS
85	David W. Oliver	Staffing and organization in the engineering of systems.	ECBS	1997	DBLP DOI BibTeX RDF	engineering of systems, model based systems engineering, IEEE ECBS, INCOSE, technical process, management process, business reengineering, abstractions, culture, organization, systems engineering, psychology, staffing, IEEE standards, anthropology
85	Markus Voss, Oliver Hammerschmidt	Case studies in CBS development-manufacturing. An experience report.	ECBS	1996	DBLP DOI BibTeX RDF	production cell automation, autonomous transport systems, CBS development, systems engineering, manufacturing, development process, flexible manufacturing systems, ECBS
79	Stephanie M. White	Improving the System/Software Engineering Interface for Complex System Development.	ECBS	2005	DBLP DOI BibTeX RDF
79	Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit	Formal Specifications of Computer-Based Systems.	ECBS	2002	DBLP DOI BibTeX RDF	Formal specifications, Workshop, Computer-based systems
69	John Leaney	System Composition Strategies, A Position Paper for an ECBS Panel - My Position: Analogy Questionable, Intentions Estimable.	ECBS	2001	DBLP DOI BibTeX RDF
69	Darren Dalcher	Forensic ECBS: A Situational Assessment.	ECBS	2000	DBLP DOI BibTeX RDF
66	Herbert Grünbacher, Maziar Khosravipour	WinDLX and MIPSim Pipeline Simulators for Teaching Computer Architecture.	ECBS	1996	DBLP DOI BibTeX RDF	teaching computer architecture, teaching computer organisation, teaching pipelining, DLX architecture, pipeline visualisation, WinDLX, MIPSim, ECBS
60	Janos Sztipanovits	Composition of Cyber-Physical Systems.	ECBS	2007	DBLP DOI BibTeX RDF
60	Darren Dalcher	Smooth Seas - Rough Sailing: The Case of the Lame Ship.	ECBS	2000	DBLP DOI BibTeX RDF
60	Peter Altenbernd	CHaRy: the C-LAB hard real-time system to support mechatronical design.	ECBS	1997	DBLP DOI BibTeX RDF	CHaRy software system, C-LAB hard real-time system, mechatronical design support, periodic controller application synthesis, hard real-time conditions, software tasks, parallel embedded computers, sub-problem partitioning, controller model mapping, computation time extraction, processor network, schedulability, complexity, heuristics, timing analysis, allocation, mechatronics, computer based system engineering
60	Richard Evans, Sooyong Park, Henry Alberts	Decisions not requirements: decision-centered engineering of computer-based systems.	ECBS	1997	DBLP DOI BibTeX RDF	decision-centered engineering, development deployment, systems analysis, computer-based systems
56	Gerhard Schweizer, Markus Voss	Systems Engineering and Infrastructures for Open Computer Based Systems.	EUROCAST	1995	DBLP DOI BibTeX RDF
54	Ingmar Ögren	Extended Application of Ada to Cover ECBS with O4S: ECBS = Engineering of Computer Based Systems; O4S = Objects for Systems.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
41	Jan Kofron, Tiziana Margaria, Cristina Seceleanu (eds.)	Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings	ECBS	2024	DBLP DOI BibTeX RDF
41	Manuela-Luminita Bujorianu	Cyber-Physical Ecosystems: Modelling and Verification.	ECBS	2023	DBLP DOI BibTeX RDF
41	Ali Teymur Kahraman, Tomas Fröding, Dimitrios Toumpanakis, Mikael Fridenfalk, Christian Jamtheim Gustafsson, Tobias Sjöblom	A Simple End-to-End Computer-Aided Detection Pipeline for Trained Deep Learning Models.	ECBS	2023	DBLP DOI BibTeX RDF
41	Francisco Herrera	Toward Responsible Artificial Intelligence Systems: Safety and Trustworthiness.	ECBS	2023	DBLP DOI BibTeX RDF
41	Lukas Johannes Dust, Saad Mubeen	Dynamic Priority Scheduling for Periodic Systems Using ROS 2.	ECBS	2023	DBLP DOI BibTeX RDF
41	Maria-Iuliana Dascalu, Andrei-Sergiu Bumbacea, Ioan-Alexandru Bratosin, Iulia-Cristina Stanica, Constanta-Nicoleta Bodea	CareProfSys - Combining Machine Learning and Virtual Reality to Build an Attractive Job Recommender System for Youth: Technical Details and Experimental Data.	ECBS	2023	DBLP DOI BibTeX RDF
41	Tiberiu Seceleanu, Ning Xiong 0001, Eduard Paul Enoiu, Cristina Seceleanu	Building a Digital Twin Framework for Dynamic and Robust Distributed Systems.	ECBS	2023	DBLP DOI BibTeX RDF
41	Moshe Goldstein, Oren Eliezer 0001	A Software Package (in progress) that Implements the Hammock-EFL Methodology.	ECBS	2023	DBLP DOI BibTeX RDF
41	Moshe Y. Vardi	How to Be An Ethical Technologist.	ECBS	2023	DBLP DOI BibTeX RDF
41	Muhammad Naeem, Michele Albano, Kim Guldstrand Larsen, Brian Nielsen	Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink.	ECBS	2023	DBLP DOI BibTeX RDF
41	Selma Rahman, Mattias Olausson, Carlo Vitucci, Ioannis Avgouleas	Ambient Temperature Prediction for Embedded Systems Using Machine Learning.	ECBS	2023	DBLP DOI BibTeX RDF
41	Ahmad Rezaei, Johannes Nau, Detlef Streitferdt, Jörg Schambach, Todor Vangelov	ReProInspect: Framework for Reproducible Defect Datasets for Improved AOI of PCBAs.	ECBS	2023	DBLP DOI BibTeX RDF
41	Murat Isik, Kayode Inadagbo	Astrocyte-Integrated Dynamic Function Exchange in Spiking Neural Networks.	ECBS	2023	DBLP DOI BibTeX RDF
41	Nikola Stojkov, Filip Tirnanic, Aleksa Lukovic	Detecting Road Tunnel-Like Environments Using Acoustic Classification for Sensor Fusion with Radar Systems.	ECBS	2023	DBLP DOI BibTeX RDF
41	Sven Erik Jeroschewski, Johannes Kristan, Milena Jäntgen, Max Grzanna	Integrating IoT Infrastructures in Industrie 4.0 Scenarios with the Asset Administration Shell.	ECBS	2023	DBLP DOI BibTeX RDF
41	Florian Sprang, Tiberiu Seceleanu	FPGA-Based Encryption for Peer-to-Peer Industrial Network Links.	ECBS	2023	DBLP DOI BibTeX RDF
41	Bruno Steffen, Jonas Zohren, Utku Pazarci, Fiona Kullmann, Hendrik Weißenfels	Continuous Integration of Neural Networks in Autonomous Systems.	ECBS	2023	DBLP DOI BibTeX RDF
41	Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic	A Federated Learning Algorithms Development Paradigm.	ECBS	2023	DBLP DOI BibTeX RDF
41	Manal Rahal, Bestoun S. Ahmed, Jorgen Samuelsson	Machine Learning Data Suitability and Performance Testing Using Fault Injection Testing Framework.	ECBS	2023	DBLP DOI BibTeX RDF
41	Masoumeh Taromirad, Per Runeson	A Literature Survey of Assertions in Software Testing.	ECBS	2023	DBLP DOI BibTeX RDF
41	Wei Lin, Sini Chen, Huibiao Zhu	Formalization and Verification of MQTT-SN Communication Using CSP.	ECBS	2023	DBLP DOI BibTeX RDF
41	Peter Backeman	Synthesizing Understandable Strategies.	ECBS	2023	DBLP DOI BibTeX RDF
41	Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin	Using Automata Learning for Compliance Evaluation of Communication Protocols on an NFC Handshake Example.	ECBS	2023	DBLP DOI BibTeX RDF
41	Rong Gu	Learning in Uppaal for Test Case Generation for Cyber-Physical Systems.	ECBS	2023	DBLP DOI BibTeX RDF
41	Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan	Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP.	ECBS	2023	DBLP DOI BibTeX RDF
41	Daniel Busch, Alexander Bainczyk, Bernhard Steffen	Towards LLM-Based System Migration in Language-Driven Engineering.	ECBS	2023	DBLP DOI BibTeX RDF
41	Amandeep Singh, Olga Minguett	IDPP: Imbalanced Datasets Pipelines in Pyrus.	ECBS	2023	DBLP DOI BibTeX RDF
41		ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, Novi Sad, Serbia	ECBS	2021	DBLP DOI BibTeX RDF
41	Helen D. Karatza	Large Scale Real-time Distributed Systems - Resource Allocation and Scheduling Issues.	ECBS	2021	DBLP DOI BibTeX RDF
41	Svetislav Simic, Marko Markovic, Stevan Gostojic	Smart Contract and Blockchain Based Contract Management System.	ECBS	2021	DBLP DOI BibTeX RDF
41	Subash Kannoth, Frank Schnicke, Pablo Oliveira Antonino	Enabling Industry 4.0 Communication Protocol Interoperability: An OPC UA Case Study.	ECBS	2021	DBLP DOI BibTeX RDF
41	Meir Hahami, David Raz	Success Factors of Distributed Software Development Projects in Israel.	ECBS	2021	DBLP DOI BibTeX RDF
41	Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu	PSTM Transaction Scheduler Verification Based on CSP and Testing.	ECBS	2021	DBLP DOI BibTeX RDF
41	Tamara Zivkovic, Miodrag Zivkovic	Survey of Learning Environments for Software Testing Education.	ECBS	2021	DBLP DOI BibTeX RDF
41	Jukka Mäki-Turja, Kaj Hänninen, Mikael Sjödin	On Sustainability for Offset Based Response-Time Analysis.	ECBS	2021	DBLP DOI BibTeX RDF
41	Frank Schnicke, Daniel Espen, Pablo Oliveira Antonino, Thomas Kuhn 0001	Architecture Blueprint Enabling Distributed Digital Twins.	ECBS	2021	DBLP DOI BibTeX RDF
41	Moshe Goldstein, Oren Eliezer 0001, David Dayan	Implementing the Hammock-EFL Methodology for Project Management and Parallel Programming: (research in progress).	ECBS	2021	DBLP DOI BibTeX RDF
41	Costas Busch	Scheduling Problems in Distributed Transactional Memory.	ECBS	2021	DBLP DOI BibTeX RDF
41	Silvia Ghilezan	Type Systems for Trustworthiness -- from Mathematics to Large-Scale Systems.	ECBS	2021	DBLP DOI BibTeX RDF
41	Jelena Marjanovic, Nikola Dalcekovic, Goran Sladic	Improving Critical Infrastructure Protection by Enhancing Software Acquisition Process Through Blockchain.	ECBS	2021	DBLP DOI BibTeX RDF
41	Ján Nemcík, Edvin Mako, Tibor Krajcovic	Smart Indoor Greenhouse.	ECBS	2021	DBLP DOI BibTeX RDF
41	Jakub Dubec, Tibor Krajcovic	Building Air Quality Monitoring IoT Platform.	ECBS	2021	DBLP DOI BibTeX RDF
41	Shamoona Imtiaz, Jakob Danielsson, Moris Behnam, Gabriele Capannini, Jan Carlson, Marcus Jägemar	Towards Automatic Application Fingerprinting Using Performance Monitoring Counters.	ECBS	2021	DBLP DOI BibTeX RDF
41	Cristina Seceleanu, Eduard Paul Enoiu, Jan Carlson, Kristina Lundqvist, Séverine Sentilles, Moris Behnam, Gabriele Capannini	Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS Approach.	ECBS	2021	DBLP DOI BibTeX RDF
41	Alice Florenta Suiu, Mihai Carabas, Sergiu Weisz, Costin Grigoras, Nicolae Tapus	File Spooler and Copy System for Fast Data Transfer.	ECBS	2021	DBLP DOI BibTeX RDF
41	Nandinbaatar Tsog, Marielle Gallardo, Sweta Chakraborty, Torbjörn Martinson, Alexandra Hengl, Magnus Moberg, Adem Sen, Mobyen Uddin Ahmed, Shahina Begum, Moris Behnam, Mikael Sjödin, Saad Mubeen	Supporting Autonomous Vehicle Applications on the Heterogeneous System Architecture.	ECBS	2021	DBLP DOI BibTeX RDF
41	Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao	Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP.	ECBS	2021	DBLP DOI BibTeX RDF
41	Milan Z. Bjelica	My Big, Fat, Safe Software Stack: Functional Safety for Complex Software for Next-Generation Vehicles.	ECBS	2021	DBLP DOI BibTeX RDF
41	Pavle Dakic, Miodrag Zivkovic	An overview of the challenges for developing software within the field of autonomous vehicles.	ECBS	2021	DBLP DOI BibTeX RDF
41	Ondrej Rysavý, Petr Matousek	A Network Traffic Processing Library for ICS Anomaly Detection.	ECBS	2021	DBLP DOI BibTeX RDF
41	Gabriele Capannini, Jan Carlson, Roger Mellander	Thou Shalt Not Move: A Visibility-based Emergency Stop System for Smart Industries.	ECBS	2021	DBLP DOI BibTeX RDF
41	Igor Vurdelja, Elena Vuceljic, Jelena Medarevic, Marko Markovic, Milica M. Jankovic, Zaharije Radivojevic	Smart Body Sensor Network for Logging of Activities of Daily Living.	ECBS	2021	DBLP DOI BibTeX RDF
41	Timea Bezdan, Dusan Cvetnic, Luka Gajic, Miodrag Zivkovic, Ivana Strumberger, Nebojsa Bacanin	Feature Selection by Firefly Algorithm with Improved Initialization Strategy.	ECBS	2021	DBLP DOI BibTeX RDF
41	Amar Halilovic, Nedim Zaimovic, Hamid Reza Feyzmahdavian, Tiberiu Seceleanu	Multi-constrained Network Occupancy Optimization.	ECBS	2021	DBLP DOI BibTeX RDF
41	Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu	From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration.	ECBS	2021	DBLP DOI BibTeX RDF
41	Maria-Iuliana Dascalu, Ondrej Rysavý, Constanta-Nicoleta Bodea, Moshe Goldstein, Miodrag Dukic (eds.)	Proceedings of the 6th Conference on the Engineering of Computer Based Systems, ECBS 2019, Bucharest, Romania, September 2-3, 2019.	ECBS	2019	DBLP BibTeX RDF
41	Andrei Vasilateanu, Alexandra Bolovan, Maria Fatu	Multi-agent System Simulation for Smart Homes based on the i-Light framework.	ECBS	2019	DBLP DOI BibTeX RDF
41	Miroslav Popovic, Marko Popovic, Silvia Ghilezan, Branislav Kordic	Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model.	ECBS	2019	DBLP DOI BibTeX RDF
41	Mihai Carabas, Costin Carabas	Instruction caching for bhyve.	ECBS	2019	DBLP DOI BibTeX RDF
41	George Suciu, Mihaela Balanescu, Carmen Nadrag, Andrei Birdici, Cristina Mihaela Balaceanu, Marius-Alexandru Dobrea, Adrian Pasat, Radu-Ioan Ciobanu	IoT System for Air Pollutants Assessment in Underground Infrastructures.	ECBS	2019	DBLP DOI BibTeX RDF
41	Muhammad Shah Jahan, Muhammad Talha Riaz, Kashif, Muhammad Abbas	Software Testing Practices in IT Industry of Pakistan.	ECBS	2019	DBLP DOI BibTeX RDF
41	Branimir Pervan, Emanuel Guberovic, Filip Turcinovic	Hazelnut - An Energy Efficient Base IoT Module for Wide Variety of Sensing Applications.	ECBS	2019	DBLP DOI BibTeX RDF
41	Branislav Kordic, Marko Popovic, Miroslav Popovic, Moshe Goldstein, Moshe Amitay, David Dayan	A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory.	ECBS	2019	DBLP DOI BibTeX RDF
41	Eugen Stancu, Cristian Capota, Simona Halunga, Octavian Fratu	Mutual Electromagnetic Perturbations-RF Measurements in the VHF and UHF Frequencies in Bucharest: Theoretical and Practical Aspects.	ECBS	2019	DBLP DOI BibTeX RDF
41	Ioana-Manuela Marcu, Andrei Tiganus, Ana-Maria Dragulinescu, George Suciu	A new approach on Smart-Parking concept.	ECBS	2019	DBLP DOI BibTeX RDF
41	Iulia-Cristina Stanica, Florica Moldoveanu, Maria-Iuliana Dascalu, Alin Moldoveanu, Giovanni-Paul Portelli, Constanta-Nicoleta Bodea	VR System for Neurorehabilitation: Where Technology Meets Medicine for Empowering Patients and Therapists in the Rehabilitation Process.	ECBS	2019	DBLP DOI BibTeX RDF
41	Alexandru Boitan, Razvan Bartusica, Simona Halunga, Octavian Fratu	Electromagnetic Vulnerabilities of LCD Projectors.	ECBS	2019	DBLP DOI BibTeX RDF
41	Mihail Cazacu, Constanta-Nicoleta Bodea, Maria-Iuliana Dascalu	Connecting the Dots: Promising directions for developing a robotic cybersecurity analyst.	ECBS	2019	DBLP DOI BibTeX RDF
41	Iuliana Marin, Nicolae Goga	Hypertension Detection based on Machine Learning.	ECBS	2019	DBLP DOI BibTeX RDF
41	Octavian Catrina	Optimization and Tradeoffs in Secure Floating-Point Computation: Products, Powers, and Polynomials.	ECBS	2019	DBLP DOI BibTeX RDF