Janos Sztipanovits
机构: Professor of EECS, Vanderbilt University
每年引用次数
引用次数
引用: 9,077
H-指数: 50
I10-指数 : 147
出版物: 396
MICIS - A Model-Integrated Clinical Information System
Janos Sztipanovits , Akos Ledeczi , Janos Mathe , Jan Werner
2008
Modeling and Simulation Tool Suite for Patient Portals
Gabor Karsai , Janos Sztipanovits , Akos Ledeczi , Sean Duncavage
2007
Robot graphic simulation testbed
Gabor Karsai , Janos Sztipanovits , Csaba Biegl , James F. Springfield
1991
An Integrated Multi-Domain Analysis Environment for High Consequence Systems
Gabor Karsai , Janos Sztipanovits , Jason Scott , James Davis
ASME 1998 Design Engineering Technical Conferences
1998
Autonomic Self-Healing for MANETs.
Janos Sztipanovits , Ken R. Pence , Yonghwan Lee , Junaid Ahsenali Chaudhry
international conference on artificial intelligence 575 -581
2009
Software for Embedded Systems: Opportunities and Challenges
Janos Sztipanovits
real time technology and applications symposium 2
1
2000
An automation simulation testbed
Gabor Karsai , Janos Sztipanovits , Csaba Biegl , James F. Springfield
1988
Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers
Fabrice Kordon , Janos Sztipanovits ,
Springer
2007
A PASSIVITY-BASED APPROACH TO DEPLOYMENT IN MULTI-AGENT NETWORKS
Janos Sztipanovits , Xenofon D. Koutsoukos , Emeka Eyisi , Nicholas Kottenstette
international conference on informatics in control, automation and robotics 53 -62
12
2010
Constructive techniques for meta- and model-level reasoning
Janos Sztipanovits , Ethan K. Jackson
model driven engineering languages and systems 405 -419
14
2007
Convergence: model-based software, systems and control engineering
Janos Sztipanovits
conference on object-oriented programming systems, languages, and applications 4
2008
Diversely enumerating system-level architectures
Janos Sztipanovits , Gabor Simko , Ethan K. Jackson
embedded software 11
12
2013
PolicyForge: a collaborative environment for formalizing privacy policies in health care
Janos Sztipanovits , Laszlo Juracz , Andras Nadas , Mark E. Frisse
software engineering in health care 20 -23
1
2013
Compositional specification of behavioral semantics
Janos Sztipanovits , Sandeep Neema , Kai Chen
design, automation, and test in europe 906 -911
31
2007
Towards Two-Level Formal Modeling of Computer-Based Systems
Gabor Karsai , Janos Sztipanovits , Ákos Lédeczi , Greg Nordstrom
Journal of Universal Computer Science 6 1131 -1144
5
2000
Metamodeling Languages and Metaprogrammable Tools
Janos Sztipanovits , Sandeep Neema , Matthew J Emerson ,
Handbook of Real-Time and Embedded Systems
4
2007
ACTIVE MONITORING USING REAL-TIME METRIC LINEAR TEMPORAL LOGIC SPECIFICATIONS
Janos Sztipanovits , Gabor Simko
international conference on health informatics 370 -373
3
2012
09073 Abstracts Collection - Model-Based Design of Trustworthy Health Information Systems.
Janos Sztipanovits , Ruth Breu , John C. Mitchell , Alfred Winter
dagstuhl seminar proceedings 0
2009
SURE: an experimentation and evaluation testbed for CPS security and resilience: demo abstract
Gabor Karsai , Janos Sztipanovits , William Emfinger , Xenofon Koutsoukos
international conference on cyber physical systems 27
5
2016
Model-driven Automated Deployment of Large-scale CPS Co-simulations in the Cloud.
Janos Sztipanovits , Himanshu Neema , Aniruddha S. Gokhale , Yogesh D. Barve
MODELS (Satellite Events) 463 -464
2017