sign in · help · news · about ·

BibSonomy :: author :: Karsai ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(146)

<< < 1 | 2 | 3 > >>

Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach.
Graham Hemingway, Himanshu Neema, Harmon Nine, Janos Sztipanovits, and Gabor Karsai Simulation 88(2):217-232 (2012)
to dblp by dblp on Feb 9, 2012, 12:00 AM
URL | BibTeX
Entropy of dynamical social networks
Kun Zhao, Márton Karsai, and Ginestra Bianconi CoRR (2012)
to dblp by dblp on Feb 1, 2012, 12:00 AM
URL | BibTeX
Application of software health management techniques.
Nagabhushan Mahadevan, Abhishek Dubey, and Gabor Karsai SEAMS, page 1-10. ACM, (2011)
to dblp by dblp on Jan 28, 2012, 12:00 AM
URL | BibTeX
Multiscale Analysis of Spreading in a Large Communication Network
Mikko Kivelä, Raj Kumar Pan, Kimmo Kaski, János Kertész, Jari Saramäki, and Márton Karsai CoRR (2011)
to dblp by dblp on Jan 1, 2012, 12:00 AM
URL | BibTeX
Toward a Science of Cyber-Physical System Integration.
Janos Sztipanovits, Xenofon D. Koutsoukos, Gabor Karsai, Nicholas Kottenstette, Panos J. Antsaklis, Vijay Gupta, Bill Goodwine, John S. Baras, and Shige Wang Proceedings of the IEEE 100(1):29-44 (2012)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Circadian pattern and burstiness in human communication activity
Hang-Hyun Jo, Márton Karsai, János Kertész, and Kimmo Kaski CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Temporal motifs in time-dependent networks
Lauri Kovanen, Márton Karsai, Kimmo Kaski, János Kertész, and Jari Saramäki CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Small But Slow World: How Network Topology and Burstiness Slow Down Spreading
Márton Karsai, Mikko Kivelä, Raj Kumar Pan, Kimmo Kaski, János Kertész, Albert-László Barabási, and Jari Saramäki CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Decentralized Control of Construction Behavior in Paper Wasps: An Overview of the Stimergy Approach.
István Karsai Artificial Life 5(2):117-136 (1999)
to dblp by dblp on Nov 17, 2011, 12:00 AM
URL | BibTeX
A component model for hard real-time systems: CCM with ARINC-653.
Abhishek Dubey, Gabor Karsai, and Nagabhushan Mahadevan Softw., Pract. Exper. 41(12):1517-1550 (2011)
to dblp by dblp on Nov 9, 2011, 12:00 AM
URL | BibTeX
Model-Based Software Synthesis.
Ben Abbott, Ted Bapty, Csaba Biegl, Gabor Karsai, and Janos Sztipanovits IEEE Software 10(3):42-52 (1993)
to dblp by dblp and 1 other user on Nov 7, 2011, 12:00 AM
URL | BibTeX
The Model-Integrated Computing Tool Suite.
Janos Sztipanovits, Gabor Karsai, Sandeep Neema, and Ted Bapty Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of Lecture Notes in Computer Science, page 369-376. Springer, (2007)
to dblp by dblp on Oct 25, 2011, 12:00 AM
URL | BibTeX
Metamodelling - State of the Art and Research Challenges.
Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, and Gabor Karsai Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of Lecture Notes in Computer Science, page 57-76. Springer, (2007)
to dblp by dblp on Oct 25, 2011, 12:00 AM
URL | BibTeX
Managing the quality of software product line architectures through reusable model transformations.
Amogh Kavimandan, Aniruddha S. Gokhale, Gabor Karsai, and Jeff Gray QoSA/ISARCS, page 13-22. ACM, (2011)
to dblp by dblp on Sep 13, 2011, 12:00 AM
URL | BibTeX
Model-Based Intelligent Process Control for Cogenerator Plants.
Gabor Karsai, Janos Sztipanovits, Samir Padalkar, and Csaba Biegl J. Parallel Distrib. Comput. 15(2):90-102 (1992)
to dblp by dblp on Sep 9, 2011, 12:00 AM
URL | BibTeX
Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis.
Graham Hemingway, Joseph Porter, Nicholas Kottenstette, Harmon Nine, Christopher P. van Buskirk, Gabor Karsai, and Janos Sztipanovits International Symposium on Rapid System Prototyping, page 1-7. IEEE Computer Society, (2010)
to dblp by dblp on Sep 1, 2011, 12:00 AM
URL | BibTeX
Rapid property specification and checking for model-based formalisms.
Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, and Thomas Pressburger International Symposium on Rapid System Prototyping, page 121-127. IEEE, (2011)
to dblp by dblp on Aug 31, 2011, 12:00 AM
URL | BibTeX
A Meta-Framework for Design Space Exploration.
Tripti Saxena, and Gabor Karsai ECBS, page 71-80. IEEE Computer Society, (2011)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
Challenges and directions in formalizing the semantics of modeling languages.
Barrett R. Bryant, Jeff Gray, Marjan Mernik, Peter J. Clarke, Robert B. France, and Gabor Karsai Comput. Sci. Inf. Syst. 8(2):225-253 (2011)
to dblp by dblp on Aug 25, 2011, 12:00 AM
URL | BibTeX
Polyglot: modeling and analysis for multiple Statechart formalisms.
Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, and Michael R. Lowry ISSTA, page 45-55. ACM, (2011)
to dblp by dblp on Aug 22, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100