Travelled to:
1 × France
1 × Germany
1 × Israel
3 × USA
Collaborated with:
S.Lafond I.Paltor S.Holmbacka D.Björklund F.Jokhio I.Porres X.Li W.Lund A.Ashraf L.Tsiopoulos J.Haldin U.Falk M.Satpathy Q.A.Malik D.Truscan S.Virtanen K.Varpaaniemi K.Heljanko J.Keller P.Eitschberger D.Agren T.Deneke G.Georgakarakos R.Back L.Milovanov B.Byholm S.Kanur J.Ersfolk
Talks about:
model (5) comput (4) effici (3) mani (3) core (3) base (3) uml (3) distribut (2) transcod (2) perform (2)
♂ Person: Johan Lilius
DBLP: Lilius:Johan
Facilitated 2 volumes:
Contributed to:
Wrote 16 papers:
- PDP-2015-ByholmJALLP #in the cloud #low cost
- Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud (BB, FJ, AA, SL, JL, IP), pp. 505–513.
- PDP-2015-GeorgakarakosTL #evaluation #parallel #performance
- Performance Evaluation of Parallel HEVC Strategies (GG, LT, JL, JH, UF), pp. 137–144.
- PDP-2015-Holmbacka0EL #energy #manycore #modelling
- Accurate Energy Modelling for Many-Core Static Schedules (SH, JK, PE, JL), pp. 525–532.
- PDP-2015-LundKETLHF #data flow #execution #network #process
- Execution of Dataflow Process Networks on OpenCL Platforms (WL, SK, JE, LT, JL, JH, UF), pp. 618–625.
- PDP-2013-HolmbackaALL #energy #manycore #operating system #performance
- QoS Manager for Energy Efficient Many-Core Operating Systems (SH, DA, SL, JL), pp. 318–322.
- PDP-2013-HolmbackaLLL #distributed #manycore #migration #operating system #performance
- Task Migration for Dynamic Power and Performance Characteristics on Many-Core Distributed Operating Systems (SH, WL, SL, JL), pp. 310–317.
- PDP-2013-JokhioALPL #in the cloud #predict #resource management #video
- Prediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing (FJ, AA, SL, IP, JL), pp. 254–261.
- PDP-2012-JokhioDLL #distributed #reduction #video
- Bit Rate Reduction Video Transcoding with Distributed Computing (FJ, TD, SL, JL), pp. 206–212.
- FATES-RV-2006-SatpathyML #modelling #synthesis #testing
- Synthesis of Scenario Based Test Cases from B Models (MS, QAM, JL), pp. 133–147.
- DATE-2003-LiliusTV #architecture #evaluation #performance #protocol
- Fast Evaluation of Protocol Processor Architectures for IPv6 Routing (JL, DT, SV), pp. 20158–20163.
- UML-2003-BackBLMP #empirical
- A Workbench to Experiment on New Model Engineering Applications (RJB, DB, JL, LM, IP), pp. 96–100.
- DATE-2002-BjorklundL #kernel #towards
- Towards a Kernel Language for Heterogeneous Computing (DB, JL), p. 1136.
- ASE-1999-LiliusP #modelling #named #uml #verification
- vUML: A Tool for Verifying UML Models (JL, IP), pp. 255–258.
- UML-1999-LiL #analysis #diagrams #sequence chart #uml
- Timing Analysis of UML Sequence Diagrams (XL, JL), pp. 661–674.
- UML-1999-PaltorL #formal method #model checking #state machine #uml
- Formalising UML State Machines for Model Checking (IP, JL), pp. 430–445.
- CAV-1997-VarpaaniemiHL #analysis #performance #reachability
- prod 3.2: An Advanced Tool for Efficient Reachability Analysis (KV, KH, JL), pp. 472–475.