Janos Sztipanovits

According to our database1, Janos Sztipanovits authored at least 142 papers between 1988 and 2019.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 2001, "For contributions to the design of reconfigurable and adaptive embedded information systems.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Editorial to the theme section on model-based design of cyber-physical systems.
Software and Systems Modeling, 2019

Towards bridging the gap between model- and data- driven tool suites for cyber-physical systems.
Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2019

Semantic Integration Platform for Cyber-Physical System Design.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Simulation integration platforms for cyber-physical systems.
Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

Model-based design for CPS with learning-enabled components.
Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

2018
Model and Tool Integration Platforms for Cyber-Physical System Design.
Proceedings of the IEEE, 2018

SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems.
Proceedings of the IEEE, 2018

DesignBIP: A Design Studio for Modeling and Generating Systems with BIP.
CoRR, 2018

Approaches to Enhancing Cyber Resilience: Report of the North Atlantic Treaty Organization (NATO) Workshop IST-153.
CoRR, 2018

Integrated simulation testbed for security and resilience of CPS.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

A Common Integrated Framework for Heterogeneous Modeling Services.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

OpenUAV: a UAV testbed for the CPS and robotics community.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Formation control and persistent monitoring in the openUAV swarm simulator on the NSF CPS-VO.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

2017
Bridging Engineering and Formal Modeling: WebGME and Formula Integration.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Model-driven Automated Deployment of Large-scale CPS Co-simulations in the Cloud.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

2016
Demo Abstract: SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

2015
Validating Transformations for Semantic Anchoring.
Journal of Object Technology, 2015

A language for describing attacks on cyber-physical systems.
IJCIP, 2015

Anonymously Analyzing Clinical Datasets.
CoRR, 2015

Design tool chain for cyber-physical systems: lessons learned.
Proceedings of the 52nd Annual Design Automation Conference, 2015

2014
A co-simulation framework for design of time-triggered automotive cyber physical systems.
Simulation Modelling Practice and Theory, 2014

A model-integrated authoring environment for privacy policies.
Sci. Comput. Program., 2014

Formalization of software models for cyber-physical systems.
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

Resilient distributed consensus for tree topology.
Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

A Tool for Analyzing Clinical Datasets as Blackbox.
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Motivating Use Cases for the Globalization of DSLs.
Proceedings of the Globalizing Domain-Specific Languages, 2014

Towards a theory for cyber-physical systems modeling.
Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

2013
Design of Networked Control Systems Using Passivity.
IEEE Trans. Contr. Sys. Techn., 2013

Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

A case study on the model-based design and integration of automotive cyber-physical systems.
Proceedings of the 21st Mediterranean Conference on Control and Automation, 2013

PolicyForge: a collaborative environment for formalizing privacy policies in health care.
Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013

Co-simulation framework for design of time-triggered cyber physical systems.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Reliability Analysis of Wireless Real-Time Control Networks.
Proceedings of the 22nd International Conference on Computer Communication and Networks, 2013

Taxonomy for description of cross-domain attacks on CPS.
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Diversely enumerating system-level architectures.
Proceedings of the International Conference on Embedded Software, 2013

A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems.
Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

Multi-way Semantic Specification of Domain-Specific Modeling Languages.
Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

2012
A passivity approach for model-based compositional design of networked control systems.
ACM Trans. Embedded Comput. Syst., 2012

Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach.
Simulation, 2012

NCSWT: An integrated modeling and simulation tool for networked control systems.
Simulation Modelling Practice and Theory, 2012

Toward a Science of Cyber-Physical System Integration.
Proceedings of the IEEE, 2012

Cyber Physical Systems - Convergence of Physical and Information Sciences.
it - Information Technology, 2012

Cancer treatment planning: formal methods to the rescue.
Proceedings of the 4th International Workshop on Software Engineering in Health Care, 2012

NCSWT: an integrated modeling and simulation tool for networked control systems.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Integrated simulation and emulation platform for cyber-physical system security experimentation.
Proceedings of the 1st International Conference on High Confidence Networked Systems (HiCoNS, 2012

Active Monitoring using Real-time Metric Linear Temporal Logic Specifications.
Proceedings of the HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, Vilamoura, Algarve, Portugal, 1, 2012

2011
High confidence embedded software design: a quadrotor helicopter case study.
SIGBED Review, 2011

Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441).
Dagstuhl Reports, 2011

Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models.
Proceedings of the Software Composition - 10th International Conference, SC 2011, Zurich, 2011

Networked control system wind tunnel (NCSWT): an evaluation tool for networked multi-agent systems.
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011

Model Integration and Cyber Physical Systems: A Semantics Perspective.
Proceedings of the FM 2011: Formal Methods, 2011

2010
System and software architectures of distributed smart cameras.
ACM Trans. Embedded Comput. Syst., 2010

Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis.
Proceedings of the 21st IEEE International Symposium on Rapid System Prototyping, 2010

A Passivity-Based Approach to Group Coordination in Multi-agent Networks.
Proceedings of the Informatics in Control, Automation and Robotics, 2010

A Passivity-based Approach to Deployment in Multi-agent Networks.
Proceedings of the ICINCO 2010, 2010

Online stability validation using sector analysis.
Proceedings of the 10th International conference on Embedded software, 2010

2009
Formalizing the structural semantics of domain-specific modeling languages.
Software and Systems Modeling, 2009

A Model-Integrated, Guideline-Driven, Clinical Decision-Support System.
IEEE Software, 2009

Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages.
Int. J. Semantic Computing, 2009

Metamodeling: An Emerging Representation Paradigm for System-Level Design.
IEEE Design & Test of Computers, 2009

An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software.
Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009

PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems.
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009

Autonomic Self-Healing for MANETs.
Proceedings of the 2009 International Conference on Artificial Intelligence, 2009

Model based integration and experimentation of Information Fusion and C2 Systems.
Proceedings of the 12th International Conference on Information Fusion, 2009

Towards a time-triggered schedule calculation tool to support model-based embedded software design.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

09073 Abstracts Collection - Model-Based Design of Trustworthy Health Information Systems.
Proceedings of the Model-Based Design of Trustworthy Health Information Systems, 11.02., 2009

2008
Model-Integrated Development of Cyber-Physical Systems.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

Passivity-Based Design of Wireless Networked Control Systems for Robustness to Time-Varying Delays.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Second International Workshop on the Model-Based Design of Trustworthy Health Information Systems MOTHIS 2008.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Automatically Realising Embedded Systems from High-Level Functional Models.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
Metamodeling Languages and Metaprogrammable Tools.
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Towards the security and privacy analysis of patient portals.
SIGBED Review, 2007

Escher: A New Technology Transitioning Model.
IEEE Computer, 2007

First International Workshop on the Model-Based Design of Trustworthy Health Information Systems.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Constructive Techniques for Meta- and Model-Level Reasoning.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

A Case Study on Semantic Unit Composition.
Proceedings of the International Workshop on Modeling in Software Engineering, 2007

Composition of Cyber-Physical Systems.
Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

Compositional specification of behavioral semantics.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

The Model-Integrated Computing Tool Suite.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

OASiS: A Programming Framework for Service-Oriented Sensor Networks.
Proceedings of the Second International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2007), 2007

A Modeling Environment for Patient Portals.
Proceedings of the AMIA 2007, 2007

2006
Developing Applications Using Model-Driven Design Environments.
IEEE Computer, 2006

Design and Implementation of Ubiquitous Smart Cameras.
Proceedings of the IEEE International Conference on Sensor Networks, 2006

A Semantic Unit for Timed Automata Based Modeling Languages.
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks.
Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

Towards a formal foundation for domain specific modeling languages.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality.
Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

Efficient Integration of Web Services in Ambient-aware Sensor Network Applications.
Proceedings of the 3rd International Conference on Broadband Communications, 2006

2005
Introducing embedded software and systems education and advanced learning technology in an engineering curriculum.
ACM Trans. Embedded Comput. Syst., 2005

Using separation of concerns for embedded systems design.
Proceedings of the EMSOFT 2005, 2005

Toward a semantic anchoring infrastructure for domain-specific modeling languages.
Proceedings of the EMSOFT 2005, 2005

Semantic Anchoring with Model Transformations.
Proceedings of the Model Driven Architecture, 2005

Grand challenges in embedded systems.
Proceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2005

2004
Computer-automated multiparadigm modeling in control systems technology.
IEEE Trans. Contr. Sys. Techn., 2004

Composition and cloning in modeling and meta-modeling.
IEEE Trans. Contr. Sys. Techn., 2004

A MOF-Based Metamodeling Environment.
J. UCS, 2004

Shooter Localization in Urban Terrain.
IEEE Computer, 2004

WASP: A Radio Geolocation System on Highly Resource Constrained Mobile Platforms.
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2003
Scanning the issue - special issue on modeling and design of embedded software.
Proceedings of the IEEE, 2003

Model-integrated development of embedded software.
Proceedings of the IEEE, 2003

Constraint-Based Design-Space Exploration and Model Synthesis.
Proceedings of the Embedded Software, Third International Conference, 2003

Driving agenda for systems research.
Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2003

2002
Generative programming for embedded systems.
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

2001
An Approach to Self-adaptive Software Based on Supervisory Control.
Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

Embedded Software and Systems: Challenges and Approaches.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Hybrid Systems Applications: An Oxymoron?
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Embedded Software: Challenges and Opportunities.
Proceedings of the Embedded Software, First International Workshop, 2001

2000
Model-integrated Tools for the Design of Dynamically Reconfigurable Systems.
VLSI Design, 2000

Towards Two-Level Formal Modeling of Computer-Based Systems.
J. UCS, 2000

Software for Embedded Systems: Opportunities and Challenges.
Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31, 2000

1999
Integration of Information Systems in Large-Scale Enterprises Using Model-Integrated Computing.
Proceedings of the 1st International Conference on Enterprise Information Systems, 1999

Situation Assessment and Decision Making Integrated into the Process Centered Environment.
Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments.
Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

Model-Integrated Computing and Integration of Globally Distributed Manufacturing Enterprises: Issues and Challenges.
Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

Application of Model-Integrated Computing in Manufacturing Execution Systems.
Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

Multi-Domain Surety Modeling and Analysis for High Assurance Systems.
Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

Uniform Execution Environment for Dynamic Reconfiguration.
Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

1998
Integrated Engineering of Computer-Based Systems.
IEEE Computer, 1998

Increasing Productivity at Saturn.
IEEE Computer, 1998

Self-Adaptive Software for Signal Processing.
Commun. ACM, 1998

1997
Model-Integrated Computing.
IEEE Computer, 1997

Model-Integrated Programming.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

Model-integrated computing environments and computer-based systems.
Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997

A model-integrated information system for increasing throughput in discrete manufacturing.
Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997

Model-based engineering of large-scale real-time systems.
Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997

Model-integrated system development: models, architecture, and process.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996
Model-Integrated Program Synthesis Environment.
Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996

Model-integrated toolset for fault detection, isolation and recovery (FDIR).
Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996

1995
Modeling Paradigm for Parallel Signal Processing.
Australian Computer Journal, 1995

MULTIGRAPH: an architecture for model-integrated computing.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Model-embedded on-line problem solving environment for chemical engineering.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

1994
Model-Based Programming for Parallel Image Processing.
Proceedings of the Proceedings 1994 International Conference on Image Processing, 1994

1993
The multigraph and structural adaptivity.
IEEE Trans. Signal Processing, 1993

Model-Based Software Synthesis.
IEEE Software, 1993

Parallel DSP system integration.
Microprocessors and Microsystems - Embedded Hardware Design, 1993

1992
Model-Based Intelligent Process Control for Cogenerator Plants.
J. Parallel Distrib. Comput., 1992

1991
Real-Time Fault Diagnostics.
IEEE Expert, 1991

Real-time fault diagnostics with multiple aspect models.
Proceedings of the 1991 IEEE International Conference on Robotics and Automation, 1991

1990
Intelligent monitoring and diagnostics for plant automation.
Proceedings of the 1990 IEEE International Conference on Robotics and Automation, 1990

1988
Graph model-based approach to the representation, interpretation, and execution of signal processing systems.
Int. J. Intell. Syst., 1988


  Loading...