Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

9737 Publications


2014 | Conference Paper | LibreCat-ID: 3805
PBlaman: performance blame analysis based on Palladio contracts
F. Brüseke, H. Wachsmuth, G. Engels, S. Becker, in: Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment, 2014, pp. 1975–2004.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 382
Provider Competition in Infrastructure-as-a-Service
J. Künsemöller, S. Brangewitz, H. Karl, C.-J. Haake, in: Proceedings of the 2014 IEEE International Conference on Services Computing (SCC), 2014, pp. 203–210.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 383
Programs from Proofs -- Approach and Applications
D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.
LibreCat | Files available | Download (ext.)
 

2014 | Journal Article | LibreCat-ID: 387
Principles of Robust Medium Access and an Application to Leader Election
B. Awerbuch, A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, Transactions on Algorithms (2014).
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 3877
Modeling Review Argumentation for Robust Sentiment Analysis
H. Wachsmuth, M. Trenkmann, B. Stein, G. Engels, in: Proceedings of COLING 2014, the 25th International Conference on Computational Linguistics: Technical Papers, 2014, pp. 553–564.
LibreCat | Download (ext.)
 

2014 | Journal Article | LibreCat-ID: 3890
Oblique incidence of semi-guided waves on rectangular slab waveguide discontinuities: A vectorial QUEP solver
M. Hammer, Optics Communications 338 (2014) 447–456.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 390
On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains
Z. Huma, C. Gerth, G. Engels, Computer Science - Research and Development (2014) 333–361.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 3905
iSoNTRE: The Social Network Transformer into Recommendation Engine
C. Abu Quba Rana, S. Hassas, F. Usama, M. Alshomary, C. Gertosio, 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA) (2014) 169–175.
LibreCat | Download (ext.)
 

2014 | Mastersthesis | LibreCat-ID: 2900
A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures
S. Brauer, A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures, 2014.
LibreCat | Files available
 

2014 | Journal Article | LibreCat-ID: 2976
Analysis of Agglomerative Clustering
M.R. Ackermann, J. Blömer, D. Kuntze, C. Sohler, Algorithmica 69 (2014).
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 2977
A Theoretical and Experimental Comparison of the EM and SEM Algorithm
J. Blömer, K. Bujna, D. Kuntze, in: 2014 22nd International Conference on Pattern Recognition, IEEE, 2014.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3127
Die Zukunft der Kryptographie
T. Jager, Datenschutz Und Datensicherheit (2014) 445--451.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3128
On Tight Security Proofs for Schnorr Signatures
N. Fleischhacker, T. Jager, D. Schröder, in: Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I, 2014, pp. 512--531.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3167
The behavioural semantics of Event-B refinement
S. Schneider, H. Treharne, H. Wehrheim, Formal Asp. Comput. (2014) 251--280.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3168
Two approaches for proving linearizability of multiset
B. Tofan, O. Travkin, G. Schellhorn, H. Wehrheim, Sci. Comput. Program. (2014) 297--314.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3169
A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures
G. Schellhorn, J. Derrick, H. Wehrheim, {ACM} Trans. Comput. Log. (2014) 31:1--31:37.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3170
Quiescent Consistency: Defining and Verifying Relaxed Linearizability
J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, H. Wehrheim, in: C. B. Jones, P. Pihlajasaari, J. Sun (Eds.), {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3171
Handling {TSO} in Mechanized Linearizability Proofs
O. Travkin, H. Wehrheim, in: E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3172
Timed Automata Verification via {IC3} with Zones
T. Isenberg, H. Wehrheim, in: S. Merz, J. Pang (Eds.), Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, 2014, pp. 203--218.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3173
Managing {LTL} Properties in Event-B Refinement
S. A. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, in: E. Albert, E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3174
Managing {LTL} properties in Event-B refinement
S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).
LibreCat
 

2014 | Journal Article | LibreCat-ID: 3175
Proof-Carrying Hardware via {IC3}
T. Isenberg, H. Wehrheim, CoRR (2014).
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 27166
Twenty years of learning with the World Wide Web
R. Keil, H. Selke, F. Winkelnkemper, (2014) 51–60.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 27167
Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design
F. Winkelnkemper, R. Keil, in: A. Butz, J. Schlichter (Eds.), Oldenbourg Verlag, 2014, pp. 255–264.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20983
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study
C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, M. Tichy, in: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 17659
Nash Equilibria in Shared Effort Games
G. Polevoy, S. Trajanovski, M.M. de Weerdt, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 861–868.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 17660
Improving Human Interaction in Crowdsensing
G. Polevoy, M.M. de Weerdt, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 1741–1742.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 17661
Request Driven Social Sensing
T.C. King, Q. Liu, G. Polevoy, M. de Weerdt, V. Dignum, M.B. van Riemsdijk, M. Warnier, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 1651–1652.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 17662
Signaling Competition and Social Welfare
G. Polevoy, R. Smorodinsky, M. Tennenholtz, ACM Trans. Econ. Comput. 2 (2014) 1:1-1:16.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 1781
Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres
T. Steinle, J. Vrabec, A. Walther, in: H.G. Bock, X.P. Hoang, R. Rannacher, J.P. Schlöder (Eds.), Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC), Springer International Publishing, 2014, pp. 233–243.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 1782
On Semeai Detection in Monte-Carlo Go
T. Graf, L. Schaefers, M. Platzner, in: Proc. Conf. on Computers and Games (CG), Springer, Switzerland, 2014, pp. 14–25.
LibreCat | DOI
 

2014 | Dissertation | LibreCat-ID: 19039
Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit
R. Petring, Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen in Echtzeit, Universität Paderborn, 2014.
LibreCat | Files available
 

2014 | Conference Paper | LibreCat-ID: 20905
Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems
U. Pohlmann, J. Holtmann, M. Meyer, C. Gerking, in: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE Xplore, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20907
The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems
S. Becker, S. Dziwok, C. Gerking, C. Heinzemann, W. Schäfer, M. Meyer, U. Pohlmann, in: Proceedings of the 36th International Conference on Software Engineering (Posters), ACM, New York, NY, USA, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20908
A Modelica Coordination Pattern Library for Cyber-Physical Systems
U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, S. Thiele, in: Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014.
LibreCat | Download (ext.)
 

2014 | Report | LibreCat-ID: 20909
The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling
S. Becker, S. Dziwok, C. Gerking, W. Schäfer, C. Heinzemann, S. Thiele, M. Meyer, C. Priesterjahn, U. Pohlmann, M. Tichy, The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20910
Viewpoints and Views in Hardware Platform Modeling for Safe Deployment
U. Pohlmann, M. Meyer, A.P. Dann, C. Brink, in: Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, ACM, New York, NY, USA, 2014, p. 23:23-23:30.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 18001
Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen
L. Luo, Ein Selbst-Stabilisierender Algorithmus Für Das Finite Sleep Problem in Skip+ Graphen, Universität Paderborn, 2014.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 18002
Formbildung selbstorganisierender Partikelsysteme
K. Hinnenthal, Formbildung Selbstorganisierender Partikelsysteme, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 1801
Incorporating feedback from application layer into routing and wavelength assignment algorithms
P. Wette, H. Karl, in: 2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), IEEE, 2014.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 1858
SKIP*: A Self-Stabilizing Skip Graph
R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, H. Täubig, J. ACM (2014) 36:1--36:26.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 1863
Brief announcement: amoebot - a new model for programmable matter
Z. Derakhshandeh, S. Dolev, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, in: 26th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA’14, Prague, Czech Republic - June 23 - 25, 2014, ACM, 2014, pp. 220--222.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 22903
Feature models supporting trade-off decisions in early mechatronic systems design
A. Kühn, C. Bremer, R. Dumitrescu, J. Gausemeier, in: NordDesign 2014, Espoo, Finnland, 27. - 29. Aug. 2014, 2014.
LibreCat
 

2014 | Newspaper Article | LibreCat-ID: 22904
Der Spitzencluster it's OWL auf dem Weg zur Industrie 4.0
J. Gausemeier, R. Dumitrescu, J. Jasperneite, A. Kühn, H. Trsek, ZWF - Zeitschrift für Wirtschaftlichen Fabrikbetrieb (2014) 336–346.
LibreCat
 

2014 | Newspaper Article | LibreCat-ID: 22905
Terrain Classification for Track-driven Agricultural Robots
K.A. Mahadhir, S.C. Tan, C. Low, R. Dumitrescu, A.T.M. Amin, A. Jaffar, Procedia Technology Vol. 15 (2014) 776–783.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 22906
Specification Technique CONSENS for the Description of Self-optimizing Systems
R. Dorociak, R. Dumitrescu, J. Gausemeier, P. Iwanek, in: J. Gausemeier, F.-J. Rammig, W. Schäfer (Eds.), Design Methodology for Intelligent Technichal Systems, Springer, Berlin, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 22907
Strategy controlling for innovation clusters - the example of "it's OWL"
A. Kühn, D. Kliewe, R. Dumitrescu, J. Gausemeier, in: ISPIM Conference 2014, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 22908
Systematische Berücksichtigung von Fertigungsanforderungen im Model-Based Systems Engineering
R. Dumitrescu, C. Fechtelpeter, A. Kühn, in: M. Maurer, S.-O. Schulze (Eds.), Tag des Systems Engineering, Bremen, Carl Hanser Verlag, München, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 22909
Methodology for the identification of solution patterns within mechatronic systems
M. Rabe, H. Anacker, R. Dumitrescu, in: Proceedings of the 15th International Workshop on Research and Education in Mechatronics (REM), El Gouna, Egypt, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 22910
Collaboration in Model-Based Systems Engineering based on Application Scenarios
C. Tschirner, L. Kaiser, R. Dumitrescu, J. Gausemeier, in: NordDesign 2014, Espoo, Finnland, 2014.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed