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.
5693 Publications
2010 | Conference Paper | LibreCat-ID: 37046
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement
M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat
| DOI
M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
2010 | Conference Paper | LibreCat-ID: 37044
Task Migration for Fault-Tolerant FlexRay Networks
K. Klobedanz, G.B. Defo, H. Zabel, W. Müller, Y. Zhi, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat
| DOI
K. Klobedanz, G.B. Defo, H. Zabel, W. Müller, Y. Zhi, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
2010 | Conference Paper | LibreCat-ID: 37042
A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis
F. Mischkalla, W. Müller, D. He, in: Proceedings of the M-BED Workshop, Dresden, 2010.
LibreCat
F. Mischkalla, W. Müller, D. He, in: Proceedings of the M-BED Workshop, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37043
Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen
A. Bol, W. Müller, A. Krupp, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), Dresden, 2010.
LibreCat
A. Bol, W. Müller, A. Krupp, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37050
The SATURN Approach to SysML-based HW/SW Codesign
W. Müller, D. He, F. Mischkalla, A. Wegele, A. Larkham, P. Whiston, P. Penil, E. Villar, N. Mitas, D. Kritharidis, F. Azcarate, M. Carballeda, in: Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010.
LibreCat
| DOI
W. Müller, D. He, F. Mischkalla, A. Wegele, A. Larkham, P. Whiston, P. Penil, E. Villar, N. Mitas, D. Kritharidis, F. Azcarate, M. Carballeda, in: Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010.
2010 | Conference Paper | LibreCat-ID: 37048
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems
W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat
| DOI
W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
2010 | Conference Paper | LibreCat-ID: 37049
Mutation-Analysis Directed Constrained Random Verification
T. Xie, F. Letombe, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat
T. Xie, F. Letombe, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
2010 | Conference Paper | LibreCat-ID: 37051
An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs
T. Xie, G.B. Defo, W. Müller, in: Paris, 2010.
LibreCat
T. Xie, G.B. Defo, W. Müller, in: Paris, 2010.
2010 | Conference Paper | LibreCat-ID: 37057
Verification of a CAN Bus Model in SystemC with Functional Coverage
G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento, Italy, 2010.
LibreCat
| DOI
G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento, Italy, 2010.
2010 | Conference Paper | LibreCat-ID: 37056
Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks
K. Klobedanz, G.B. Defo, W. Müller, T. Kerstan, in: Proceedings of SIES 2010, Trento, Italien, 2010.
LibreCat
| DOI
K. Klobedanz, G.B. Defo, W. Müller, T. Kerstan, in: Proceedings of SIES 2010, Trento, Italien, 2010.
2010 | Conference Paper | LibreCat-ID: 37053
Verification of Real-Time Properties for Hardware-Dependant Software
W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.
LibreCat
W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.
2010 | Conference Paper | LibreCat-ID: 37060
Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration
M.F.S. Oliveira, F.A.M. do Nascimento, W. Müller, in: Proceedings of MoMPES 2010, Antwerp, Belgium, 2010.
LibreCat
M.F.S. Oliveira, F.A.M. do Nascimento, W. Müller, in: Proceedings of MoMPES 2010, Antwerp, Belgium, 2010.
2010 | Journal Article | LibreCat-ID: 8179 | 
Strong NP-hardness of the quantum separability problem
S. Gharibian, Quantum Information & Computation 10 (2010) 343–360.
LibreCat
| Download (ext.)
| arXiv
S. Gharibian, Quantum Information & Computation 10 (2010) 343–360.
2010 | Conference Paper | LibreCat-ID: 2223
Towards Adaptive Networking for Embedded Devices based on Reconfigurable Hardware
E. Lübbers, M. Platzner, C. Plessl, A. Keller, B. Plattner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010, pp. 225–231.
LibreCat
E. Lübbers, M. Platzner, C. Plessl, A. Keller, B. Plattner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010, pp. 225–231.
2010 | Conference Paper | LibreCat-ID: 2216
Pruning the Design Space for Just-In-Time Processor Customization
M. Grad, C. Plessl, in: Proc. Int. Conf. on ReConFigurable Computing and FPGAs (ReConFig), IEEE Computer Society, Los Alamitos, CA, USA, 2010, pp. 67–72.
LibreCat
| DOI
M. Grad, C. Plessl, in: Proc. Int. Conf. on ReConFigurable Computing and FPGAs (ReConFig), IEEE Computer Society, Los Alamitos, CA, USA, 2010, pp. 67–72.
2010 | Conference Paper | LibreCat-ID: 2224
An Open Source Circuit Library with Benchmarking Facilities
M. Grad, C. Plessl, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010, pp. 144–150.
LibreCat
M. Grad, C. Plessl, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010, pp. 144–150.
2010 | Conference Paper | LibreCat-ID: 2220
Configurable Processor Architectures: History and Trends
D. Andrews, C. Plessl, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010, p. 165.
LibreCat
D. Andrews, C. Plessl, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010, p. 165.
2010 | Conference (Editor) | LibreCat-ID: 2222
Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)
T.P. Plaks, D. Andrews, R. DeMara, H. Lam, J. Lee, C. Plessl, G. Stitt, eds., Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010.
LibreCat
T.P. Plaks, D. Andrews, R. DeMara, H. Lam, J. Lee, C. Plessl, G. Stitt, eds., Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010.
2010 | Conference Paper | LibreCat-ID: 2226
Using Shared Library Interposing for Transparent Acceleration in Systems with Heterogeneous Hardware Accelerators
T. Beisel, M. Niekamp, C. Plessl, in: Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP), IEEE Computer Society, 2010, pp. 65–72.
LibreCat
| DOI
T. Beisel, M. Niekamp, C. Plessl, in: Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP), IEEE Computer Society, 2010, pp. 65–72.
2010 | Conference Paper | LibreCat-ID: 2206
Reconfigurable Nodes for Future Networks
A. Keller, B. Plattner, E. Lübbers, M. Platzner, C. Plessl, in: Proc. IEEE Globecom Workshop on Network of the Future (FutureNet), IEEE, 2010, pp. 372–376.
LibreCat
| DOI
A. Keller, B. Plattner, E. Lübbers, M. Platzner, C. Plessl, in: Proc. IEEE Globecom Workshop on Network of the Future (FutureNet), IEEE, 2010, pp. 372–376.
2010 | Conference Paper | LibreCat-ID: 2227
Rupeas: Ruby Powered Event Analysis DSL
M. Woehrle, C. Plessl, L. Thiele, in: Proc. Int. Conf. Networked Sensing Systems (INSS), IEEE, 2010, pp. 245–248.
LibreCat
| DOI
M. Woehrle, C. Plessl, L. Thiele, in: Proc. Int. Conf. Networked Sensing Systems (INSS), IEEE, 2010, pp. 245–248.
2010 | Conference Paper | LibreCat-ID: 2228
Performance Estimation for the Exploration of CPU-Accelerator Architectures
T. Kenter, M. Platzner, C. Plessl, M. Kauschke, in: O. Hammami, S. Larrabee (Eds.), Proc. Workshop on Architectural Research Prototyping (WARP), International Symposium on Computer Architecture (ISCA), 2010.
LibreCat
T. Kenter, M. Platzner, C. Plessl, M. Kauschke, in: O. Hammami, S. Larrabee (Eds.), Proc. Workshop on Architectural Research Prototyping (WARP), International Symposium on Computer Architecture (ISCA), 2010.
2010 | Misc | LibreCat-ID: 47684 |
Smart Card basierte Berechnung einer Gruppensignatur als Teil einer biometrischen Authentisierung
T. Postler, Smart Card basierte Berechnung einer Gruppensignatur als Teil einer biometrischen Authentisierung, 2010.
LibreCat
| Files available
T. Postler, Smart Card basierte Berechnung einer Gruppensignatur als Teil einer biometrischen Authentisierung, 2010.
2010 | Conference Paper | LibreCat-ID: 46408
Preference-Based Multi-Objective Particle Swarm Optimization Using Desirabilities
S. Mostaghim, H. Trautmann, O. Mersmann, in: R. Schaefer, C. Cotta, J. Kołodziej, G. Rudolph (Eds.), Parallel Problem Solving from Nature, PPSN XI, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 101–110.
LibreCat
| DOI
S. Mostaghim, H. Trautmann, O. Mersmann, in: R. Schaefer, C. Cotta, J. Kołodziej, G. Rudolph (Eds.), Parallel Problem Solving from Nature, PPSN XI, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 101–110.
2010 | Conference Paper | LibreCat-ID: 46405
Benchmarking Evolutionary Algorithms: Towards Exploratory Landscape Analysis
O. Mersmann, M. Preuss, H. Trautmann, in: Proceedings of the 11th International Conference on Parallel Problem Solving from Nature: Part I, Springer-Verlag, Berlin, Heidelberg, 2010, pp. 73–82.
LibreCat
O. Mersmann, M. Preuss, H. Trautmann, in: Proceedings of the 11th International Conference on Parallel Problem Solving from Nature: Part I, Springer-Verlag, Berlin, Heidelberg, 2010, pp. 73–82.
2010 | Conference Paper | LibreCat-ID: 46406
On the Distribution of EMOA Hypervolumes
O. Mersmann, H. Trautmann, B. Naujoks, C. Weihs, in: C. Blum, R. Battiti (Eds.), Learning and Intelligent Optimization, 4$^th$ International Conference, LION 4, Venice, Italy, Springer, 2010, pp. 333–337.
LibreCat
O. Mersmann, H. Trautmann, B. Naujoks, C. Weihs, in: C. Blum, R. Battiti (Eds.), Learning and Intelligent Optimization, 4$^th$ International Conference, LION 4, Venice, Italy, Springer, 2010, pp. 333–337.
2010 | Conference Paper | LibreCat-ID: 46407
Benchmarking evolutionary multiobjective optimization algorithms
O. Mersmann, H. Trautmann, B. Naujoks, C. Weihs, in: IEEE Congress on Evolutionary Computation, 2010, pp. 1–8.
LibreCat
| DOI
O. Mersmann, H. Trautmann, B. Naujoks, C. Weihs, in: IEEE Congress on Evolutionary Computation, 2010, pp. 1–8.
2010 | Conference Paper | LibreCat-ID: 46404
Sequential Parameter Optimisation for Multi-Objective Evolutionary Optimisation of Additive Layer Manufacturing
J. Ding, S. Wessing, H. Trautmann, J. Mehnen, B. Naujoks, in: R. Teti (Ed.), Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10), Copyright C.O.C. Com. org. Conv., Capri, Italy, 2010.
LibreCat
J. Ding, S. Wessing, H. Trautmann, J. Mehnen, B. Naujoks, in: R. Teti (Ed.), Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10), Copyright C.O.C. Com. org. Conv., Capri, Italy, 2010.
2010 | Conference Paper | LibreCat-ID: 46409
New Uncertainty Handling Strategies in Multi-objective Evolutionary Optimization
T. Voß, H. Trautmann, C. Igel, in: R. Schaefer, C. Cotta, J. Kołodziej, G. Rudolph (Eds.), Parallel Problem Solving from Nature, PPSN XI, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 260–269.
LibreCat
| DOI
T. Voß, H. Trautmann, C. Igel, in: R. Schaefer, C. Cotta, J. Kołodziej, G. Rudolph (Eds.), Parallel Problem Solving from Nature, PPSN XI, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 260–269.
2010 | Journal Article | LibreCat-ID: 46412
Integration of Preferences in Hypervolume-Based Multiobjective Evolutionary Algorithms by Means of Desirability Functions
T. Wagner, H. Trautmann, IEEE Transactions on Evolutionary Computation 14 (2010) 688–701.
LibreCat
| DOI
T. Wagner, H. Trautmann, IEEE Transactions on Evolutionary Computation 14 (2010) 688–701.
2010 | Journal Article | LibreCat-ID: 46411
Work roll cooling system design optimisation in presence of uncertainty and constrains
Y.T. Azene, R. Roy, D. Farrugia, C. Onisa, J. Mehnen, H. Trautmann, CIRP Journal of Manufacturing Science and Technology 2 (2010) 290–298.
LibreCat
| DOI
Y.T. Azene, R. Roy, D. Farrugia, C. Onisa, J. Mehnen, H. Trautmann, CIRP Journal of Manufacturing Science and Technology 2 (2010) 290–298.
2010 | Conference Paper | LibreCat-ID: 46410
Online convergence detection for evolutionary multi-objective algorithms revisited
T. Wagner, H. Trautmann, in: IEEE Congress on Evolutionary Computation, 2010, pp. 1–8.
LibreCat
| DOI
T. Wagner, H. Trautmann, in: IEEE Congress on Evolutionary Computation, 2010, pp. 1–8.
2009 | Dissertation | LibreCat-ID: 19605
Mächtigkeit und Komplexität von Berechnungen mit der ganzzahligen Division
K. Lürwer-Brüggemeier, Mächtigkeit Und Komplexität von Berechnungen Mit Der Ganzzahligen Division, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat
| Files available
K. Lürwer-Brüggemeier, Mächtigkeit Und Komplexität von Berechnungen Mit Der Ganzzahligen Division, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
2009 | Dissertation | LibreCat-ID: 19614
On Fault-Tolerant Data Placement in Storage Networks
M. Mense, On Fault-Tolerant Data Placement in Storage Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat
| Files available
M. Mense, On Fault-Tolerant Data Placement in Storage Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
2009 | Dissertation | LibreCat-ID: 19617
Size Equivalent Cluster Trees - Rendering CAD Models in Industrial Scenes
M. Kortenjan, Size Equivalent Cluster Trees - Rendering CAD Models in Industrial Scenes, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat
| Files available
M. Kortenjan, Size Equivalent Cluster Trees - Rendering CAD Models in Industrial Scenes, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
2009 | Dissertation | LibreCat-ID: 19618
Versatility of Bulk Synchronous Parallel Computing: From the Heterogeneous Cluster to the System on Chip
O. Bonorden, Versatility of Bulk Synchronous Parallel Computing: From the Heterogeneous Cluster to the System on Chip, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat
| Files available
O. Bonorden, Versatility of Bulk Synchronous Parallel Computing: From the Heterogeneous Cluster to the System on Chip, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
2009 | Report | LibreCat-ID: 19722
Complexity and approximation of a geometric local robot assignment problem
O. Bonorden, B. Degener, P. Pietrzyk, B. Kempkes, Complexity and Approximation of a Geometric Local Robot Assignment Problem, 2009.
LibreCat
| Files available
O. Bonorden, B. Degener, P. Pietrzyk, B. Kempkes, Complexity and Approximation of a Geometric Local Robot Assignment Problem, 2009.
2009 | Book Chapter | LibreCat-ID: 19724
Complexity and Approximation of a Geometric Local Robot Assignment Problem
O. Bonorden, B. Degener, B. Kempkes, P. Pietrzyk, in: Algorithmic Aspects of Wireless Sensor Networks, Springer, Berlin, Heidelberg, 2009, pp. 252–262.
LibreCat
| DOI
O. Bonorden, B. Degener, B. Kempkes, P. Pietrzyk, in: Algorithmic Aspects of Wireless Sensor Networks, Springer, Berlin, Heidelberg, 2009, pp. 252–262.
2009 | Report | LibreCat-ID: 19825
3nuts: A Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs
C. Schindelhauer, P. Mahlmann, T. Janson, 3nuts: A Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs, Paderborn, Germany, 2009.
LibreCat
| Files available
C. Schindelhauer, P. Mahlmann, T. Janson, 3nuts: A Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs, Paderborn, Germany, 2009.
2009 | Journal Article | LibreCat-ID: 19830
Minimal Energy Path Planning for Wireless Robots
C.C. Ooi, C. Schindelhauer, Mobile Networks and Applications (MONET) (2009) 309–321.
LibreCat
| DOI
C.C. Ooi, C. Schindelhauer, Mobile Networks and Applications (MONET) (2009) 309–321.
2009 | Journal Article | LibreCat-ID: 19831
Utilizing detours for energy conservation in mobile wireless networks
C.C. Ooi, C. Schindelhauer, Telecommunication Systems 43 (2009) 25–37.
LibreCat
| DOI
C.C. Ooi, C. Schindelhauer, Telecommunication Systems 43 (2009) 25–37.
2009 | Conference Paper | LibreCat-ID: 19901
Colouring Non-sparse Random Intersection Graphs
C.L. Raptopoulos, S.E. Nikoletseas, P.G. Spirakis, in: 34st International Symposium on Mathematical Foundations of Computer Science, 2009, pp. 600--611.
LibreCat
| DOI
C.L. Raptopoulos, S.E. Nikoletseas, P.G. Spirakis, in: 34st International Symposium on Mathematical Foundations of Computer Science, 2009, pp. 600--611.
2009 | Conference Paper | LibreCat-ID: 19904
Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions
S.E. Nikoletseas, C.L. Raptopoulos, P.G. Spirakis, in: Proceedings of IPDPS - IEEE International Parallel & Distributed Processing Symposium, 2009, pp. 1--11.
LibreCat
| DOI
S.E. Nikoletseas, C.L. Raptopoulos, P.G. Spirakis, in: Proceedings of IPDPS - IEEE International Parallel & Distributed Processing Symposium, 2009, pp. 1--11.
2009 | Conference Paper | LibreCat-ID: 19934
Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions
D. Deveci, M. Kortenjan, G. Schomaker, in: Parallel and Distributed Computing and Systems, Nr. 21, 2009.
LibreCat
D. Deveci, M. Kortenjan, G. Schomaker, in: Parallel and Distributed Computing and Systems, Nr. 21, 2009.
2009 | Conference Paper | LibreCat-ID: 20254
Analysis and implementation of an Artificial Homeostatic Hormone System: A first case study in robotic hardware
J. Stradner, H. Hamann, T. Schmickl, K. Crailsheim, in: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009.
LibreCat
| DOI
J. Stradner, H. Hamann, T. Schmickl, K. Crailsheim, in: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009.
2009 | Journal Article | LibreCat-ID: 20255
Two different approaches to a macroscopic model of a bio-inspired robotic swarm
T. Schmickl, H. Hamann, H. Wörn, K. Crailsheim, Robotics and Autonomous Systems 6 (2009) 913–921.
LibreCat
| DOI
T. Schmickl, H. Hamann, H. Wörn, K. Crailsheim, Robotics and Autonomous Systems 6 (2009) 913–921.
2009 | Conference Paper | LibreCat-ID: 20259
Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System
H. Hamann, I. Troch, F. Breitenecker, in: MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling, 2009.
LibreCat
H. Hamann, I. Troch, F. Breitenecker, in: MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling, 2009.
2009 | Journal Article | LibreCat-ID: 3199
Compositional {CSP} Traces Refinement Checking
H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151.
LibreCat
| DOI
H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151.
2009 | Journal Article | LibreCat-ID: 3200
Static Class Elements for Object-Z
T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2009) 193--205.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2009) 193--205.
2009 | Conference Paper | LibreCat-ID: 3201
Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models
T. Ruhroth, H. Voigt, H. Wehrheim, in: 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360--367.
LibreCat
| DOI
T. Ruhroth, H. Voigt, H. Wehrheim, in: 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360--367.